open-s4c / benchkitLinks
A push-button end-to-end performance evaluation pipeline for automatically exploring the parameter space
☆17Updated this week
Alternatives and similar repositories for benchkit
Users that are interested in benchkit are comparing it to the libraries listed below
Sorting:
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆289Updated this week
- A verification tool for many memory models☆111Updated this week
- A verified library of synchronization primitives and concurrent data structures☆42Updated this week
- Generic model checker for concurrent C programs (mirror repository)☆190Updated 2 months ago
- uops.info Code Analyzer☆326Updated 2 years ago
- rmem public repo☆49Updated 8 months ago
- Verification and optimization tool for concurrent code☆27Updated 6 months ago
- Assembly super-optimization via constraint solving☆237Updated this week
- Lists of must-read papers (mainly security papers)☆32Updated last year
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆106Updated last year
- Nautilus Aerokernel☆48Updated 3 years ago
- Collection of executable benchmarks☆44Updated 2 years ago
- A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.☆506Updated last week
- Online demo without installing at - https://buildit.so/tryit☆188Updated last month
- RedLeaf Operating System☆138Updated 3 years ago
- A benchmark for testing the performance of core Linux functionalities, developed by Xiang Ren, Kirk Rodrigues, Luyuan Chen and Camilo Veg…☆65Updated last year
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆125Updated last month
- Machine-readable data describing Arm architecture and implementations. Includes JSON descriptions of implemented PMU events.☆59Updated last year
- ☆126Updated last week
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆38Updated 12 years ago
- The future home for CnC Tests and Framework Libaries☆57Updated 2 weeks ago
- ROB size testing utility☆159Updated 4 years ago
- NOELLE Offers Empowering LLVM Extensions☆83Updated 6 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago
- Tools and Reference Code for Intel Optimizations (eg Large Pages)☆146Updated 5 months ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆17Updated 8 months ago
- A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more☆143Updated 7 months ago
- ☆13Updated last year
- A new (MLIR based) high-level IR for clang.☆588Updated this week
- Always-Correct and Fast Incremental Builds from Simple Specifications☆92Updated last year