A complete formal semantics of x86-64 user-level instruction set architecture.

Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu

Browse the full PLDI paper archive.