23 citations · 26 across the 13 of their papers we have counts for
1 paper · 2 filters
Tyler Hou, Shadaj Laddad, Joseph M. Hellerstein
Equality saturation is a powerful technique for program optimization. Contextual equality saturation extends this to support rewrite rules that are conditioned on where a term appe…