ezyang / SMT-LIB-benchmarks-pytorch-shapes
SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
☆18Updated 2 years ago
Alternatives and similar repositories for SMT-LIB-benchmarks-pytorch-shapes:
Users that are interested in SMT-LIB-benchmarks-pytorch-shapes are comparing it to the libraries listed below
- A translation validation framework for MLIR☆80Updated 3 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Utilities for constructing a large dataset of LLVM IR☆17Updated 6 months ago
- FPGA synthesis tool powered by program synthesis☆41Updated 2 months ago
- A source-to-source compiler for optimizing CUDA dynamic parallelism by aggregating launches☆15Updated 5 years ago
- compiling DSLs to high-level hardware instructions☆22Updated 2 years ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆13Updated 2 months ago
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆71Updated 8 months ago
- A enumerator for MLIR, relying on the information given by IRDL.☆18Updated 5 months ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆19Updated 8 months ago
- Code released to accompany the ISCA paper: "T4: Compiling Sequential Code for Effective Speculative Parallelization in Hardware"☆28Updated 2 years ago
- ☆28Updated 2 years ago
- ☆16Updated 3 years ago
- A framework that helps implementing swizzle GPU kernels☆42Updated 4 years ago
- PolyGen is a code generator for the polyhedral model, written and proved in Coq.☆10Updated 4 years ago
- A Top-Down Profiler for GPU Applications☆16Updated 11 months ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆24Updated 5 years ago
- ☆16Updated last year
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- TiledKernel is a code generation library based on macro kernels and memory hierarchy graph data structure.☆19Updated 9 months ago
- Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations☆17Updated this week
- An experimental ahead of time compiler for Relay.☆50Updated 4 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆69Updated last year
- Data-Centric MLIR dialect☆40Updated last year
- ☆40Updated this week
- ☆52Updated 5 years ago
- A repository to test dialects defined dynamically.☆12Updated last year
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 2 years ago
- BTOR2 MLIR project☆23Updated last year
- Being a full-stack hacker, RISCV, LLVM, and more.☆18Updated 3 years ago