race-detection topic

Chronos - A static race detector for the go language

amit-davidson

Static analysis framework for C

goblint

Web Locks API 🔒

metarhia

face recognition, detection of facial attributes (age, gender, emotion and race) for python.

juan-csv

EmbedSantizer is a runtime race detection tool which extends ThreadSanitizer to detect data races in 32-bit ARM applications.

hassansalehe

Data-race detector for windows applications - built on top of DynamoRIO

siemens

Automated data race detection from a distributed trace via SMT constraint solving

jcp19

LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs

utpalbora

Make exploiting race conditions in web applications highly efficient and ease-of-use.

JavanXD

Predicting race from faces for movie data

usc-sail