Conditionally correct superoptimization.

Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken

Browse the full OOPSLA paper archive.