Detecting data races in Cilk programs that use locks (1998)

by Guang-Ien Cheng, Mingdong Feng, Charles E Leiserson, Keith H Randall, Andrew F Stark
Venue:In Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA