Max WillseyThe EGRAPHS Workshop will hold its fifth (!) instance at PLDI 2026 in Boulder, Colorado! The conference is June 15-19, and the workshop is likely on one of the first two days.
Submission deadline is Fri, April 17, 2026.
We invite submissions for talks broadly, including talks that may cover already published or in-progress work.
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 synthesis, optimization, and verification via equality saturation and related techniques. In addition to recent advances in the core data structure and techniques, researchers and practitioners are applying e-graphs to domains such as compilers, floating point accuracy, test generation, computational fabrication, automatic vectorization, deep learning compute graphs, symbolic computation, and more. The fifth EGRAPHS workshop will bring toge ...
yihozhang
oflatt
