discopop-project / discopop
DiscoPoP - Discovery of Potential Parallelism
☆41Updated this week
Alternatives and similar repositories for discopop:
Users that are interested in discopop are comparing it to the libraries listed below
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆33Updated 2 years ago
- Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.☆68Updated last year
- 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
- Data-Centric MLIR dialect☆40Updated last year
- ☆40Updated this week
- development repository for the open earth compiler☆79Updated 3 years 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
- NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops…☆91Updated 2 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆91Updated 4 months ago
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- A list of benchmark suites used in the research related to compilers, program performance, scientific computations etc.☆48Updated last year
- Program analysis tool based on software performance counters☆56Updated 3 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆107Updated last year
- A debugger to detect and diagnose numerical errors in floating point programs☆12Updated 2 years ago
- Goal: a website to automatically train and certify compiler researchers and developers☆10Updated 5 years ago
- PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/☆73Updated 8 years ago
- Race detector for NVIDIA GPUs, published in SOSP 2021.☆19Updated 7 months ago
- Utilities for constructing a large dataset of LLVM IR☆16Updated 5 months ago
- GPUVerify: a Verifier for GPU Kernels☆59Updated 2 years ago
- Updated C version of the Test Suite for Vectorising Compilers☆56Updated 10 months ago
- OpenMP Offloading Validation & Verification Suite; Official repository. We have migrated from bitbucket!! For documentation, results, pub…☆56Updated last week
- A tool for debugging and assessing floating point precision and reproducibility.☆68Updated last week
- MLIR-based toolkit targeting intel heterogeneous hardware☆37Updated this week
- ☆28Updated 2 years ago
- MLIRX is now defunct. Please see PolyBlocks - https://docs.polymagelabs.com☆38Updated last year
- Generates CIL MLIR dialect from C/C++ source.☆32Updated 3 years ago
- Source code for "BenchPress: A Deep Active Benchmark Generator", PACT 2022☆21Updated last year
- Generator for MLIR files from known front-ends☆15Updated last year
- Library to plot integer sets and maps☆49Updated 8 years ago
- Rodinia benchmark☆168Updated last year