ConSynergy

Dataset

DataRaceBench https://github.com/LLNL/dataracebench

Juliet https://www.nist.gov/publications/juliet-11-cc-and-java-test-suite

DeepRace https://github.com/tehranixyz/DeepRace/

SV-COMP ConcurrencySafety https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks

Convul https://github.com/mryancai/ConVul/tree/master

GoBench https://github.com/timmyyuan/gobench