SamAinsworth / reproduce-cgo2017-paperView external linksLinks
Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.
☆43Oct 6, 2021Updated 4 years ago
Alternatives and similar repositories for reproduce-cgo2017-paper
Users that are interested in reproduce-cgo2017-paper are comparing it to the libraries listed below
Sorting:
- ☆16May 20, 2019Updated 6 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- Championship Value Prediction (CVP) simulator.☆17Feb 17, 2021Updated 5 years ago
- Play-with-compiler sandbox based on PWD☆10Oct 22, 2020Updated 5 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- Mallacc: Accelerating Memory Allocation☆13Jan 2, 2018Updated 8 years ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 8 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 6 years ago
- Base repo of a workable zsim on newer version of Ubuntu, with PIN-2.14 binary (the original zSim no longer works)☆14Nov 20, 2022Updated 3 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 8 years ago
- A simple VM to play with OSR in LLVM☆15Jun 11, 2017Updated 8 years ago
- Distributed Lisp interpreter in Erlang.☆11Dec 14, 2016Updated 9 years ago
- Artifact, reproducibility, and testing utilites for gem5☆23Jul 1, 2021Updated 4 years ago
- code for examining determinism of performance counters☆21Mar 18, 2021Updated 4 years ago
- Go library for interfacing with the gdb debugger using the MI interface☆27Jul 9, 2018Updated 7 years ago
- ☆12Jul 3, 2019Updated 6 years ago
- CK workflow, portable packages and other artifacts for the ReQuEST-ASPLOS'18 submission:☆13Jan 16, 2019Updated 7 years ago
- Shonan #143: Programming Language Support for Data-intensive Applications☆15Jul 1, 2019Updated 6 years ago
- CK workflow, portable packages and other artifacts for the ReQuEST-ASPLOS'18 submission:☆15Oct 8, 2019Updated 6 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Jul 5, 2017Updated 8 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- ☆13Mar 3, 2022Updated 3 years ago
- QEMU VM with generic KVM extensions for symbolic execution☆26Sep 24, 2025Updated 4 months ago
- Lightweight performance and debugging tools☆17Feb 21, 2020Updated 5 years ago
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- Liveness-driven random C code generator☆42Jul 30, 2025Updated 6 months ago
- ☆42Feb 7, 2022Updated 4 years ago
- Distributed Graph Mining on a Massive "Single" Graph☆16Mar 28, 2020Updated 5 years ago
- I-cache line packing and branch misprediction measuring tool☆18Dec 1, 2016Updated 9 years ago
- Code which loads custom ISA on Intel Haswell GPUs☆47Sep 12, 2016Updated 9 years ago
- 📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)☆22Feb 10, 2023Updated 3 years ago
- A C++ expression -> x86 JIT☆18Mar 20, 2017Updated 8 years ago
- Apollo: Online Machine Learning for Performance Portability☆26Aug 27, 2024Updated last year
- ☆26Jul 19, 2022Updated 3 years ago
- ☆22Nov 3, 2025Updated 3 months ago
- Function Merging & Branch Fusion☆19Apr 5, 2019Updated 6 years ago
- GNU Superoptimizer Version 2☆26May 19, 2021Updated 4 years ago
- Library for creating code/data breakpoints at runtime on Win32/Win64☆21Aug 9, 2014Updated 11 years ago
- Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.☆23Feb 16, 2022Updated 4 years ago