Long Zheng(#), Xiaofei Liao(*), Hai Jin, Bingsheng He, Jingling Xue, Haikun Liu. Towards Concurrency Race Debugging: An Integrated Approach for Constraint Solving and Dynamic Slicing. In Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques (PACT 2018), 26:1-26:13 (Best Paper Candidate)