PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea

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 Jun

Displayed time zone: Seoul change

14:00 - 15:20
PerformanceEGRAPHS at Tulip
14:00
20m
Talk
Destructive E-Graph Rewrites
EGRAPHS
Paul Zhang University of California, Los Angeles, Yisu Remy Wang University of California, Los Angeles
14:20
20m
Talk
Incremental Equality Saturation
EGRAPHS
Rupanshu Soi Stanford University, Benjamin Driscoll Stanford University, Ke Wang Visa Research, Alex Aiken Stanford University
14:40
20m
Talk
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