ChrisCummins / clgenLinks
Deep learning program generator
☆107Updated last year
Alternatives and similar repositories for clgen
Users that are interested in clgen 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
- 📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)☆22Updated 2 years ago
- Neural Code Comprehension: A Learnable Representation of Code Semantics☆213Updated 7 months ago
- A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations☆318Updated last year
- 👨💻 My PhD.☆186Updated 2 years ago
- OpenCL extension for csmith.☆24Updated 8 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated last year
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops…☆94Updated 2 years ago
- Reference workloads for modern deep learning methods.☆73Updated 2 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 10 years ago
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆21Updated 2 years ago
- Instruction THroughput Estimator using MAchine Learning (ITHEMAL)☆147Updated 3 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆139Updated 4 years ago
- ☆63Updated 5 years ago
- LLOV: LLVM OpenMP Verifier - : A Fast Static Data-Race Checker for OpenMP Programs☆20Updated 2 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆38Updated 4 years ago
- Efficient Path Profiling using LLVM☆19Updated 7 years ago
- an approximate compiler☆38Updated 5 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆97Updated last month
- Website for Learning from "Big Code"☆29Updated 4 years ago
- Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)☆108Updated 5 years ago
- Deepcoder paper implementation☆118Updated 2 years ago
- An implementation of a SAT solver using the CUDA library☆15Updated 7 years ago
- Semantic program repair system for C programs☆100Updated 2 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- ☆20Updated 8 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆59Updated last year
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- GPUVerify: a Verifier for GPU Kernels☆62Updated 2 years ago
- 🏃♂️ Run arbitrary OpenCL kernels☆10Updated last year