-
x86-TSO: A Rigorous and Usable Programmer's Model for x86
Multiprocessors.
Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli,
and Magnus O. Myreen.
Communications of the ACM, 53(7):89--97, July 2010.
(Research Highlights).
[ bib |
doi |
pdf |
http |
abstract ]
-
A better x86 memory model: x86-TSO (extended
version).
Scott Owens, Susmit Sarkar, and Peter Sewell.
Technical Report UCAM-CL-TR-745, University of Cambridge, Computer
Laboratory, March 2009.
52pp.
[ bib |
errata |
pdf |
abstract ]
-
The Semantics of x86-CC Multiprocessor Machine
Code.
Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens,
Tom Ridge, Thomas Braibant, Magnus Myreen, and Jade Alglave.
In POPL 2009.
[ bib |
doi |
pdf |
abstract ]
-
A better x86 memory model: x86-TSO.
Scott Owens, Susmit Sarkar, and Peter Sewell.
In TPHOLs 2009.
[ bib |
doi |
pdf |
http |
abstract ]