NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness

Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen. NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 401-414, ACM, 2011. [doi]

@inproceedings{BurnimENS11,
  title = {NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness},
  author = {Jacob Burnim and Tayfun Elmas and George C. Necula and Koushik Sen},
  year = {2011},
  doi = {10.1145/1993498.1993545},
  url = {http://doi.acm.org/10.1145/1993498.1993545},
  tags = {C++},
  researchr = {https://researchr.org/publication/BurnimENS11},
  cites = {0},
  citedby = {0},
  pages = {401-414},
  booktitle = {Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011},
  editor = {Mary W. Hall and David A. Padua},
  publisher = {ACM},
  isbn = {978-1-4503-0663-8},
}