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

This program is tentative and subject to change.

Tue 17 Jun 2025 14:40 - 15:00 at Tulip - Performance

We introduce oatlog, an e-graph engine implementing the egglog language. Oatlog is intended for equality saturation (EqSat) and is implemented as a relational database using semi-naive evaluation. Concretely, oatlog is a Rust procedural macro that embeds EqSat theories into applications. We find that its ahead-of-time compilation of theories is a key asset, simplifying debugging and prototyping while being more amendable to performance engineering. Additionally, the ahead-of-time architecture naturally lends itself to relation and whole-ruleset optimization. Our experiments show that oatlog is faster than egglog for small e-graphs of up to about $10^5$ e-nodes.

Extended abstract (egraphs2025-paper9-oatlog.pdf)119KiB

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 engine
EGRAPHS
Loke Gustafsson Chalmers University of Technology, Erik Magnusson Chalmers University of Technology, Alejandro Luque Cerpa Chalmers University of Technology
File Attached