minotaur-toolkit / minotaur
A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
☆104Updated 8 months ago
Alternatives and similar repositories for minotaur:
Users that are interested in minotaur are comparing it to the libraries listed below
- Testing memory-level parallelism☆68Updated last year
- InstLatX64_Demo☆43Updated last week
- ☆56Updated 7 months ago
- Assembly super-optimization via constraint solving☆188Updated last week
- Dynamic runtime inlining with LLVM☆66Updated 3 years ago
- The new home for CnC Tests and Framework Libaries☆57Updated 4 months ago
- User-space Page Management☆107Updated 8 months ago
- Fast Hash Functions Using AES Intrinsics☆82Updated 5 years ago
- Fast WebAssembly Baseline Compiler☆55Updated last year
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆53Updated last year
- Programatically obtain information about the pages backing a given memory region☆75Updated 3 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- uops.info Code Analyzer☆266Updated last year
- ☆29Updated last week
- A small library and kernel module for easy access to x86 performance monitor counters under Linux.☆96Updated 11 months ago
- Record "perf" performance metrics for individual functions/regions of an ELF binary.☆80Updated last year
- Quick sort code using AVX2 instructions☆68Updated 7 years ago
- Benchmarking suite for Google workloads☆122Updated this week
- A program synthesis framework for verified lifting applications☆52Updated this week
- In-place Parallel Super Scalar Samplesort (IPS⁴o)☆118Updated 3 months ago
- RV: A Unified Region Vectorizer for LLVM☆107Updated 2 months ago
- Lightweight framework for easy and efficient code generation☆100Updated 8 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- Intel® Instrumentation and Tracing Technology (ITT) and Just-In-Time (JIT) API☆103Updated last month
- A Wait-Free Universal Construct for Large Objects☆96Updated 5 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Instruction latency & throughput profiler for AArch64☆34Updated last year
- A collection of (public) notes on assorted topics☆76Updated last month
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 10 months ago