@misc{indiciae23a933d72080,
  title = {Constructing a Weak Memory Model},
  author = {Sizhuo Zhang and Muralidaran Vijayaraghavan and Andrew Wright and Mehdi Alipour and Arvind},
  year = {2018},
  doi = {10.1109/isca.2018.00021},
  url = {https://arxiv.org/abs/1805.07886},
  note = {Source identifier: 1805.07886}
}