Data Race Detection by Understanding Synchronization Relationships of Thread Segments.

Zhiyuan Shao, Jian Peng, Hai Jin

Browse the full PDP paper archive.