Exploring Equality Saturation A New Approach To Optimization
Exploring Equality Saturation A New Approach To Optimization reveals several interesting facts.
- This is the full-length video for the POPL 2021 paper "egg: Fast and Extensible
- eqsat: An
- Max Willsey (UC Berkeley) https://simons.berkeley.edu/talks/max-willsey-uc-berkeley-2023-11-15 Logic and Algebra for Query ...
- This is the short video for the POPL 2021 paper "egg: Fast and Extensible
- We present egglog, a fixpoint reasoning system that unifies Datalog and
In-Depth Information on Equality Saturation A New Approach To Optimization
Authors: Ross Tate, Michael Stepp, Zachary Tatlock, and Sorin Lerner Presented at POPL 2009 Optimizations in a traditional ... Tea Talk, September 5, 2025 In this talk, I will introduce Equality Saturation Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify expressions or prove equivalences.
Rewriting is an extremely common proof task supported by efficient and versatile tactics like $\texttt{rw}$ and $\texttt{simp}$.
Stay tuned for more updates related to Equality Saturation A New Approach To Optimization.