Safety checking of machine code.

Zhichen Xu, Barton P. Miller, Thomas W. Reps

Browse the full PLDI paper archive.