@misc{indiciae733316bdc129,
  title = {Taming Weak Memory Models},
  author = {Sizhuo Zhang and Arvind and Muralidaran Vijayaraghavan},
  year = {2016},
  url = {https://arxiv.org/abs/1606.05416},
  note = {Source identifier: 1606.05416}
}