IEEE/ACM Intl. Conf. on Parallel Architectures and Compilation Techniques, PACT 2018


Article Details
Title: Towards concurrency race debugging: an integrated approach for constraint solving and dynamic slicing
Article URLs:
Alternative Article URLs:
Authors: Long Zheng
  • Huazhong University of Science and Technology, Services Computing Technology and System Lab/Big Data Technology and System Lab/Cluster and Grid Computing Lab
Xiaofei Liao
  • Huazhong University of Science and Technology, Services Computing Technology and System Lab/Big Data Technology and System Lab/Cluster and Grid Computing Lab
Hai Jin
  • Huazhong University of Science and Technology, Services Computing Technology and System Lab/Big Data Technology and System Lab/Cluster and Grid Computing Lab
Bingsheng He
  • National University of Singapore, School of Computing
Jingling Xue
  • University of New South Wales, School of Computer Science and Engineering
Haikun Liu
  • Huazhong University of Science and Technology, Services Computing Technology and System Lab/Big Data Technology and System Lab/Cluster and Grid Computing Lab
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/IEEEpact/0003L0HXL18
Author Comments:

Discuss this paper and its artifacts below