Concurrent predicates: Finding and fixing the root cause of concurrency violations (2012)

by J E Gottschlich, G A Pokam, C L Pereira
Venue:In Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism (HotPar