216 citations · 225 across the 10 of their papers we have counts for
1 paper · 2 filters
Jules Merckx, Alexandre Lopoukhine, Samuel Coward +3
Recent algorithmic advances have made equality saturation an appealing technique for program optimization, avoiding the phase-ordering problem by separating the discovery of equiva…