ATDetector: improving the accuracy of a commercial data race detector by identifying address transfer.

Jiaqi Zhang, Weiwei Xiong, Yang Liu, Soyeon Park, Yuanyuan Zhou, Zhiqiang Ma

Browse the full MICRO paper archive.