EGRAPHS
Mon 16 - Fri 20 June 2025 Seoul, South KoreaEGRAPHS 2025 with PLDI 2025Research 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 acc ... |
Mon 24 - Tue 25 June 2024 Copenhagen, DenmarkEGRAPHS 2024 with PLDI 2024Research 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 acc ... |
Sun 18 Jun 2023 Orlando, Florida, United StatesEGRAPHS 2023 with PLDI 2023Research 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 StatesEGRAPHS 2022 with PLDI 2022E-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 ... |
