data-race-detection

There are 13 repositories under data-race-detection topic.

amit-davidson/Chronos
Chronos - A static race detector for the go language
Language:Go425 5 2111
coderrect-inc/coderrect-github-action
Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
9 3 33
cogumbreiro/setup-faial
Setup the Faial static code analyzer for CUDA kernels
Language:JavaScript5 1 01
fabbing/ocaml_tsan_icfp
Runtime Detection of Data Races in OCaml with ThreadSanitizer
Language:TeX3 2 00
yinengy/CUDA-Data-Race-Detector
A dynamic data race detector for CUDA programs
Language:Python3 1 00
linD026/ucsan
The User Concurrency Sanitizer (UCSAN)
Language:C2 1 110
utpalbora/drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Language:Fortran1 2 01
utpalbora/OmpSCR_v2.0
Clone of OmpSCR v2.0 with modifications
Language:Fortran1 3 00
nessrinemaalem/philosopher
sloved the diying philosopher problem with a multi-thread program on top
Language:C00
Saxsori/Philosopher
Basics of threading a process. How to create threads and use mutexes.
Language:C0 1 00
verse-lab/arboreta
Mechanised Reasoning about Array-Based Trees in Separation Logic
Language:Coq0 1 00
IITH-Compilers/drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
Language:Fortran6 0
semx2a/philosophers
This project is themed around the famous "Dining Philosophers" problem.
Language:C1 0