EGRAPHS 2023
Sat 17 - Sun 18 June 2023 Orlando, Florida, United States
co-located with PLDI 2023
All Editions
Sat 17 - Sun 18 June 2023 Orlando, Florida, United States

EGRAPHS 2023 with PLDI 2023

Research on and around e-graphs 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 accur ...

Mon 20 - Fri 24 June 2022 San Diego, California, United States

EGRAPHS 2022 with PLDI 2022

E-Graph Research, Applications, Practices, and Human-factors Symposium Research on and around e-graphs 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 ...