LLNL / dataracebench
Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
☆68Updated last year
Alternatives and similar repositories for dataracebench:
Users that are interested in dataracebench are comparing it to the libraries listed below
- Archer, a data race detection tool for large OpenMP applications☆63Updated 4 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆33Updated 2 years ago
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆56Updated last week
- 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
- 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…☆34Updated 8 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆91Updated 4 months ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆37Updated last month
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆37Updated 2 months ago
- Program analysis tool based on software performance counters☆56Updated 3 years ago
- GPUVerify: a Verifier for GPU Kernels☆59Updated 2 years ago
- DiscoPoP - Discovery of Potential Parallelism☆41Updated last week
- A tool for debugging and assessing floating point precision and reproducibility.☆67Updated last month
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Barcelona OpenMP Task Suite is a collection of applications that allow to test OpenMP tasking implementations and compare its behaviour u…☆44Updated 5 years ago
- ☆33Updated 2 years ago
- NOELLE Offers Empowering LLVM Extensions☆76Updated this week
- GOTCHA is a library for wrapping function calls in shared libraries☆72Updated 7 months ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆44Updated 5 years ago
- Interprocedural Basic Block Code Layout Optimization☆18Updated 6 years ago
- MPI wrapper generator, for writing PMPI tool libraries☆34Updated 2 years ago
- The Insieme Compiler and Runtime Infrastructure☆33Updated 5 years ago
- FlipIt: An LLVM Based Fault Injector for HPC☆15Updated 3 years ago
- NAS Parallel Benchmarks 3.0 OpenMP C version☆49Updated 10 years ago
- compiler for fortran stencils using verified lifting,☆17Updated 2 years ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆61Updated 4 years ago
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 3 years ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆11Updated 6 years ago
- Instrumentation framework to generate execution traces of the most used parallel runtimes.☆66Updated 2 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago