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
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated last year
- Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.☆38Updated 3 years ago
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- Automata Benchmark Suite☆19Updated last year
- Nitro Autotuning Framework☆9Updated 8 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 10 years ago
- GPUVerify: a Verifier for GPU Kernels☆59Updated 2 years ago
- Deep learning program generator☆105Updated last year
- OpenCL extension for csmith.☆24Updated 7 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
- Rigorous Floating-Point Mixed-Precision Tuner☆14Updated 4 years ago
- A framework that helps implementing swizzle GPU kernels☆42Updated 4 years ago
- Efficient Path Profiling using LLVM☆19Updated 7 years ago
- Library to plot integer sets and maps☆49Updated 8 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated last year
- This is a C++ implementation of Graspan.☆32Updated last year
- ☆86Updated 2 years ago
- An experimental ahead of time compiler for Relay.☆50Updated 4 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆45Updated 5 years ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆25Updated 5 years ago
- A tuning assistant tool to find a lower floating-point precision that can be used in any part of a program. Precimonious performs a searc…☆34Updated 8 years ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated 2 years ago
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆21Updated last year
- High-performance automata-processing engines are traditionally evaluated using a limited set of regular expression rulesets. While regula…☆31Updated last year
- an approximate compiler☆38Updated 4 years ago
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆28Updated 5 months ago
- VASim is a virtual homogeneous non-deterministic finite automata automata simulator and transformation tool. VASim can parse, transform, …☆35Updated 9 months ago
- A translation validation framework for MLIR☆80Updated 3 months ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago