news

Oct 1, 2023 Our paper Multiplier Optimization via E-Graph Rewriting will be presented at ASILOMAR 2023! Looking forward to seeing everyone in a few weeks!
Oct 1, 2023 Our paper Datapath Verification via Word-Level E-Graph Rewriting will be presented at FMCAD 2023! Looking forward to seeing everyone in a few weeks!
Apr 25, 2023 Our paper Combining E-Graphs with Abstract Interpretation was accepted for publication at the SOAP Workshop co-located with PLDI 203!
Feb 20, 2023 Our paper Automating Constraint-Aware Datapath Optimization using E-Graphs was accepted for publication at DAC!