7 citations · 7 across the 5 of their papers we have counts for
1 paper · 1 filter
Russel Arbore, Alvin Cheung, Max Willsey
Equality saturation is a program optimization technique based on non-destructive rewriting and a form of abstract interpretation called e-class analysis. Existing e-class analyses…