#
race-detection
Here are 33 public repositories matching this topic...
Web Locks API 🔒
nodejs
synchronization
async
parallel
lock
deadlock
multithreading
locks
locking
semaphore
await
mutex
threads
shared-memory
synchronize
race-detection
atomics
sharedarraybuffer
data-race
web-locks
-
Updated
Jun 11, 2021 - JavaScript
Data-race detector for windows applications - built on top of DynamoRIO
-
Updated
Mar 17, 2021 - C++
face recognition, detection of facial attributes (age, gender, emotion and race) for python.
face-recognition
face-detection
age-recognition
gender-classification
face-tracking
emotion-detection
race-detection
emotion-recognition
gender-detection
gender-prediction
age-detection
race-classification
-
Updated
Jun 8, 2021 - Python
Predicting race from faces for movie data
-
Updated
Oct 30, 2019 - Python
Open source implementation of the Coderrect Scanner core race detection functionality.
c
open-source
cpp
static-analysis
concurrency
race
race-detection
race-conditions
data-race
data-race-detection
datarace
-
Updated
Jun 14, 2021 - LLVM
EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.
cpp
llvm
googlemock
googletest
clang
instrumentation
threadsanitizer-support
llvm-clang
race-detection
threadsanitizer
-
Updated
Jun 13, 2021 - C++
Automated data race detection from a distributed trace via SMT constraint solving
distributed-systems
testing-tools
debugging-tools
race-detection
traces
runtime-verification
race-conditions
race-detection-engines
-
Updated
Jul 1, 2020 - Java
A race detector for Golang
-
Updated
Jan 16, 2020 - Python
NamSor Python command line tools, to append gender, origin, diaspora or us 'race'/ethnicity to a CSV file.
ethnicity
gender-from-name
gender-classification
race-detection
ethnicity-analysis
gender-detection
ethnicity-classifier
-
Updated
Feb 1, 2021 - Python
LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs
fortran
llvm
static-analysis
openmp
clang
program-verification
polly
llvm-ir
race-detection
race-conditions
flang
data-race
race-detector
openmp-verification
dataracebench-fortran
openmp-programs
llvm-openmp-verifier
race-checker
-
Updated
Jan 25, 2021 - C++
A dynamic race detector with guided execution for Node.js applications http://www.brics.dk/noderacer
-
Updated
May 10, 2021 - JavaScript
Race Detection on Compressed Traces
-
Updated
Dec 5, 2019 - Java
NamSor command line tools, to append gender, origin, diaspora or us 'race'/ethnicity to a CSV file.
ethnicity
gender-from-name
race-detection
ethnicity-analysis
gender-detection
ethnicity-classifier
gender-classifier
-
Updated
Mar 29, 2021 - Java
Java Path Finder and Gradle configuration with simple dining philosopher problem
java
unit-testing
gradle
junit
deadlock-detection
dining-philosophers
unit-test
dining-philosophers-problem
race-detection
jpf
race-condition-prevention
java-pathfinder
-
Updated
Aug 4, 2019 - Java
A repository containing small OpenMP dataflow examples: some are racy and others are correct.
-
Updated
Feb 20, 2021 - C++
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
fortran
openmp
program-verification
llvm-ir
race-detection
data-race-detection
dataracebench-fortran-kernels
-
Updated
May 28, 2020 - Fortran
Implementation for paper, "Learned Features are better for Ethnicity classification"
-
Updated
Jun 27, 2018 - MATLAB
Practical Initialization Race Detection for JavaScript Web Applications
-
Updated
Apr 10, 2017 - JavaScript
A complete x86 race checker accelerated by Cuda GPU
-
Updated
Nov 17, 2018 - Cuda
Output non-determinism detection tool for shared memory dataflow applications.
-
Updated
Mar 27, 2021 - C++
Clone of OmpSCR v2.0 with modifications
openmp
shared-memory
program-verification
sword
archer
race-detection
parallel-programming
shared-memory-parallel
helgrind
data-race-detection
llov
romp
valgrind-drd
-
Updated
May 16, 2020 - Fortran
Compare the md5 of files in a filesystem directory against an md5.json file also stored in the directory
-
Updated
Jun 1, 2020 - JavaScript
-
Updated
Jun 30, 2017 - C++
An application that detects and records race and sex from a video feed
-
Updated
Jun 23, 2020 - Python
DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools
fortran
openmp
program-verification
llvm-ir
race-detection
data-race-detection
dataracebench-fortran-kernels
-
Updated
Oct 17, 2019 - Fortran
A toy race-condition finder that can demonstrate Peterson's algorithm
-
Updated
Mar 25, 2015 - JavaScript
Command line client to manage md5 verification of files in local directories and Google Cloud Storage [tm] buckets
-
Updated
Jun 8, 2020 - JavaScript
Improve this page
Add a description, image, and links to the race-detection topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the race-detection topic, visit your repo's landing page and select "manage topics."
Enhancement
When the program panics the entire stack trace is returned. A more user friendly should be returned.
It should contain the failing stacktrace but also the following messages as in the example stacktrace below (taken from that of the stdlib pointer package):
Internal panic in while performing analysis:at the topError in analysis (please report this bug)at the bot