Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
Archer, a data race detection tool for large OpenMP applications
A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.
ReMPI (MPI Record-and-Replay)
A lightweight data race detector for OpenMP programs
Mirror of official openmp-llvm git repository located at http://llvm.org/git/openmp. Updated every five minutes.
Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.
Official WebPage of the PRUNERS Project
Automatic installation script for Clang/LLVM with Archer support
Repository for old and new research prototypes
Data race benchmark suite
NINJA: Noise Inject agent tool to expose subtle and unintended message races
StackP: Static PMPI-wrapper stacker and link tool
A PMPI tool for piggybacking Lamport clock