|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 ...