Alternatives and similar repositories for dataracebench

Users that are interested in dataracebench are comparing it to the libraries listed below

• PRUNERS / archer
  Archer, a data race detection tool for large OpenMP applications
  ☆64Updated 4 years ago
• LLNL / FPChecker
  A dynamic analysis tool to detect floating-point errors in HPC applications.
  ☆36Updated this week
• corvette-berkeley / precimonious
  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 8 years ago
• RRZE-HPC / kerncraft
  Loop Kernel Analysis and Performance Modeling Toolkit
  ☆94Updated 3 months ago
• lanl / Byfl
  Program analysis tool based on software performance counters
  ☆57Updated 4 years ago
• PRUNERS / FLiT
  A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.
  ☆38Updated 8 months ago
• benchmark-subsetting / cere
  CERE: Codelet Extractor and REplayer
  ☆40Updated last year
• discopop-project / discopop
  DiscoPoP - Discovery of Potential Parallelism
  ☆45Updated this week
• mc-imperial / gpuverify
  GPUVerify: a Verifier for GPU Kernels
  ☆63Updated 2 years ago
• llvm / llvm-test-suite
  ☆193Updated this week
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆29Updated 3 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆96Updated this week
• LLNL / GOTCHA
  GOTCHA is a library for wrapping function calls in shared libraries
  ☆78Updated 3 months ago
• tudasc / PIRA
  PIRA - Automatic Instrumentation Refinement
  ☆16Updated last year
• tudasc / MetaCG
  MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
  ☆47Updated this week
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• OpenMP-Validation-and-Verification / OpenMP_VV
  OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…
  ☆59Updated 2 weeks ago
• gleisonsdm / DawnCC-Compiler
  A source-to-source compiler for automatic parallelization of C programs through code annotation.
  ☆62Updated 5 years ago
• cdl-saarland / rv
  RV: A Unified Region Vectorizer for LLVM
  ☆111Updated last month
• LLNL / pLiner
  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
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 3 years ago
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆63Updated last year
• paradise-fi / divine
  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…
  ☆22Updated 4 years ago
• verificarlo / verificarlo
  A tool for debugging and assessing floating point precision and reproducibility.
  ☆84Updated last week
• bsc-pm / bots
  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
• chunhualiao / freeCompilerCamp
  Goal: a website to automatically train and certify compiler researchers and developers
  ☆10Updated 5 years ago
• LLNL / wrap
  MPI wrapper generator, for writing PMPI tool libraries
  ☆35Updated 3 months ago
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆78Updated this week
• edf-hpc / verrou
  floating-point errors checker
  ☆58Updated this week
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago