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

This program is tentative and subject to change.

Mon 16 Jun 2025 09:00 - 10:10 at Lilac - EGGLOG
Mon 16 Jun 2025 10:30 - 12:00 at Lilac - EGGLOG

egglog for Everything

Learn to build powerful program optimizations with egglog, a cutting-edge framework that integrates equality saturation (EqSat) and Datalog. Since its debut at PLDI 2023, egglog has evolved into a robust language and system featuring Datalog-based analysis, customizable scheduling, proof capabilities, visualization tools, Python bindings, and an extensible plugin system.

egglog for Everyone

This tutorial welcomes all researchers, developers, and enthusiasts in program optimization. We’ll start with an introduction to equality saturation and the basics of egglog’s core syntax and semantics. From there, we’ll delve into more advanced topics such as program analysis, scheduling, and proofs, culminating in a demonstration of egglog’s extensibility for domain-specific applications using its plugin system.

No prior experience with egglog is needed—just a basic understanding of program optimization concepts.

Join us!

Using a simple expression language (EXPR) as a case study, attendees will step through building a complete program optimizer. By the end of the session, you’ll have the tools and experience to leverage egglog for your own optimization and analysis challenges.

This program is tentative and subject to change.

Mon 16 Jun

Displayed time zone: Seoul change

09:00 - 10:10
EGGLOGTutorials at Lilac
09:00
70m
Tutorial
Unlocking Optimizations with egglog: Equality Saturation Meets Datalog
Tutorials
Haobin Ni University of Washington, Yihong Zhang University of Washington, Zachary Tatlock University of Washington, Oliver Flatt University of Washington
10:30 - 12:00
EGGLOGTutorials at Lilac
10:30
90m
Tutorial
Unlocking Optimizations with egglog: Equality Saturation Meets Datalog
Tutorials
Haobin Ni University of Washington, Yihong Zhang University of Washington, Zachary Tatlock University of Washington, Oliver Flatt University of Washington