@misc{indiciae6a592ceeb8d8,
  title = {EMME: a formal tool for ECMAScript Memory Model Evaluation},
  author = {Cristian Mattarei and Clark Barrett and Shu-yu Guo and Bradley Nelson and Ben Smith and JF Bastien},
  year = {2018},
  url = {https://arxiv.org/abs/1801.10140},
  note = {Source identifier: 1801.10140}
}