Our paper Automating Constraint-Aware Datapath Optimization using E-Graphs was accepted for publication at DAC!