A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture

Aside | Posted on by

A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture

A Complete Formal Semantics of x86-64 User-Level Instruction Set Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture

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

PLDI’19, ACM. We present the most complete and thoroughly tested formal semantics of x86-64 to date. Our semantics faithfully formalizes all the non-deprecated, sequential user-level instructions of the x86-64 Haswell instruction set architecture.

Source: fsl.cs.illinois.edu