Fingerprint
Dive into the research topics of 'x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors
Peter Sewell*, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review