Exploring Equality Saturation A New Approach To Optimization
Exploring Equality Saturation A New Approach To Optimization reveals several interesting facts.
- Equality Saturation
- Max Willsey (University of Washington, USA) Yisu Remy Wang (University of Washington) Oliver Flatt (University of Utah) Zachary ...
- Many compilers, synthesizers, and theorem provers rely on rewrite rules to simplify expressions or prove equivalences.
- Equality Saturation
- Rewriting is an extremely common proof task supported by efficient and versatile tactics like $\texttt{rw}$ and $\texttt{simp}$.
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 ... Optimism in Improving Tea Talk, September 5, 2025 In this talk, I will introduce
Max Willsey (UC Berkeley) https://simons.berkeley.edu/talks/max-willsey-uc-berkeley-2023-11-15 Logic and Algebra for Query ...
Stay tuned for more updates related to Equality Saturation A New Approach To Optimization.