LLNL / dataracebenchLinks
Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
☆70Updated 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☆65Updated 5 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆36Updated 2 weeks ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆95Updated 6 months 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…☆36Updated 9 years ago
- CERE: Codelet Extractor and REplayer☆40Updated 2 years ago
- Program analysis tool based on software performance counters☆57Updated 4 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Updated 11 months ago
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆60Updated last week
- An LLVM-based formal verification frontend for C programs.☆25Updated 3 years ago
- MPI wrapper generator, for writing PMPI tool libraries☆36Updated 6 months ago
- A verification tool for many memory models☆103Updated this week
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆30Updated 3 years ago
- ☆207Updated last week
- DiscoPoP - Discovery of Potential Parallelism☆52Updated 3 weeks ago
- PIRA - Automatic Instrumentation Refinement☆16Updated last year
- GPUVerify: a Verifier for GPU Kernels☆69Updated 3 years ago
- NOELLE Offers Empowering LLVM Extensions☆79Updated 2 months ago
- Barcelona OpenMP Task Suite is a collection of applications that allow to test OpenMP tasking implementations and compare its behaviour u…☆46Updated 6 years ago
- Apollo: Online Machine Learning for Performance Portability☆26Updated last year
- Updated C version of the Test Suite for Vectorising Compilers☆69Updated last year
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 3 years ago
- GOTCHA is a library for wrapping function calls in shared libraries☆81Updated 6 months ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆11Updated 6 years ago
- RV: A Unified Region Vectorizer for LLVM☆112Updated 4 months ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- NAS Parallel Benchmarks 3.0 OpenMP C version☆52Updated 10 years ago
- ☆66Updated 5 years ago
- STAT - the Stack Trace Analysis Tool☆67Updated this week
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- Instrumentation framework to generate execution traces of the most used parallel runtimes.☆68Updated last week