LLNL / dataracebenchLinks
Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
☆69Updated last year
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☆64Updated 4 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆37Updated this week
- 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 8 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Loop Kernel Analysis and Performance Modeling Toolkit☆94Updated 4 months ago
- NOELLE Offers Empowering LLVM Extensions☆78Updated last week
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆58Updated this week
- ☆196Updated last week
- GPUVerify: a Verifier for GPU Kernels☆63Updated 3 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆38Updated 8 months ago
- Updated C version of the Test Suite for Vectorising Compilers☆63Updated last year
- PIRA - Automatic Instrumentation Refinement☆16Updated last year
- pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler opti…☆17Updated last year
- OpenCL extension for csmith.☆24Updated 8 years ago
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆21Updated 2 years ago
- ROSE is an open-source compiler framework engineered by LLNL supporting program analysis and transformation at both the source and binary…☆646Updated this week
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆29Updated 3 years ago
- A verification tool for many memory models☆99Updated last week
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆62Updated 5 years ago
- An LLVM-based formal verification frontend for C programs.☆24Updated 3 years ago
- DiscoPoP - Discovery of Potential Parallelism☆45Updated last week
- Barcelona OpenMP Task Suite is a collection of applications that allow to test OpenMP tasking implementations and compare its behaviour u…☆46Updated 5 years ago
- RV: A Unified Region Vectorizer for LLVM☆111Updated 2 months ago
- ☆28Updated 4 months ago
- A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.☆112Updated 5 years ago
- C/C++ Source-to-Source Tool based on Clang☆81Updated this week
- Apollo: Online Machine Learning for Performance Portability☆24Updated 11 months ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆100Updated 2 months ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆48Updated this week