llnl / dataracebenchLinks
Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
☆73Updated 2 years ago
Alternatives and similar repositories for dataracebench
Users that are interested in dataracebench are comparing it to the libraries listed below
Sorting:
- Archer, a data race detection tool for large OpenMP applications☆66Updated 5 years ago
- Program analysis tool based on software performance counters☆57Updated 4 years ago
- A tuning assistant tool to find a lower floating-point precision that can be used in any part of a program. Precimonious performs a searc…☆37Updated 9 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆39Updated 3 weeks ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆96Updated 10 months ago
- ☆229Updated this week
- A verification tool for many memory models☆110Updated this week
- CERE: Codelet Extractor and REplayer☆40Updated 2 years ago
- pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler opti…☆17Updated 2 years ago
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆60Updated this week
- NOELLE Offers Empowering LLVM Extensions☆83Updated 6 months ago
- OpenCL extension for csmith.☆27Updated 2 months ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Updated last year
- GOTCHA is a library for wrapping function calls in shared libraries☆86Updated 10 months ago
- Updated C version of the Test Suite for Vectorising Compilers☆71Updated last year
- RV: A Unified Region Vectorizer for LLVM☆113Updated 8 months ago
- MPI wrapper generator, for writing PMPI tool libraries☆36Updated 10 months ago
- ROSE is an open-source compiler framework engineered by LLNL supporting program analysis and transformation at both the source and binary…☆667Updated last week
- ☆66Updated 6 years ago
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆21Updated 3 years ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆61Updated 5 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆99Updated 8 months ago
- Apollo: Online Machine Learning for Performance Portability☆26Updated last year
- GPUVerify: a Verifier for GPU Kernels☆74Updated 3 years ago
- An LLVM-based formal verification frontend for C programs.☆26Updated 4 years ago
- Efficient Path Profiling using LLVM☆18Updated 8 years ago
- A CUDA compiler fuzzer☆30Updated 2 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Updated 5 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆17Updated 5 years ago
- NAS Parallel Benchmarks 3.0 OpenMP C version☆54Updated 11 years ago