High-precision Data Race Detection Method for Large Scale Programs

Publication
Ruan Jian Xue Bao/Journal of Software