mc-imperial / gpuverifyLinks
GPUVerify: a Verifier for GPU Kernels
☆63Updated 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☆49Updated 6 years ago
- RV: A Unified Region Vectorizer for LLVM☆111Updated 2 months ago
- Library to plot integer sets and maps☆49Updated 8 years ago
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆112Updated 3 months ago
- ☆75Updated 2 years ago
- A source-to-source compiler for automatic parallelization of C programs through code annotation.☆62Updated 5 years ago
- Decuda and cudasm, the CUDA binary utilities package. Low-level tools for NVidia G80 GPUs.☆102Updated 15 years ago
- A framework that helps implementing swizzle GPU kernels☆42Updated 5 years ago
- Tapir extension to LLVM for optimizing Parallel Programs☆135Updated 5 years ago
- Data Dependence Analyzer in the Polyhedral Model☆20Updated last year
- Integer Set Library (source repository: http://repo.or.cz/w/isl.git)☆71Updated 6 months ago
- Instruction THroughput Estimator using MAchine Learning (ITHEMAL)☆148Updated 3 years ago
- Artifact Evaluation Reproduction for "Software Prefetching for Indirect Memory Accesses", CGO 2017, using CK.☆40Updated 3 years ago
- Intel Heterogeneous Research Compiler (iHRC)☆25Updated 2 years ago
- GPUOCelot: A dynamic compilation framework for PTX☆288Updated 2 years ago
- OpenCL extension for csmith.☆24Updated 8 years ago
- Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)☆127Updated 3 years ago
- Chunky Loop Analyzer: A Polyhedral Representation Extraction Tool for High Level Programs☆24Updated 2 years ago
- The CLooG Code Generator in the Polyhedral Model☆47Updated 2 years ago
- A domain-specific language and compiler for image processing☆76Updated 4 years ago
- CERE: Codelet Extractor and REplayer☆40Updated last year
- Python wrapper for isl, an integer set library☆77Updated 2 weeks ago
- Generic system-wide modern C++ for heterogeneous platforms with SYCL from Khronos Group☆77Updated 4 years ago
- Mercurium is a C/C++/Fortran source-to-source compilation infrastructure aimed at fast prototyping developed by the Programming Models gr…☆70Updated last year
- Flexible GPGPU instrumentation☆88Updated 5 years ago
- ☆70Updated 5 years ago
- ☆64Updated 6 years ago
- The StreamIt compiler infrastructure.☆71Updated 8 years ago
- ☆58Updated last week
- A translation validation framework for MLIR☆88Updated 4 months ago