1 paper
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…