CACM features Max Willsey’s research on ‘egg’ program optimization library

The Communications of the ACM (CACM) has featured “egg: Fast and Extensible Equality Saturation” as a Research Highlight, showcasing work co-authored by CS Assistant Professor Max Willsey.

Originally recognized with a Distinguished Paper Award at the Symposium on Principles of Programming Languages (POPL), the research introduces egg, a high-performance, open-source Rust library that modernizes e-graphs and equality saturation for compiler optimization, program synthesis and verification.

Since its publication, egg has grown into a widely adopted foundational toolkit across academia and industry, powering optimizations in machine learning frameworks, computational fabrication, hardware design, and database query processing.