ChrisCummins / paper-synthesizing-benchmarksLinks
π "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
Sorting:
- π "End-to-end Deep Learning of Optimization Heuristics" (π₯ PACT'17 Best Paper)β72Updated 2 years ago
- Deep learning program generatorβ108Updated last year
- Tapir extension to LLVM for optimizing Parallel Programsβ135Updated 5 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVMβ32Updated 6 years ago
- Rigorous Floating-Point Mixed-Precision Tunerβ16Updated 5 years ago
- Instruction THroughput Estimator using MAchine Learning (ITHEMAL)β150Updated 3 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programsβ16Updated 10 years ago
- β88Updated 3 years ago
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loopsβ¦β96Updated 2 years ago
- A framework that helps implementing swizzle GPU kernelsβ42Updated 5 years ago
- GPUVerify: a Verifier for GPU Kernelsβ64Updated 3 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programsβ24Updated 2 years ago
- Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.β41Updated 3 years ago
- A debugger to detect and diagnose numerical errors in floating point programsβ12Updated 3 years ago
- The StreamIt compiler infrastructure.β71Updated 8 years ago
- COBAYN: Compiler Autotuning Framework Using Bayesian Networksβ20Updated 3 years ago
- Artifact of paper "Exploiting Recent SIMD Architectural Advances for Irregular Applications"β11Updated 9 years ago
- OpenCL extension for csmith.β24Updated 8 years ago
- Library to plot integer sets and mapsβ53Updated 8 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omegaβ¦β72Updated 4 years ago
- AST - Extractor for LLVMβ18Updated 4 years ago
- Efficient Path Profiling using LLVMβ18Updated 7 years ago
- β40Updated 3 years ago
- A translation validation framework for MLIRβ87Updated 6 months ago
- π¨βπ» My PhD.β187Updated 2 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristicsβ60Updated last year
- An advanced automated reasoning tool for memory consistency model specifications.β25Updated 3 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semantiβ¦β15Updated last year
- Intel Heterogeneous Research Compiler (iHRC)β25Updated 2 years ago
- A detailed michroarchitectural x86 simulatorβ62Updated 8 years ago