data-race topic

Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.

LLNL

Web Locks API 🔒

metarhia

LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs

utpalbora