@misc{indiciae1f0109dfdfce,
  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},
  doi = {10.1145/3192366.3192373},
  url = {https://arxiv.org/abs/1710.04839},
  note = {Source identifier: 1710.04839}
}