ACM SIGPLAN Symposium on Principles and Practice of Parallel Prog., PPoPP 2018

Article Details
Title: VerifiedFT: a verified, high-performance precise dynamic race detector
Article URLs:
Alternative Article URLs:
Authors: James R. Wilcox
  • University of Washington
Cormac Flanagan
  • University of California - Santa Cruz
Stephen N. Freund
  • Williams College
Sharing: Unknown
Verification: Authors have not 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.
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1337278, 1421051, 1421016, 1439042
DBLP Key: conf/ppopp/WilcoxFF18
Author Comments:

Discuss this paper and its artifacts below