@inproceedings{DBLP:conf/ppopp/ThomsonD15,
  author       = {Paul Thomson and
                  Alastair F. Donaldson},
  editor       = {Albert Cohen and
                  David Grove},
  title        = {The lazy happens-before relation: better partial-order reduction for systematic concurrency testing},
  booktitle    = {Proceedings of the 20th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA, February 7-11, 2015},
  pages        = {259-260},
  publisher    = {{ACM}},
  year         = {2015},
  doi          = {10.1145/2688500.2688533},
}