Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken: Conditionally correct superoptimization. OOPSLA 2015: 147-162