2 citations · 4 across the 7 of their papers we have counts for
1 paper · 1 filter
Anjiang Wei, Tarun Suresh, Huanmi Tan +4
Superoptimization is the task of transforming a program into a faster one, and ideally the very fastest possible one, while preserving its input-output behavior. In this work, we i…