Programs used to evaluate correctness for the "Scalable Static Detection of Data Races and Deadlocks" project.