Optimistic Prediction of Synchronization-Reversal Data Races
This is the artifact evaluation submission of ICSE’24 paper #617 “Optimistic Prediction of Synchronization-Reversal Data Races”. The purpose of the research artifact is to release our source code and data sets, so that other researchers can further verify and reproduce our work. We are claiming reusable, available and results reproduced badges for this submission. We assume reviewers have the knowledge to install Java and Python environment as well as submitting jobs on computing clusters or servers. In this submission, there are two data sets, i.e. Java benchmarks and C/C++ benchmarks. To fully evaluate the results on C/C++ benchmarks, reviewers need servers to do computation, because it requires around 400GB memory. For Java benchmarks, most results can be reproduced on a PC or laptop.