ACM Programming Language Design and Implementation, PLDI 2017

Article Details
Title: Dynamic race prediction in linear time
Article URLs:
Alternative Article URLs: arxiv.org/abs/1704.02432
Authors: Dileep Kini
  • University of Illinois at Urbana-Champaign, Department of Computer Science
  • Akuna Capital
Umang Mathur
  • University of Illinois at Urbana-Champaign, Department of Computer Science
Mahesh Viswanathan
  • University of Illinois at Urbana-Champaign, Department of Computer Science
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge:
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
awarded
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1314485, 1422798, 1329991
DBLP Key: conf/pldi/KiniM017
Author Comments: We are using academic license for RV-Predict tool for its logging functionality. Please read the terms and conditions for using RVPredict : https://runtimeverification.com/predict/

Discuss this paper and its artifacts below