29 citations · 42 across the 5 of their papers we have counts for
1 paper · 1 filter
Eric Schkufza, Rahul Sharma, Alex Aiken
We formulate the loop-free, binary superoptimization task as a stochastic search problem. The competing constraints of transformation correctness and performance improvement are en…