This program is tentative and subject to change.
Tue 17 Jun 2025 14:00 - 14:20 at Tulip - Performance
Equality saturation is an automatic rewrite technique with applications ranging from theorem proving to program optimization. It relies on the e-graph data structure, which compactly represents many equivalent terms. A significant bottleneck in equality saturation is unbounded and exponential e-graph growth. Destructive e-graph rewrites present a promising mitigation. Any rewrite rule can be made destructive by e-matching the left hand side and removing matches corresponding to the right hand side, rather than applying those matches. Applying destructive rewrites in egg
, a state-of-the-art library for equality saturation, demonstrates up to 3x speed-ups and solves benchmarks that otherwise exceed the e-node limit.
This program is tentative and subject to change.
Tue 17 JunDisplayed time zone: Seoul change
Tue 17 Jun
Displayed time zone: Seoul change
14:00 - 15:20 | |||
14:00 20mTalk | Destructive E-Graph Rewrites EGRAPHS Paul Zhang University of California, Los Angeles, Yisu Remy Wang University of California, Los Angeles | ||
14:20 20mTalk | Incremental Equality Saturation EGRAPHS Rupanshu Soi Stanford University, Benjamin Driscoll Stanford University, Ke Wang Visa Research, Alex Aiken Stanford University | ||
14:40 20mTalk | Oatlog: A performant ahead-of-time compiled e-graph engineRecorded EGRAPHS Loke Gustafsson Chalmers University of Technology, Erik Magnusson Chalmers University of Technology, Alejandro Luque Cerpa Chalmers University of Technology File Attached |