Paul Thomson, Alastair F. Donaldson. The lazy happens-before relation: better partial-order reduction for systematic concurrency testing. In Albert Cohen, David Grove, editors, 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, ACM, 2015. [doi]
Abstract is missing.