Chen Chen, Kai Lu, Xiaoping Wang, Xu Zhou, Li Fang. Pruning False Positives of Static Data-Race Detection via Thread Specialization. In Chenggang Wu, Albert Cohen, editors, Advanced Parallel Processing Technologies - 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers. Volume 8299 of Lecture Notes in Computer Science, pages 77-90, Springer, 2013. [doi]
Abstract is missing.