insieme / insieme
The Insieme Compiler and Runtime Infrastructure
☆33Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for insieme
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆23Updated last year
- CERE: Codelet Extractor and REplayer☆41Updated last year
- A tuning assistant tool to find a lower floating-point precision that can be used in any part of a program. Precimonious performs a searc…☆33Updated 8 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆13Updated 4 years ago
- GPUVerify: a Verifier for GPU Kernels☆58Updated 2 years ago
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆88Updated 2 months ago
- Data Dependence Analyzer in the Polyhedral Model☆19Updated last year
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆38Updated 2 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆102Updated last year
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆98Updated last year
- ☆36Updated this week
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆61Updated 4 years ago
- development repository for the open earth compiler☆77Updated 3 years ago
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆36Updated 3 years ago
- Nanos++ is a runtime designed to serve as runtime support in parallel environments. It is mainly used to support OmpSs, a extension to O…☆38Updated 3 years ago
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆117Updated 2 years ago
- ☆47Updated 5 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆42Updated 5 years ago
- A Benchmark Suite for Heterogeneous System Computation☆52Updated last week
- ☆34Updated 2 years ago
- Python wrapper for isl, an integer set library☆73Updated this week
- Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)☆15Updated 9 months ago
- A repository to test dialects defined dynamically.☆12Updated last year
- Library to plot integer sets and maps☆47Updated 7 years ago
- Intel Heterogeneous Research Compiler (iHRC)☆25Updated last year
- Tutorial for LLVM Dev Conference 2019.☆14Updated 5 years ago
- Chai☆42Updated 11 months ago
- pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler opti…☆17Updated last year
- A Specification and a Library for Data Exchange in Polyhedral Compilation Tools☆26Updated 3 months ago