Berkeley EECS News#tech
CACM features Max Willsey’s research on ‘egg’ program optimization librarytranslating…
Factuality: 81/100UnknownBerkeley Press Group
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…