Efficient Predictive Race Detection

This is the artifact submitted for the Artifact Evaluation process for the PLDI 2020 paper "SmartTrack: Efficient Predictive Race Detection" by Jake Roemer, Kaan Genç, and Michael D. Bond. This artifact reproduces the paper's experiments; the SmartTrack source code is available here: https://github.com/PLaSSticity/SmartTrack-pldi20 The artifact file contains a README with more details. Two key issues encountered by Artifact Evaluation Committee members: (1) many executions needed a lot of time and often timed out (for unknown reasons), and (2) after an execution timed out, it would keep running while the next execution started. Artifact author Jake was not able to reproduce the first problem, but the following change should help with the second problem: In exp/util/ExecUtil.java, change Runtime.getRuntime().exec("pkill -6 JikesRVM"); to if (options.config.isRoadRunner()) { Runtime.getRuntime().exec("pkill -6 --full rragent.jar"); } else { Runtime.getRuntime().exec("pkill -6 JikesRVM"); } and then recompile ExecUtil.java with javac. Sadly, Jake (artifact author and first author of the paper) passed away in April 2020. Please contact Kaan Genç and Mike Bond for questions about the artifact.