uwplse / stng
compiler for fortran stencils using verified lifting,
☆17Updated 2 years ago
Alternatives and similar repositories for stng:
Users that are interested in stng are comparing it to the libraries listed below
- 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
- Loop Kernel Analysis and Performance Modeling Toolkit☆92Updated last week
- 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…☆34Updated 8 years ago
- A system for programming formally-verified loop transformations.☆16Updated 6 years ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆37Updated 4 months ago
- Absinthe is an optimization framework to fuse and tile stencil codes in one shot☆14Updated 5 years ago
- A standard for floating point accuracy benchmarks☆49Updated last week
- Archer, a data race detection tool for large OpenMP applications☆63Updated 4 years ago
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆58Updated 2 weeks ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆69Updated last year
- Data Dependence Analyzer in the Polyhedral Model☆20Updated last year
- Python wrapper for isl, an integer set library☆76Updated last week
- MPI wrapper generator, for writing PMPI tool libraries☆34Updated last week
- development repository for the open earth compiler☆79Updated 4 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆33Updated 2 years ago
- Polyhedral Extraction Tool (source repository: http://repo.or.cz/w/pet.git)☆39Updated 2 years ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆71Updated 3 years ago
- Apollo: Online Machine Learning for Performance Portability☆22Updated 7 months ago
- The implementation of the Elevate language☆29Updated last week
- 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
- The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear …☆71Updated this week
- Remote Backend Compiler☆30Updated 6 months ago
- Programmable JIT Compilation and Optimization for C/C++ using LLVM☆23Updated this week
- Library to plot integer sets and maps☆49Updated 8 years ago
- cuASR: CUDA Algebra for Semirings☆35Updated 2 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Tool for Rigorous Estimation of Round-Off Floating-Point Errors☆30Updated 6 months ago
- Custom-Precision Floating-point numbers.☆33Updated 2 months ago
- Code generation tool to generate mathematical libraries☆55Updated 2 weeks ago
- This tool serves as a test harness for different optimization techniques to improve stencil computations performance in shared and distri…☆20Updated 2 years ago