ChrisCummins / clgen
Deep learning program generator
☆106Updated last year
Alternatives and similar repositories for clgen:
Users that are interested in clgen are comparing it to the libraries listed below
- 📝 "End-to-end Deep Learning of Optimization Heuristics" (🥇 PACT'17 Best Paper)☆73Updated 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☆211Updated 5 months ago
- A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations☆316Updated 11 months ago
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops…☆94Updated 2 years ago
- Tapir extension to LLVM for optimizing Parallel Programs☆134Updated 5 years ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆92Updated last month
- OpenCL extension for csmith.☆24Updated 8 years ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆23Updated last year
- Reference workloads for modern deep learning methods.☆73Updated 2 years ago
- Efficient Path Profiling using LLVM☆19Updated 7 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☆22Updated 2 years ago
- MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)☆39Updated 6 years ago
- Semantic program repair system for C programs☆99Updated 2 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆139Updated 4 years ago
- Instruction THroughput Estimator using MAchine Learning (ITHEMAL)☆146Updated 3 years ago
- 👨💻 My PhD.☆187Updated 2 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 4 years ago
- ☆88Updated 2 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆239Updated 6 months ago
- Deepcoder paper implementation☆118Updated last year
- Hierarchical Delta Debugging Framework☆59Updated 4 months ago
- 58069 Java source code diffs. http://arxiv.org/pdf/1807.03200☆93Updated 5 years ago
- NOELLE Offers Empowering LLVM Extensions☆77Updated last week
- ☆31Updated 3 years ago
- The Insieme Compiler and Runtime Infrastructure☆33Updated 5 years ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆11Updated 6 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆13Updated 4 years ago