EGRAPHS Community

The EGRAPHS Workshop at PLDI 2024 is on June 24. Check out the program!

Welcome to EGRAPHS

2024-02-15

Talk begins at 9am PT on Zoom. The Zoom link will be distributed on the EGRAPHS Zulip just in time for each session.

Max Willsey, one of the organizers will give a high-level introduction to e-graphs, equality saturation, and sketch some new directions.

Google Slides from the presentation.