Select Page

PL Perspectives

Perspectives on computing and technology from and for those with an interest in programming languages.
Equality Saturation: An “Incomplete” Project

Equality Saturation: An “Incomplete” Project

by Max Willsey on Oct 1, 2026 | Equality saturation is a program optimization technique built around storing and rewriting large equivalence classes of programs in a data structure called an e-graph. It was invented by Tate et al. in POPL 2009. Our paper at POPL 2021, “egg: Fast and Extensible...

Read more...