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.