Formally verified lifting of C-compiled x86-64 binaries.

Freek Verbeek, Joshua A. Bockenek, Zhoulai Fu, Binoy Ravindran

Browse the full PLDI paper archive.