Long Zheng 0003, Xiaofei Liao, Hai Jin 0001, Bingsheng He, Jingling Xue, Haikun Liu. Towards concurrency race debugging: an integrated approach for constraint solving and dynamic slicing. In Skevos Evripidou, Per Stenström, Michael F. P. O'Boyle, editors, Proceedings of the 27th International Conference on Parallel Architectures and Compilation Techniques, PACT 2018, Limassol, Cyprus, November 01-04, 2018. ACM, 2018. [doi]
Abstract is missing.