4 citations · 5 across the 4 of their papers we have counts for
Showing 2021 · cs.PLShow all
2 papers · 2 filters
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.PL2021★ 4 cited
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
Alessandro Cheli
We introduce Metatheory.jl: a lightweight and performant general purpose symbolics and metaprogramming framework meant to simplify the act of writing complex Julia metaprograms and…