jordiae / neural-compilers
☆18Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for neural-compilers
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated last year
- Utilities for constructing a large dataset of LLVM IR☆13Updated 2 months ago
- Towards AI-Assisted Synthesis of Verified Dafny Methods☆32Updated 5 months ago
- Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings☆81Updated last month
- Source code for the paper "Profile Guided Optimization without Profiles: A Machine Learning Approach"☆23Updated 2 years ago
- ☆37Updated 3 months ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆22Updated last year
- A program synthesis framework for verified lifting applications☆39Updated last week
- A translation validation framework for MLIR☆73Updated 2 weeks ago
- A Simple Abstract Interpreter, built for teaching purposes☆17Updated 4 years ago
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- ☆34Updated 6 months ago
- ☆14Updated 11 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 5 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- A repository to test dialects defined dynamically.☆12Updated last year
- Public-facing course info for program analysis materials.☆37Updated this week
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆66Updated last week
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Search-based compiler for high-performance DSP programming☆61Updated 2 weeks ago
- A SyGuS Solver☆22Updated 2 months ago
- ☆20Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆26Updated 5 months ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆17Updated 5 months ago
- FPGA synthesis tool powered by program synthesis☆38Updated last month
- ☆15Updated 2 years ago
- ☆20Updated 5 years ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops…☆91Updated last year
- An awesome list of e-graph resources☆100Updated 3 weeks ago