The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
The semantics of x86-CC multiprocessor machine code
The work
| Authors | Susmit Sarkar; Peter Sewell; Francesco Zappa Nardelli; Scott Owens; Tom Ridge; Thomas Braibant; Magnus O. Myreen; Jade Alglave |
|---|---|
| Editors | |
| Type | misc |
| Year | 2009 |
| Citekey | sarkar2009semantics |
Where it appeared
| Published in | ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) |
|---|---|
| Pages | 379--391 |
Identifiers
| DOI | 10.1145/1480881.1480929 |
|---|---|
| OpenAlex | W1995825057 |
Access
| Landing page | https://doi.org/10.1145/1480881.1480929 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have subtle relaxed (or weak) memory models, usually described only in ambiguous prose, leading to widespread confusion.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 12:14 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@misc{sarkar2009semantics,
title = {The semantics of x86-CC multiprocessor machine code},
author = {Susmit Sarkar and Peter Sewell and Francesco Zappa Nardelli and Scott Owens and Tom Ridge and Thomas Braibant and Magnus O. Myreen and Jade Alglave},
year = {2009},
journal = {ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
pages = {379--391},
doi = {10.1145/1480881.1480929},
}
This record lives at https://refs.drheap.org/sarkar2009semantics/ and will keep doing so.