Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.
☆42Oct 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Championship Value Prediction (CVP) simulator.☆17Feb 17, 2021Updated 5 years ago
- ☆16May 20, 2019Updated 7 years ago
- Go library for interfacing with the gdb debugger using the MI interface☆27Jul 9, 2018Updated 7 years ago
- CK workflow, portable packages and other artifacts for the ReQuEST-ASPLOS'18 submission:☆15Oct 8, 2019Updated 6 years ago
- Play-with-compiler sandbox based on PWD☆10Oct 22, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- 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
- Public Release of Stream-Dataflow☆14May 17, 2019Updated 7 years ago
- ☆42Feb 7, 2022Updated 4 years ago
- Miscellaneous resources for Quantum Collective Knowledge☆32Jun 6, 2024Updated 2 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- Artifact, reproducibility, and testing utilites for gem5☆23Jul 1, 2021Updated 4 years ago
- RPG^2 is a pure-software system that operates on running C/C++ programs, profiling them, injecting prefetch instructions, and then tuning…☆13May 15, 2024Updated 2 years ago
- ☆26Jul 19, 2022Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Mallacc: Accelerating Memory Allocation☆13Jan 2, 2018Updated 8 years ago
- Simple and efficient memory pool is implemented with C++11.☆10Jun 2, 2022Updated 4 years ago
- Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.☆62Apr 27, 2020Updated 6 years ago
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 8 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆18Mar 29, 2021Updated 5 years ago
- Using Belady's algorithm for improved cache replacement☆49Apr 25, 2019Updated 7 years ago
- ☆11Apr 16, 2023Updated 3 years ago
- CK automation actions to let users implement portable, customizable and reusable program workflows for reproducible, collaborative and mu…☆56Feb 5, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- bil verification tool☆12Jun 30, 2022Updated 3 years ago
- Cross-platform Python client for the CodeReef.ai portal to manage portable workflows, reusable automation actions, software detection plu…☆11Mar 27, 2020Updated 6 years ago
- Swan Benchmark Suite☆13Sep 17, 2025Updated 8 months ago
- Artifact for PPoPP 2018 paper "Making Pull-Based Graph Processing Performant"☆23Apr 23, 2020Updated 6 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Feb 19, 2019Updated 7 years ago
- Collective Knowledge repository for NVIDIA's TensorRT☆37Jul 10, 2021Updated 4 years ago
- A speculative mechanism to accelerate long-latency off-chip load requests by removing on-chip cache access latency from their critical pa…☆77May 27, 2026Updated last week
- QEMU VM with generic KVM extensions for symbolic execution☆26May 9, 2026Updated last month
- ☆13Mar 3, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- AST - Extractor for LLVM☆18Feb 23, 2021Updated 5 years ago
- A simple VM to play with OSR in LLVM☆15Jun 11, 2017Updated 8 years ago
- A portable and efficient infrastracture for value profilers. Doc: https://vclinic.readthedocs.io/en/latest/index.html☆14Mar 4, 2026Updated 3 months ago
- An artifact for Berti: an Accurate and Timely Local-Delta Data Prefetcher☆36Nov 9, 2022Updated 3 years ago
- Try and measure tokio task overhead☆11Dec 20, 2021Updated 4 years ago
- DMon Prototype for OSDI 2021 Artifact Evaluation☆24May 4, 2021Updated 5 years ago
- The Sniper Multi-Core Simulator☆181May 23, 2026Updated 2 weeks ago