EGRAPHS Community

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

The EGRAPHS community brings together researchers and practitioners that use e-graphs and related techniques. E-graphs are data structures for working with large equivalence classes of programs; they have recently been employed to build new kinds of program optimizers and synthesizers.

An e-graph compactly represents many equivalent programs. These four e-graphs represent more and more (even infinite!) ways to write (a × 2) / 2.

This website brings together the following resources:

All are welcome to join the EGRAPHS community by attending the monthly meeting, joining the Zulip, or submitting to or attending the workshop. The EGRAPHS community is organized by an cross-institutional advisory board.