Scalable validation of binary lifters.

Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher

Browse the full PLDI paper archive.