"AtexRace: Across Thread and Execution Sampling for In-house Race Detection", Yu Guo, Yan Cai, and Zijiang Yang. ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Paderborn, Germany, Sep. 2017.