@inproceedings {235336, title = {The Semantics of Transactions and Weak Memory in x86, Power, {ARM}, and C++}, booktitle = {2019 USENIX Annual Technical Conference (USENIX ATC 19)}, year = {2019}, address = {Renton, WA}, url = {https://www.usenix.org/conference/atc19/presentation/chong}, publisher = {USENIX Association}, month = jul }