open-s4c / benchkit
A push-button end-to-end performance evaluation pipeline for automatically exploring the parameter space
☆11Updated this week
Related projects: ⓘ
- A verified library of synchronization primitives and concurrent data structures☆17Updated 2 weeks ago
- Generic model checker for concurrent C programs (mirror repository)☆104Updated last week
- A verification tool for many memory models☆74Updated this week
- Verification and optimization tool for concurrent code☆15Updated 2 weeks ago
- rmem public repo☆40Updated last month
- A enumerator for MLIR, relying on the information given by IRDL.☆16Updated this week
- A translation validation framework for MLIR☆71Updated last year
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 2 months ago
- Collaborative Parallelization Framework (CPF)☆31Updated last year
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆51Updated 10 months ago
- Rewrite Rule Inference Using Equality Saturation☆113Updated 3 months ago
- uops.info Code Analyzer☆229Updated 8 months ago
- Super-parallel Python port of the C-Reduce☆220Updated 2 weeks ago
- A case for representing data collections and objects in the LLVM IR☆12Updated last month
- Semantics of x86-64 in K☆137Updated 4 years ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆220Updated this week
- Latency Debug compatible LLVM compiler based on LLVM 14☆12Updated 5 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆158Updated 2 years ago
- Verifying the Rust standard library☆17Updated last week
- A formalization of the RVWMO (RISC-V) memory model☆30Updated 2 years ago
- ☆50Updated last year
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆25Updated 11 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆86Updated last month
- Compiler optimizer for arbitrary control flow based on equality saturation☆83Updated 2 years ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆77Updated 2 months ago
- A framework for large scale analysis of the Rust ecosystem.☆35Updated this week
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆69Updated 3 months ago
- ☆41Updated 3 years ago
- ☆41Updated last month
- ☆26Updated last year