Alternatives and similar repositories for MiBench2

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

• mageec / beebs
  A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions
  ☆71Updated 2 years ago
• thu-pacman / Spindle
  ☆34Updated 2 years ago
• embecosm / mibench
  The MiBench testsuite, extended for use in general embedded environments
  ☆112Updated 13 years ago
• ctrippel / checkmate
  ☆36Updated 6 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆43Updated last month
• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆99Updated 8 months ago
• rems-project / rmem
  rmem public repo
  ☆49Updated 8 months ago
• harvard-acc / LLVM-Tracer
  An LLVM pass to profile dynamic LLVM IR instructions and runtime values
  ☆141Updated 5 years ago
• sfu-arch / llvm-epp
  Efficient Path Profiling using LLVM
  ☆18Updated 8 years ago
• Linaro / OpenCSD
  CoreSight trace stream decoder developed openly
  ☆176Updated 3 months ago
• michael-emmi / ct-fuzz
  ☆11Updated 5 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆108Updated this week
• tacle / tacle-bench
  TACLe Benchmarks
  ☆55Updated 3 months ago
• googleinterns / hw-fuzzing
  ☆87Updated 3 years ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆92Updated 10 months ago
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆23Updated 6 years ago
• CMU-SAFARI / BEER
  BEER determines an ECC code's parity-check matrix based on the uncorrectable errors it can cause. BEER targets Hamming codes that are use…
  ☆19Updated 5 years ago
• efeslab / dolma
  ☆14Updated 4 years ago
• Geof23 / Gklee
  GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
  ☆40Updated 4 years ago
• ispras / qdt
  QEMU Development Toolkit
  ☆43Updated last week
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated last month
• embedded-sec / uRAI
  Securing Embedded Systems with Return Address Integrity
  ☆15Updated last year
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆22Updated 2 years ago
• comparch-security / cpu-sec-bench
  Security Test Benchmark for Computer Architectures
  ☆21Updated 4 months ago
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆22Updated 8 years ago
• zslwyuan / LLVM-9.0-Learner-Tutorial
  A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…
  ☆105Updated 3 years ago
• szeged / csibe
  CSiBE
  ☆34Updated 3 years ago
• melver / mc2lib
  Memory consistency model checking and test generation library.
  ☆16Updated 9 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
• mit-plv / hemiola
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆14Updated 3 years ago