Provably Good and Practically Efficient Parallel Race Detection for Fork-Join Programs.

Robert Utterback, Kunal Agrawal, Jeremy T. Fineman, I-Ting Angelina Lee

Browse the full SPAA paper archive.