92 citations · 280 across the 15 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021★ 1 cited
Automated Code Optimization with E-Graphs
Alessandro Cheli
This thesis proposes an advanced, generic and high-level code rewriting and analysis system in the Julia programming language, providing applied equality saturation in the presence…
cs.MS2021
ModelingToolkit: A Composable Graph Transformation System For Equation-Based Modeling
Yingbo Ma, Shashi Gowda, Ranjan Anantharaman +3
Getting good performance out of numerical equation solvers requires that the user has provided stable and efficient functions representing their model. However, users should not be…