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 Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures