impedimentToProgress / MiBench2Links
MiBench ported for IoT devices
☆19Updated 7 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☆71Updated 2 years ago
- The MiBench testsuite, extended for use in general embedded environments☆112Updated 13 years ago
- rmem public repo☆49Updated 8 months ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆22Updated 2 years ago
- ☆46Updated 3 years ago
- Public-facing course info for program analysis materials.☆43Updated 2 months ago
- ☆11Updated 5 years ago
- A verification tool for many memory models☆110Updated this week
- ☆88Updated 3 years ago
- TACLe Benchmarks☆55Updated 3 months ago
- ☆36Updated 6 years 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 5 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆32Updated 4 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14Updated 3 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆40Updated 4 years ago
- C Code Source Metrics - tool to gather simple metrics from C code☆41Updated last year
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆35Updated this week
- ☆11Updated 5 years ago
- CSiBE☆34Updated 3 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Updated 5 years ago
- A translation validation framework for MLIR☆92Updated 10 months ago
- GPUVerify: a Verifier for GPU Kernels☆74Updated 3 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆99Updated 8 months ago
- ☆66Updated 6 years ago
- Efficient Path Profiling using LLVM☆18Updated 8 years ago
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops…☆98Updated 3 years ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆31Updated 6 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆20Updated 5 months ago
- 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
- SPLASH2 Benchmark☆28Updated 11 years ago