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☆63Updated 4 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆34Updated 2 weeks 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…☆35Updated 8 years ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆40Updated this week
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆58Updated last week
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆38Updated 6 months ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Loop Kernel Analysis and Performance Modeling Toolkit☆93Updated 2 months ago
- DiscoPoP - Discovery of Potential Parallelism☆43Updated this 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
- Program analysis tool based on software performance counters☆57Updated 4 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- MPI wrapper generator, for writing PMPI tool libraries☆34Updated 2 months ago
- Updated C version of the Test Suite for Vectorising Compilers☆61Updated last year
- ☆185Updated this week
- GOTCHA is a library for wrapping function calls in shared libraries☆75Updated 2 months ago
- AutoParBench is a benchmark framework to evaluate compilers and tools designed to automatically insert OpenMP directives.☆11Updated 4 years ago
- NOELLE Offers Empowering LLVM Extensions☆76Updated last month
- ☆63Updated 5 years ago
- 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
- Goal: a website to automatically train and certify compiler researchers and developers☆10Updated 5 years ago
- CUDAAdvisor: a GPU profiling tool☆49Updated 6 years ago
- An LLVM-based formal verification frontend for C programs.☆24Updated 3 years ago
- GPUVerify: a Verifier for GPU Kernels☆62Updated 2 years ago
- Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.☆38Updated 3 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Updated 5 years ago
- OpenCL extension for csmith.☆24Updated 8 years ago
- FlipIt: An LLVM Based Fault Injector for HPC☆15Updated 4 years ago
- A verification tool for many memory models☆94Updated this week
- A CUDA compiler fuzzer☆25Updated last year