minotaur-toolkit / minotaurLinks
A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
☆108Updated 10 months ago
Alternatives and similar repositories for minotaur
Users that are interested in minotaur are comparing it to the libraries listed below
Sorting:
- Testing memory-level parallelism☆68Updated last year
- InstLatX64_Demo☆43Updated last month
- The new home for CnC Tests and Framework Libaries☆57Updated 6 months ago
- ☆56Updated 9 months ago
- A collection of (public) notes on assorted topics☆77Updated 3 weeks ago
- uops.info Code Analyzer☆273Updated last year
- Benchmarking suite for Google workloads☆123Updated this week
- Intel® Instrumentation and Tracing Technology (ITT) and Just-In-Time (JIT) APIs☆115Updated this week
- ☆29Updated this week
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- RV: A Unified Region Vectorizer for LLVM☆110Updated 3 weeks ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- UB-aware interpreter for LLVM debugging☆29Updated this week
- Assembly super-optimization via constraint solving☆202Updated this week
- Poireau: a sampling allocation debugger☆97Updated 3 years ago
- Instruction latency & throughput profiler for AArch64☆34Updated last year
- An awesome list of e-graph resources☆181Updated last month
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆30Updated 11 years ago
- simple snapshot-style integration testing for commands☆71Updated 3 weeks ago
- An advanced benchmarking tool☆177Updated 2 years ago
- ☆31Updated last year
- ROB size testing utility☆153Updated 3 years ago
- Compiler optimizer for arbitrary control flow based on equality saturation☆102Updated 3 years ago
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆52Updated this week
- Quick sort code using AVX2 instructions☆69Updated 8 years ago
- A Wait-Free Universal Construct for Large Objects☆97Updated 5 years ago
- Fast WebAssembly Baseline Compiler☆56Updated 2 years ago
- A collection of performance analysis tools, recipes, handy scripts, microbenchmarks & more☆139Updated 2 months ago
- Generic model checker for concurrent C programs (mirror repository)☆151Updated 2 months ago
- Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"☆25Updated 3 years ago