2 citations · 5 across the 9 of their papers we have counts for
1 paper · 1 filter
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…