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 transactions and weak memory in x86, Power, ARM, and C++
The work
| Authors | Nathan Chong; Tyler Sorensen; John Wickerson |
|---|---|
| Editors | |
| Type | misc |
| Year | 2018 |
| Citekey | chong2018semantics |
Where it appeared
| Published in | Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation |
|---|---|
| Pages | 211--225 |
Identifiers
| DOI | 10.1145/3192366.3192373 |
|---|---|
| OpenAlex | W2766374749 |
Access
| Landing page | https://doi.org/10.1145/3192366.3192373 |
|---|---|
| Free full text | https://dl.acm.org/doi/pdf/10.1145/3192366.3192373 |
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
Weak memory models provide a complex, system-centric semantics for concurrent programs, while transactional memory (TM) provides a simpler, programmer-centric semantics. Both have been studied in detail, but their combined semantics is not well understood. This is problematic because such widely-used architectures and languages as x86, Power, and C++ all support TM, and all have weak memory models.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 12:53 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{chong2018semantics,
title = {The semantics of transactions and weak memory in x86, Power, ARM, and C++},
author = {Nathan Chong and Tyler Sorensen and John Wickerson},
year = {2018},
journal = {Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation},
pages = {211--225},
doi = {10.1145/3192366.3192373},
}
This record lives at https://refs.drheap.org/chong2018semantics/ and will keep doing so.