Semantic program alignment for equivalence checking.

Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken

Browse the full PLDI paper archive.