data-race-detection
There are 14 repositories under data-race-detection topic.
amit-davidson/Chronos
Chronos - A static race detector for the go language
TDacik/Deadlock_Racer
Frama-C plugins for deadlock and data race detection
coderrect-inc/coderrect-github-action
Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
cogumbreiro/setup-faial
Setup the Faial static code analyzer for CUDA kernels
linD026/ucsan
The User Concurrency Sanitizer (UCSAN)
fabbing/ocaml_tsan_icfp
Runtime Detection of Data Races in OCaml with ThreadSanitizer
yinengy/CUDA-Data-Race-Detector
A dynamic data race detector for CUDA programs
utpalbora/drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
utpalbora/OmpSCR_v2.0
Clone of OmpSCR v2.0 with modifications
nessrinemaalem/philosopher
sloved the diying philosopher problem with a multi-thread program on top
Saxsori/Philosopher
Basics of threading a process. How to create threads and use mutexes.
verse-lab/arboreta
Mechanised Reasoning about Array-Based Trees in Separation Logic
IITH-Compilers/drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
semx2a/philosophers
This project is themed around the famous "Dining Philosophers" problem.