LLNL / dataracebench
Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
☆67Updated last year
Related projects: ⓘ
- Archer, a data race detection tool for large OpenMP applications☆62Updated 4 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆31Updated 2 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…☆33Updated 8 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 10 months ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆36Updated 2 years ago
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆52Updated last week
- DiscoPoP - Discovery of Potential Parallelism☆39Updated 3 weeks ago
- FlipIt: An LLVM Based Fault Injector for HPC☆16Updated 3 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆86Updated 2 weeks ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆33Updated 3 weeks ago
- MPI wrapper generator, for writing PMPI tool libraries☆34Updated last year
- Program analysis tool based on software performance counters☆56Updated 3 years ago
- CERE: Codelet Extractor and REplayer☆40Updated 11 months ago
- Instrumentation framework to generate execution traces of the most used parallel runtimes.☆60Updated last week
- floating-point errors checker☆47Updated 2 months ago
- A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.☆86Updated 4 years ago
- 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
- Goal: a website to automatically train and certify compiler researchers and developers☆10Updated 4 years ago
- GOTCHA is a library for wrapping function calls in shared libraries☆70Updated 3 months ago
- The NAS Parallel Benchmarks for evaluating C++ parallel programming frameworks on shared-memory architectures☆45Updated 2 weeks ago
- NOELLE Offers Empowering LLVM Extensions☆75Updated this week
- YASK--Yet Another Stencil Kit: a domain-specific language and framework to create high-performance stencil code for implementing finite-d…☆103Updated last month
- compiler for fortran stencils using verified lifting,☆17Updated 2 years ago
- GPUVerify: a Verifier for GPU Kernels☆57Updated 2 years ago
- PIRA - Automatic Instrumentation Refinement☆15Updated 5 months ago
- Updated C version of the Test Suite for Vectorising Compilers☆48Updated 6 months ago
- The Insieme Compiler and Runtime Infrastructure☆33Updated 5 years ago
- LLVM-based type and memory allocation tracking sanitizer☆29Updated 2 weeks ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 2 years ago
- Error-Free Transformations as building blocks for compensated algorithms☆12Updated last year