August 6, 2026
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),…