Reorder Pointer Flow in Sound Concurrency Bug Prediction.

Yuqi Guo, Shihao Zhu, Yan Cai, Liang He, Jian Zhang

Browse the full ICSE paper archive.