uwplse / stngLinks
compiler for fortran stencils using verified lifting,
☆17Updated 3 years ago
Alternatives and similar repositories for stng
Users that are interested in stng are comparing it to the libraries listed below
Sorting:
- Loop Kernel Analysis and Performance Modeling Toolkit☆94Updated 5 months ago
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆39Updated 9 months ago
- 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…☆36Updated 8 years ago
- A system for programming formally-verified loop transformations.☆16Updated 6 years ago
- Archer, a data race detection tool for large OpenMP applications☆64Updated 5 years ago
- MPI wrapper generator, for writing PMPI tool libraries☆35Updated 5 months ago
- Program analysis tool based on software performance counters☆57Updated 4 years ago
- Data Dependence Analyzer in the Polyhedral Model☆21Updated last year
- Python wrapper for isl, an integer set library☆77Updated last week
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆37Updated this week
- A standard for floating point accuracy benchmarks☆52Updated 5 months ago
- Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…☆72Updated 4 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆16Updated 5 years ago
- Absinthe is an optimization framework to fuse and tile stencil codes in one shot☆14Updated 6 years ago
- Apollo: Online Machine Learning for Performance Portability☆25Updated last year
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆37Updated 3 years ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆69Updated last year
- Barcelona OpenMP Task Suite is a collection of applications that allow to test OpenMP tasking implementations and compare its behaviour u…☆46Updated 5 years ago
- Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.☆41Updated 3 years ago
- YASK--Yet Another Stencil Kit: a domain-specific language and framework to create high-performance stencil code for implementing finite-d…☆109Updated last month
- High-level framework for stencil computations☆39Updated 10 years ago
- ☆88Updated 3 years ago
- GPUVerify: a Verifier for GPU Kernels☆63Updated 3 years ago
- Par4All is an automatic parallelizing and optimizing compiler (workbench) for C and Fortran sequential programs☆53Updated 10 years ago
- Programmable JIT Compilation and Optimization for C/C++ using LLVM☆29Updated last week
- CUDA Dynamic Memory Allocator for SOA Data Layout☆38Updated 3 years ago
- A Python-native clone of LLVMs FileCheck tool☆20Updated 2 weeks ago
- Heterogeneous Active Messages C++ library☆21Updated 5 years ago
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆59Updated last week
- The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear …☆78Updated 3 weeks ago