Alternatives and similar repositories for Hydra:

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

• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated 7 months ago
• PrincetonUniversity / cpf
  Collaborative Parallelization Framework (CPF)
  ☆32Updated last year
• arcana-lab / noelle
  NOELLE Offers Empowering LLVM Extensions
  ☆77Updated 2 weeks ago
• SamAinsworth / reproduce-cgo2017-paper
  Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.
  ☆38Updated 3 years ago
• boegel / MICA
  a Pin tool for collecting microarchitecture-independent workload characteristics
  ☆60Updated last year
• IITH-Compilers / LLVM-Loop-Profiler
  ☆15Updated 5 years ago
• bprail / contech
  The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmer…
  ☆52Updated 4 years ago
• ChrisCummins / paper-synthesizing-benchmarks
  📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
  ☆22Updated 2 years ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 2 years ago
• neboat / cilkbench
  Cilk application benchmark programs
  ☆10Updated 2 years ago
• NVlabs / litmustestgen
  Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
  ☆16Updated last year
• spcl / haystack
  Haystack is an analytical cache model that given a program computes the number of cache misses.
  ☆45Updated 5 years ago
• upenn-acg / gpudrano-static-analysis_v1.0
  GPU Drano Static Analysis for GPU programs.
  ☆24Updated 6 years ago
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆42Updated last year
• SwarmArch / T4
  Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"
  ☆28Updated 2 years ago
• mangpo / greenthumb
  ☆86Updated 2 years ago
• uwsampa / accept
  an approximate compiler
  ☆38Updated 4 years ago
• NVlabs / ptxmemorymodel
  ☆52Updated 5 years ago
• stanford-centaur / smt-switch
  A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
  ☆120Updated this week
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆83Updated this week
• trevorcarlson / barrierpoint
  A BarrierPoint implementation: Automatically select representative regions of parallel applications
  ☆14Updated 8 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆80Updated 3 months ago
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated last year
• lipeng28 / Gklee
  GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
  ☆16Updated 10 years ago
• sderek / CUDAAdvisor
  CUDAAdvisor: a GPU profiling tool
  ☆48Updated 6 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆29Updated 5 years ago
• bigwater / gpunfa-artifact
  ☆19Updated 2 years ago
• mattsinc / heterosync
  HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs
  ☆28Updated 4 months ago
• Ekdohibs / PolyGen
  PolyGen is a code generator for the polyhedral model, written and proved in Coq.
  ☆10Updated 4 years ago
• RafaelTupynamba / SMTSampler
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
  ☆24Updated 5 years ago