Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs.

Vineet Kahlon, Chao Wang

Browse the full CAV paper archive.