A complete formal semantics of x86-64 user-level instruction set architecture
Sandeep Dasgupta, Vikram Adve[doi] [Google Scholar] [DBLP] [Citeseer]
Proceedings of the 2019 ACM SIGPLAN Conference on Programming Language Design and Implementation
PLDI '19
ACM
Pages 1103-1118
June 2019
Note(s): ISA specification, x86 architecture, instruction set architecture
PLDI '19
ACM
Pages 1103-1118
June 2019
Note(s): ISA specification, x86 architecture, instruction set architecture