📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
☆23Feb 10, 2023Updated 3 years ago
Alternatives and similar repositories for paper-synthesizing-benchmarks
Users that are interested in paper-synthesizing-benchmarks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Extracts static code features from opencl kernels to be used for machine learning.☆10Apr 30, 2021Updated 5 years ago
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆73Feb 10, 2023Updated 3 years ago
- IBM Platform-Independent Software Analysis☆15Mar 12, 2018Updated 8 years ago
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Jul 5, 2017Updated 9 years ago
- A simulation platform for managed applications based on Maxine VM and ZSim☆11Jun 19, 2017Updated 9 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.
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- llvm Data Flow Graph dump☆36May 24, 2021Updated 5 years ago
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- Automatically exported from code.google.com/p/a-roofline-model-of-energy-ubenchmarks☆12Jul 14, 2020Updated 6 years ago
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆216Nov 22, 2024Updated last year
- ☆20Feb 20, 2017Updated 9 years ago
- A transfer learning-based random forest regression model☆15Aug 25, 2018Updated 8 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆63Feb 12, 2024Updated 2 years ago
- Instanciate the Cache Aware Roofline Model on single socket and multisocket systems.☆27Feb 22, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Tools for experimenting with Running Average Power Limit (RAPL)☆18Jan 7, 2018Updated 8 years ago
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 9 years ago
- A simple VM to play with OSR in LLVM☆20Jun 11, 2017Updated 9 years ago
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 3 years ago
- ☆14Jul 3, 2019Updated 7 years ago
- OpenCL extension for csmith.☆27Nov 27, 2025Updated 11 months ago
- Barcelona OpenMP Task Suite is a collection of applications that allow to test OpenMP tasking implementations and compare its behaviour u…☆47Sep 20, 2019Updated 7 years ago
- A (GCC) compiler plugin for multiversing functions☆21May 23, 2022Updated 4 years ago
- ☆42Feb 7, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- NVIDIA DPU OPs collection☆15Mar 6, 2023Updated 3 years ago
- SkePU open source distribution☆27Aug 9, 2021Updated 5 years ago
- CUDAAdvisor: a GPU profiling tool☆53Aug 24, 2018Updated 8 years ago
- Duo is an automated tool to formally verify distributed protocols (e.g., Paxos) by inferring inductive invariants.☆12May 1, 2025Updated last year
- x86 Dynamic Binary Translator Library☆33Dec 19, 2020Updated 5 years ago
- Curated high-performance TIRx GPU kernels☆35Updated this week
- ☆13Jan 23, 2021Updated 5 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆25Dec 6, 2021Updated 4 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Nov 24, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 👨💻 My PhD.☆191Oct 5, 2022Updated 4 years ago
- New batched algorithm for sparse matrix-matrix multiplication (SpMM)☆16May 7, 2019Updated 7 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆72Apr 11, 2016Updated 10 years ago
- System Dependence Graph generation from Java source code☆20Jun 11, 2019Updated 7 years ago
- Program analysis tool based on software performance counters☆56May 13, 2021Updated 5 years ago
- A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.☆60Sep 29, 2023Updated 3 years ago
- The Parrot stable and deterministic multi-threading system.☆25Nov 9, 2013Updated 12 years ago