Sponsor of the Day:
Jerkmate
https://egraphs.org/meeting/
EGRAPHS Community Meeting
The EGRAPHS community discusses e-graphs and related technologies for program optimization, verification, and synthesis.
community meetingegraphs
https://egraphs.org/zulip/
EGRAPHS
The EGRAPHS community discusses e-graphs and related technologies for program optimization, verification, and synthesis.
egraphs
https://pldi26.sigplan.org/home/egraphs-2026
EGRAPHS 2026 - PLDI 2026
Research in the EGRAPHS Community has recently exploded in both quantity and diversity. The data structure that powers SMT solvers is now seeing use in...
egraphs2026pldi