Hardware

• E-Syn - aware logic synthesis
• ROVER
• Lakeroad - Guided Program Synthesis [repo](https://github.com/gussmith23/lakeroad)
• Multiplier Optimization via E-Graph Rewriting
• There and Back Again
• Infinity Stream - Friendly In-/Near-Memory Fusion. *ASPLOS 2023*.
• ESFO

• egg paper

Program Synthesis

• Ruler
• enumo
• MegaLibm
• babble - Graphs and Anti-unification. *POPL 2023*.

Program Optimization

• Herbie
• aegraphs - graphs
• Sketch-Guided Equality Saturation
• peggy
• optir
• eggcc
• Glenside
• Simplifying MBA Expression Using E-Graphs
• ∇SD
• TenSat
• PolyJuice - compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting. *OOPSLA 2024*.
• RisingLight
• Hydro
• ACC Saturator - Based GPU Code
• High-performance symbolic-numerics via multiple dispatch
• Q-gym
• Chassis - Aware Implementation of Real Expressions

Theorem Proving and Verification

• lean-egg - egg))
• KestRel - Graphs for Program Alignment. *EGRAPHS 2023*.
• cyclegg
• coq congruence
• Fast Approximations of Quantifier Elimination
• Congruence Closure in Intensional Type Theory
• Congruence Closure in Cubical Type Theory
• ZOMBIE
• GATlab
• Transforming Optimization Problems into Disciplined Convex Programming Form
• Coquetier

Other

• YOGO
• VyZX
• Maletskyi and Shymanskyi
• Cornelius - graphs!!!
• wasm-evasion
• Guided Equality Saturation - automatic equality saturation process. *POPL 2024*.

Other

• extraction-gym
• E-Graphs as Circuits, and Optimal Extraction via Treewidth
• Notes on the scheduling and extraction problems of EqSat
• Answer Set Programming for E-Graph DAG extraction
• Fast and Optimal Extraction for Sparse Equality Graphs

Other

• Learned Graph Rewriting with Equality Saturation: A New Paradigm in Relational Query Rewrite and Beyond

Other

• egg: Fast and Extensible Equality Saturation
• Better Together: Unifying Datalog and Equality Saturation (PLDI 2023)
• egglog Tutorial (EGRAPHS 2023) | Next Generation Egraphs
• egglog: E-Graphs in Python
• ægraphs: Acyclic E-graphs for Efficient Optimization in a Production Compiler
• E-Graphs and Automated Reasoning: Looking Back to Look Forward

EGRAPHS 2024

• youtube

EGRAPHS 2023

• Presentations

EGRAPHS 2022

• Accepted papers
• youtube

EGRAPHS 2022

• The e-graph data structure: A gradual introduction
• The Theoretical Aspect of Equality Saturation
• Acyclic Egraphs and Smart Constructors
• Gauss and Groebner Egraphs: Intrinsic Linear and Polynomial Equations
• What's in an e-graph?
• Improving MBA Deobfuscation using Equality Saturation
• Automating Transport with Univalent E-Graphs
• Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas
• Binding in E-graphs