Aayush Sabharwal
Software Engineer at JuliaHub
Lead developer of ModelingToolkit.jl and underlying symbolic infrastructure
Session
08-12
17:00
15min
Type-stable Symbolic Computation
Aayush Sabharwal
Symbolic computation is inherently very dynamic. It needs to support representing arbitrary function calls, on arbitrary symbolic types. Older versions of Symbolics.jl and SymbolicUtils.jl were notoriously type-unstable. This talk goes over the methods used and challenges involved in making the latest major versions of those packages type-stable and precompilation-friendly. The techniques and insights discussed are generally applicable to other packages as well.
Methods and Applications of Scientific Machine Learning (SciML)
Room 6