Tolerate Control-Flow Changes for Sound Data Race Prediction.

Shihao Zhu, Yuqi Guo, Long Zhang, Yan Cai

Browse the full ICSE paper archive.