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
- GPUVerify: a Verifier for GPU Kernelsβ63Updated 3 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
- Deep learning program generatorβ107Updated last year
- Rigorous Floating-Point Mixed-Precision Tunerβ16Updated 5 years ago
- Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.β41Updated 3 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programsβ16Updated 10 years ago
- β88Updated 3 years ago
- This is a C++ implementation of Graspan.β32Updated last year
- an approximate compilerβ39Updated 5 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristicsβ60Updated last year
- Semantic program repair system for C programsβ100Updated 2 years ago
- Instruction THroughput Estimator using MAchine Learning (ITHEMAL)β149Updated 3 years ago
- Efficient Path Profiling using LLVMβ19Updated 7 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.β23Updated 2 years ago
- A false sharing detection and repair toolβ14Updated 6 years ago
- OpenCL extension for csmith.β24Updated 8 years ago
- Tapir extension to LLVM for optimizing Parallel Programsβ135Updated 5 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
- β16Updated 6 years ago
- The StreamIt compiler infrastructure.β71Updated 8 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programsβ24Updated 2 years ago
- A debugger to detect and diagnose numerical errors in floating point programsβ12Updated 3 years ago
- Liveness-driven random C code generatorβ42Updated last month
- A translation validation framework for MLIRβ88Updated 5 months ago
- COBAYN: Compiler Autotuning Framework Using Bayesian Networksβ20Updated 3 years ago
- A framework that helps implementing swizzle GPU kernelsβ42Updated 5 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"β44Updated 5 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
- A detailed michroarchitectural x86 simulatorβ62Updated 8 years ago