@inproceedings{2018_pldi_memorymodel,
  address = {Philadelphia PA USA},
  author = {Stephen Dolan and KC Sivaramakrishnan and Anil Madhavapeddy},
  booktitle = {Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation},
  doi = {10.1145/3192366.3192421},
  month = {jun},
  pages = {242--255},
  publisher = {ACM},
  title = {Bounding data races in space and time},
  url = {https://dl.acm.org/doi/10.1145/3192366.3192421},
  year = {2018}}