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

by G-I Cheng, M Feng, C E Leiserson, K H Randall, A F Stark
Venue:In SPAA ’98: Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures