news

Nov 1, 2023	We presented our paper Multiplier Optimization via E-Graph Rewriting as a poster at ASILOMAR 2023! A great session with lots of interest - enjoyed working with Andy Wanna, Theo Drane, Prof. Constantinides and Prof. Ercegovac on this project.
Oct 27, 2023	Went to Iowa to present our paper Datapath Verification via Word-Level E-Graph Rewriting at FMCAD 2023! A great conference with lots of interest in the work, many thanks to the organizers.
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!