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
  ☆63Updated 4 years ago
• 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
• LLNL / FPChecker
  A dynamic analysis tool to detect floating-point errors in HPC applications.
  ☆33Updated 2 years ago
• PRUNERS / FLiT
  A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.
  ☆37Updated 4 months ago
• benchmark-subsetting / cere
  CERE: Codelet Extractor and REplayer
  ☆40Updated last year
• ChrisLidbury / CLSmith
  OpenCL extension for csmith.
  ☆24Updated 7 years ago
• mc-imperial / sctbench
  SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
  ☆28Updated 3 years ago
• lanl / Byfl
  Program analysis tool based on software performance counters
  ☆56Updated 3 years ago
• tudasc / MetaCG
  MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.
  ☆39Updated this week
• OpenMP-Validation-and-Verification / OpenMP_VV
  OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…
  ☆58Updated last 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…
  ☆34Updated 8 years ago
• RRZE-HPC / kerncraft
  Loop Kernel Analysis and Performance Modeling Toolkit
  ☆92Updated this week
• discopop-project / discopop
  DiscoPoP - Discovery of Potential Parallelism
  ☆41Updated 3 weeks ago
• nsumner / llvm-dataflow-analysis
  ☆63Updated 5 years ago
• mc-imperial / gpuverify
  GPUVerify: a Verifier for GPU Kernels
  ☆59Updated 2 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆85Updated this week
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆77Updated last month
• chunhualiao / freeCompilerCamp
  Goal: a website to automatically train and certify compiler researchers and developers
  ☆10Updated 5 years ago
• thu-pacman / Spindle
  ☆31Updated last year
• LLNL / wrap
  MPI wrapper generator, for writing PMPI tool libraries
  ☆34Updated this week
• DeadCodeProductions / dead
  ☆51Updated last year
• LLNL / GOTCHA
  GOTCHA is a library for wrapping function calls in shared libraries
  ☆74Updated 3 weeks ago
• 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…
  ☆21Updated 4 years ago
• ftsrg / gazer
  An LLVM-based formal verification frontend for C programs.
  ☆24Updated 3 years ago
• yixin-09 / AutoRNP
  AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries
  ☆11Updated 6 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆164Updated 9 months ago
• utpalbora / LLOV
  LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs
  ☆20Updated 2 years ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 2 years ago
• shao-hua-li / CompDiff
  ☆36Updated last year
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 5 years ago