uwplse / stng
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
- A project to quickly detect discrepancies in floating point computation across hardware, compilers, libraries and software.☆38Updated 5 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…☆34Updated 8 years ago
- Archer, a data race detection tool for large OpenMP applications☆63Updated 4 years ago
- Absinthe is an optimization framework to fuse and tile stencil codes in one shot☆14Updated 5 years ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆33Updated this week
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆69Updated last year
- Python wrapper for isl, an integer set library☆77Updated last week
- Data Dependence Analyzer in the Polyhedral Model☆20Updated last year
- MPI wrapper generator, for writing PMPI tool libraries☆34Updated last month
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆58Updated last week
- 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
- Custom-Precision Floating-point numbers.☆34Updated 3 months ago
- Official BOLT Repository☆28Updated 8 months ago
- Comb is a communication performance benchmarking tool.☆24Updated 2 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆93Updated last month
- Heterogeneous Active Messages C++ library☆21Updated 5 years ago
- The CLooG Code Generator in the Polyhedral Model☆46Updated last year
- A unified framework across multiple programming platforms☆36Updated 10 months ago
- CUDAAdvisor: a GPU profiling tool☆49Updated 6 years ago
- Programmable JIT Compilation and Optimization for C/C++ using LLVM☆24Updated this 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
- Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.☆38Updated 3 years ago
- TTG: Template Task Graph C++ API☆19Updated 2 months ago
- OpenSHMEM Application Programming Interface☆54Updated 5 months ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆61Updated 5 years ago
- development repository for the open earth compiler☆80Updated 4 years ago
- Intel Heterogeneous Research Compiler (iHRC)☆25Updated 2 years ago
- A standard for floating point accuracy benchmarks☆49Updated last month
- Library to plot integer sets and maps☆49Updated 8 years ago
- Simplified Interface to Complex Memory☆28Updated last year