ChrisCummins / paper-synthesizing-benchmarks
📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
☆22Updated 2 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
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆73Updated 2 years ago
- A framework that helps implementing swizzle GPU kernels☆42Updated 5 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 2 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Updated 5 years ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 3 years ago
- an approximate compiler☆38Updated 4 years ago
- Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.☆38Updated 3 years ago
- Automata Benchmark Suite☆20Updated last year
- Deep learning program generator☆106Updated last year
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆39Updated 2 years ago
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops…☆92Updated 2 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated last year
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- COBAYN: Compiler Autotuning Framework Using Bayesian Networks☆20Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- ☆29Updated 3 years ago
- A Comprehensive Benchmark Suite for Graph Computing☆67Updated 6 years ago
- Library to plot integer sets and maps☆49Updated 8 years ago
- High-performance automata-processing engines are traditionally evaluated using a limited set of regular expression rulesets. While regula…☆32Updated last year
- A system for programming formally-verified loop transformations.☆16Updated 6 years ago
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆16Updated last year
- A Distributed Multi-GPU System for Fast Graph Processing☆65Updated 6 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆14Updated 4 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated last year
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆110Updated 2 years ago
- ☆19Updated 2 years ago
- LonestarGPU: Irregular algorithms parallelized for GPUs☆34Updated 5 years ago
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆28Updated 6 months ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Updated 5 years ago
- ☆17Updated 3 years ago