The semantics of x86-CC multiprocessor machine code

Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
POPL '09
Savannah, GA, USA
ACM
New York, NY, USA
Pages 379-391
2009
Note(s): x86 architecture, ISA specification, instruction set architecture