nimit-singhania / loopy
A system for programming formally-verified loop transformations.
☆16Updated 5 years ago
Related projects: ⓘ
- Python wrapper for isl, an integer set library☆73Updated last week
- Data Dependence Analyzer in the Polyhedral Model☆19Updated 10 months ago
- Library to plot integer sets and maps☆47Updated 7 years ago
- Chunky Loop Interaction☆23Updated 5 years ago
- A framework that helps implementing swizzle GPU kernels☆38Updated 4 years ago
- Declarative MLIR compilers in Python!☆33Updated 3 years ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆36Updated 2 years ago
- GPUVerify: a Verifier for GPU Kernels☆57Updated 2 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆31Updated 2 years ago
- An experimental ahead of time compiler for Relay.☆51Updated 4 years ago
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆116Updated 2 years ago
- ☆24Updated last year
- ☆44Updated 5 years ago
- A Sound and Complete Verification Tool for Warp-Specialized GPU Kernels☆16Updated 9 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆99Updated last year
- Tapir extension to LLVM for optimizing Parallel Programs☆130Updated 4 years ago
- A framework to find good combinations of optimizations for computational kernels on GPUs.☆23Updated 3 years ago
- A GPU cache model for research purposes☆26Updated 10 years ago
- A repository to test dialects defined dynamically.☆12Updated last year
- Program Generator for Small-Scale Linear Algebra Applications☆28Updated 6 years ago
- A translation validation framework for MLIR☆71Updated last year
- The CLooG Code Generator in the Polyhedral Model☆40Updated last year
- Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter☆17Updated 7 years ago
- RV: A Unified Region Vectorizer for LLVM☆102Updated 2 months ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆47Updated 5 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆22Updated last year
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆42Updated 5 years ago
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- Code generation tool to generate mathematical libraries☆54Updated 6 months ago
- compiler for fortran stencils using verified lifting,☆17Updated 2 years ago