Alternatives and similar repositories for litmustestgen

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

• johnwickerson / memalloy
  Memory consistency modelling using Alloy
  ☆31Updated 4 years ago
• daniellustig / riscv-memory-model
  A formalization of the RVWMO (RISC-V) memory model
  ☆35Updated 3 years ago
• NVlabs / ptxmemorymodel
  ☆65Updated 6 years ago
• PrincetonUniversity / SCAF
  A Speculation-Aware Collaborative Dependence Analysis Framework
  ☆28Updated last year
• efeslab / lapidary
  Creating beautiful gem5 simulations
  ☆49Updated 4 years ago
• kumasento / polymer
  Bridging polyhedral analysis tools to the MLIR framework
  ☆117Updated 2 years ago
• mattsinc / heterosync
  HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs
  ☆30Updated last year
• SakalisC / Splash-3
  The Splash-3 benchmark suite
  ☆44Updated 2 years ago
• quepas / Compiler-benchmark-suites
  A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.
  ☆58Updated 2 years ago
• darchr / gem5art
  Artifact, reproducibility, and testing utilites for gem5
  ☆23Updated 4 years ago
• ymanerka / rtlcheck
  RTLCheck
  ☆23Updated 7 years ago
• kumasento / polsca
  Polyhedral High-Level Synthesis in MLIR
  ☆34Updated 2 years ago
• UT-LCA / Scalability-Phase-Simpoint-of-SPEC-CPU2017
  ☆33Updated 5 years ago
• harvard-edge / Gables
  ☆15Updated 5 years ago
• bigwater / gpunfa-artifact
  ☆19Updated 3 years ago
• SamAinsworth / reproduce-cgo2017-paper
  Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.
  ☆42Updated 4 years ago
• aakahlow / gem5Valid_Haswell
  ☆20Updated 5 years ago
• NVlabs / mixedproxy
  ☆11Updated 2 years ago
• efeslab / asplos22-hardware-debugging-artifact
  ☆13Updated last year
• Multi2Sim / multi2sim
  Multi2Sim source code
  ☆132Updated 6 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆89Updated 8 months ago
• PrincetonUniversity / ILAng
  A Modeling and Verification Platform for SoCs using ILAs
  ☆81Updated last year
• masc-ucsc / esesc
  ESESC: A Fast Multicore Simulator
  ☆140Updated 2 weeks ago
• hkust-adsl / gass
  ☆38Updated 3 years ago
• sderek / CUDAAdvisor
  CUDAAdvisor: a GPU profiling tool
  ☆51Updated 7 years ago
• darchr / parsec-benchmark
  ☆17Updated 4 years ago
• ychen306 / vegen
  ☆31Updated 2 years ago
• adwaitjog / mafia
  MAFIA: Multiple Application Framework for GPU architectures
  ☆28Updated 3 years ago
• PrincetonUniversity / IMDb-Archive
  ILA Model Database
  ☆24Updated 5 years ago
• UoB-HPC / TSVC_2
  Updated C version of the Test Suite for Vectorising Compilers
  ☆71Updated last year