22 citations · 22 across the 3 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…