The lazy happens-before relation: better partial-order reduction for systematic concurrency testing
@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},
}