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.
This website brings together the following resources:
-
The EGRAPHS Zulip to foster ongoing communication.
-
Community Meetings with talks on Zoom the third Thursday of each month at 9am PT.
- Please check out the EGRAPHS Zulip for the Zoom link!
-
The annual EGRAPHS Workshop co-located with the PLDI conference.
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.