data-race-detection
Here are 14 public repositories matching this topic...
Language:All
Sort:Most stars
Chronos - A static race detector for the go language
- Updated
Apr 22, 2022 - Go
Frama-C plugins for deadlock and data race detection
- Updated
Nov 12, 2025 - OCaml
Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
- Updated
Jan 28, 2021
Setup the Faial static code analyzer for CUDA kernels
- Updated
Apr 23, 2024 - JavaScript
The User Concurrency Sanitizer (UCSAN)
- Updated
Nov 13, 2022 - C
Runtime Detection of Data Races in OCaml with ThreadSanitizer
- Updated
Dec 3, 2023 - TeX
A dynamic data race detector for CUDA programs
- Updated
May 22, 2022 - Python
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
- Updated
May 28, 2020 - Fortran
Clone of OmpSCR v2.0 with modifications
- Updated
May 16, 2020 - Fortran
This project is themed around the famous "Dining Philosophers" problem.
- Updated
Feb 8, 2024 - C
sloved the diying philosopher problem with a multi-thread program on top
- Updated
Mar 15, 2022 - C
Mechanised Reasoning about Array-Based Trees in Separation Logic
- Updated
Jan 6, 2024 - Coq
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
- Updated
Oct 17, 2019 - Fortran
Basics of threading a process. How to create threads and use mutexes.
- Updated
Mar 24, 2023 - C
Improve this page
Add a description, image, and links to thedata-race-detection topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thedata-race-detection topic, visit your repo's landing page and select "manage topics."