data-race-detection

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

amit-davidson / Chronos
Chronos - A static race detector for the go language
analysis golang synchronization detection race-conditions race-detection mutex-synchronisation pointer-analysis static-code-analysis static-analysis ssa detects-races data-race-detection race-condition go
Language:Go 421
coderrect-github-action
coderrect-inc / coderrect-github-action
Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
fortran c cpp github-actions static-analysis race data-race data-race-detection race-conditions multithreading openmp
9
cogumbreiro / setup-faial
Setup the Faial static code analyzer for CUDA kernels
cuda data-race-detection data-race-freedom static-analysis static-analyzer
Language:JavaScript 4
fabbing / ocaml_tsan_icfp
Runtime Detection of Data Races in OCaml with ThreadSanitizer
abstract data-race data-race-detection icfp2023 ocaml slides thread-sanitizer
Language:TeX 3
linD026 / ucsan
The User Concurrency Sanitizer (UCSAN)
c concurrent-programming data-race-detection concurrency
Language:C 2
yinengy / CUDA-Data-Race-Detector
A dynamic data race detector for CUDA programs
cuda data-race-detection data-race cuda-support race-conditions
Language:Python 2
utpalbora / drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
data-race-detection dataracebench-fortran-kernels fortran llvm-ir openmp program-verification race-detection
Language:Fortran 1
utpalbora / OmpSCR_v2.0
Clone of OmpSCR v2.0 with modifications
openmp data-race-detection llov archer sword romp helgrind valgrind-drd race-detection program-verification parallel-programming shared-memory shared-memory-parallel
Language:Fortran 1
Saxsori / Philosopher
Basics of threading a process. How to create threads and use mutexes.
42school data-race-detection dining-philosophers-problem multithreading mutex threads
Language:C 0
verse-lab / arboreta
Mechanised Reasoning about Array-Based Trees in Separation Logic
coq data-race-detection formal-verification generic-tree logical-clock rosetree separation-logic vector-clock
Language:Coq 0
IITH-Compilers / drb_fortran
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
data-race-detection dataracebench-fortran-kernels fortran llvm-ir openmp program-verification race-detection
Language:Fortran
semx2a / philosophers
This project is themed around the famous "Dining Philosophers" problem.
c concurrency concurrent-programming data-race-detection multithreading
Language:C