IITH-Compilers / ml-llvm-project
☆13Updated last month
Related projects ⓘ
Alternatives and complementary repositories for ml-llvm-project
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆17Updated 6 months ago
- Utilities for constructing a large dataset of LLVM IR☆15Updated 3 months ago
- SMT-LIB benchmarks for shape computations from deep learning models in PyTorch☆18Updated last year
- compiling DSLs to high-level hardware instructions☆21Updated 2 years ago
- FPGA synthesis tool powered by program synthesis☆38Updated this week
- ☆14Updated 11 months ago
- A program synthesis framework for verified lifting applications☆39Updated 3 weeks ago
- ☆15Updated 2 years ago
- ☆13Updated last year
- Automatically generate a compiler using equality saturation☆26Updated 7 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆14Updated 5 years ago
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- Public-facing course info for program analysis materials.☆37Updated this week
- Monorepo for the OpenCilk compiler. Forked from llvm/llvm-project and based on Tapir/LLVM.☆93Updated this week
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 4 months ago
- Towards AI-Assisted Synthesis of Verified Dafny Methods☆33Updated 5 months ago
- HeteroCL-MLIR dialect for accelerator design☆40Updated 2 months ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆10Updated 3 weeks ago
- ☆19Updated 5 months ago
- Collaborative Parallelization Framework (CPF)☆32Updated last year
- Updated C version of the Test Suite for Vectorising Compilers☆51Updated 8 months ago
- ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.☆22Updated last year
- egraph on top of sqlite☆12Updated 2 years ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆27Updated 2 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆13Updated 4 years ago
- A translation validation framework for MLIR☆73Updated last week
- PolyBench/C from http://web.cse.ohio-state.edu/~pouchet/software/polybench/☆17Updated 8 years ago
- A repository to test dialects defined dynamically.☆12Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆57Updated 3 weeks ago