An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

DataRaceBench 1.4.0 Released


Home News

DataRaceBench is a benchmark suite designed to systematically and quantitatively evaluate the effectiveness of data race detection tools. It includes a set of microbenchmarks with and without data races. Parallelism is represented by OpenMP directives. This version adds data race ground truth encoding into all microbenchmarks, new C/C++ microbenchmarks and Fortran microbenchmarks, new high-precision evaluation scripts, and more.

Learn more: