Mingdong Feng
-
19971997.
Efficient Detection of Determinacy Races in {Cilk} Programs
Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA).:1â11. -
19981998.
Detecting Data Races in Cilk Programs That Use Locks
Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA ’98).:298â309.