Paul Thomson, Alastair F. Donaldson
The lazy happens-before relation: better partial-order reduction for systematic concurrency testing
PPoPP, 2015.
@inproceedings{PPoPP-2015-ThomsonD,
author = "Paul Thomson and Alastair F. Donaldson",
booktitle = "{Proceedings of the 20th Symposium on Principles and Practice of Parallel Programming}",
doi = "10.1145/2688500.2688533",
isbn = "978-1-4503-3205-7",
pages = "259--260",
publisher = "{ACM}",
title = "{The lazy happens-before relation: better partial-order reduction for systematic concurrency testing}",
year = 2015,
}