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

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 08, 2019
Source ID
10.1145/3314221.3314601

Entities

People

  • Daejun Park
  • Grigore Rosu
  • Sandeep Dasgupta
  • Theodoros Kasampalis
  • Vikram Adve

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • Office of Naval Research
  • University of Illinois Urbana–Champaign