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