News
| Jun 30, 2025 | Excited to announce that our paper “e-boost: Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving” has been accepted to ICCAD 2025!   |
|---|---|
| Apr 25, 2025 | Our paper “BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation” received Best Paper Nomination at DAC 2025!   |
| Mar 14, 2025 | Excited to announce that our paper “HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation” has been accepted to USENIX ATC 2025! |