Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Sarkar, Susmit and Sewell, Peter and Zappa Nardelli, Francesco and Owens, Scott and Ridge, Tom and Braibant, Thomas and Myreen, Magnus O. and Alglave, Jade
The Semantics of x86-CC Multiprocessor Machine Code.
In: POPL '09: 36th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 21st - 23rd, 2009, Savannah, Georgia, USA.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)