Nathan Chong, Tyler Sorensen, John Wickerson. The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. In Dahlia Malkhi, Dan Tsafrir, editors, 2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10-12, 2019. USENIX Association, 2019. [doi]
@inproceedings{ChongSW19,
title = {The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++},
author = {Nathan Chong and Tyler Sorensen and John Wickerson},
year = {2019},
url = {https://www.usenix.org/conference/atc19/presentation/chong},
researchr = {https://researchr.org/publication/ChongSW19},
cites = {0},
citedby = {0},
booktitle = {2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10-12, 2019},
editor = {Dahlia Malkhi and Dan Tsafrir},
publisher = {USENIX Association},
}