Browse by Person (creator, editor, contributor, etc.)
Number of items: 2.
Owens, Scott and Sarkar, Susmit and Sewell, Peter
A Better x86 Memory Model: x86-TSO.
In: 22nd International Conference, TPHOLs 2009, August 17th - 20th, 2009, Munich, Germany.
(The full text of this publication is not available from this repository)