impedimentToProgress / MiBench2Links
MiBench ported for IoT devices
☆19Updated 3 months ago
Alternatives and similar repositories for MiBench2
Users that are interested in MiBench2 are comparing it to the libraries listed below
Sorting:
- A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions☆68Updated 2 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated 2 years ago
- Public-facing course info for program analysis materials.☆42Updated this week
- ☆87Updated 2 years ago
- Efficient Path Profiling using LLVM☆18Updated 7 years ago
- TACLe Benchmarks☆50Updated 10 months ago
- ☆10Updated 4 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆101Updated 4 months ago
- Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"☆26Updated 3 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆29Updated 3 years ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆12Updated 2 weeks ago
- The MiBench testsuite, extended for use in general embedded environments☆103Updated 12 years ago
- Teaching and Learning Software Verification via SVF☆34Updated last month
- ☆47Updated 3 years ago
- A verification tool for many memory models☆101Updated this week
- ☆35Updated 2 years ago
- rmem public repo☆47Updated 4 months ago
- 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 4 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆15Updated last year
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆21Updated 6 years ago
- GPU-enabled Hardware Fuzzer using Genetic Algorithm☆18Updated 2 years ago
- ☆21Updated 5 months ago
- A translation validation framework for MLIR☆87Updated 6 months ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆39Updated 4 years ago
- Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.☆54Updated 8 months ago
- Memory consistency model checking and test generation library.☆15Updated 8 years ago
- UB-aware interpreter for LLVM debugging☆31Updated last week
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 9 years ago
- CoreSight trace stream decoder developed openly☆169Updated 2 months ago
- Generating the call graph from elf binary file☆38Updated 2 years ago