Prescient memory: exposing weak memory model behavior by looking into the future

Man Cao, Jake Roemer, Aritra Sengupta, Michael D. Bond. Prescient memory: exposing weak memory model behavior by looking into the future. In Christine H. Flood, Eddy Zheng Zhang, editors, Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14 - 14, 2016. pages 99-110, ACM, 2016. [doi]

@inproceedings{CaoRSB16,
  title = {Prescient memory: exposing weak memory model behavior by looking into the future},
  author = {Man Cao and Jake Roemer and Aritra Sengupta and Michael D. Bond},
  year = {2016},
  doi = {10.1145/2926697.2926700},
  url = {http://doi.acm.org/10.1145/2926697.2926700},
  researchr = {https://researchr.org/publication/CaoRSB16},
  cites = {0},
  citedby = {0},
  pages = {99-110},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14 - 14, 2016},
  editor = {Christine H. Flood and Eddy Zheng Zhang},
  publisher = {ACM},
  isbn = {978-1-4503-4317-6},
}