mc-imperial / gpuverifyLinks
GPUVerify: a Verifier for GPU Kernels
☆72Updated 3 years ago
Alternatives and similar repositories for gpuverify
Users that are interested in gpuverify are comparing it to the libraries listed below
Sorting:
- CUDAAdvisor: a GPU profiling tool☆51Updated 7 years ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆62Updated 5 years ago
- RV: A Unified Region Vectorizer for LLVM☆112Updated 5 months ago
- Library to plot integer sets and maps☆53Updated 8 years ago
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆119Updated 6 months ago
- ☆74Updated 2 years ago
- Tapir extension to LLVM for optimizing Parallel Programs☆132Updated 5 years ago
- A framework that helps implementing swizzle GPU kernels☆42Updated 5 years ago
- CERE: Codelet Extractor and REplayer☆40Updated 2 years ago
- Data Dependence Analyzer in the Polyhedral Model☆21Updated 2 years ago
- Haystack is an analytical cache model that given a program computes the number of cache misses.☆46Updated 6 years ago
- IMPORTANT NOTICE: This implementation is long outdated. Whole-Function Vectorization is an algorithm that transforms a scalar function in…☆22Updated 13 years ago
- ☆59Updated 2 weeks ago
- Decuda and cudasm, the CUDA binary utilities package. Low-level tools for NVidia G80 GPUs.☆104Updated 15 years ago
- Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.☆42Updated 4 years ago
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆131Updated 3 years ago
- Python wrapper for isl, an integer set library☆78Updated last week
- A unified framework across multiple programming platforms☆41Updated 5 months ago
- Integer Set Library (source repository: http://repo.or.cz/w/isl.git)☆71Updated 9 months ago
- CudaPAD is a PTX/SASS viewer for NVIDIA Cuda kernels and provides an on-the-fly view of the assembly.☆124Updated 2 years ago
- Flexible GPGPU instrumentation☆89Updated 6 years ago
- Instruction THroughput Estimator using MAchine Learning (ITHEMAL)☆150Updated 3 years ago
- Intel Heterogeneous Research Compiler (iHRC)☆25Updated 2 years ago
- ☆64Updated 6 years ago
- The OpenDwarfs project provides a benchmark suite consisting of different computation/communication idioms, i.e., dwarfs, for state-of-ar…☆98Updated 6 years ago
- Kernel Tuning Toolkit☆65Updated last week
- assembler for NVIDIA FERMI. Imported from Google Code☆75Updated 10 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆96Updated 7 months ago
- A domain-specific language and compiler for image processing☆77Updated 4 years ago
- GPUOCelot: A dynamic compilation framework for PTX☆288Updated 2 years ago