lightsighter / WeftLinks
A Sound and Complete Verification Tool for Warp-Specialized GPU Kernels
☆19Updated 10 years ago
Alternatives and similar repositories for Weft
Users that are interested in Weft are comparing it to the libraries listed below
Sorting:
- This tool serves as a test harness for different optimization techniques to improve stencil computations performance in shared and distri…☆20Updated 2 years ago
- LonestarGPU: Irregular algorithms parallelized for GPUs☆35Updated 5 years ago
- Chai☆44Updated last year
- Loop Kernel Analysis and Performance Modeling Toolkit☆93Updated 3 months ago
- CUDA and OpenMP implementations of C2R/R2C inplace transposition☆46Updated 10 years ago
- A task benchmark☆43Updated 10 months ago
- A unified framework across multiple programming platforms☆41Updated 3 weeks ago
- Library to plot integer sets and maps☆49Updated 8 years ago
- Julia ports of the Rodinia benchmark suite for heterogeneous computing infrastructures☆52Updated last year
- CUDAAdvisor: a GPU profiling tool☆49Updated 6 years ago
- The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear …☆77Updated 3 weeks ago
- A tool for debugging and assessing floating point precision and reproducibility.☆79Updated 5 months ago
- development repository for the open earth compiler☆80Updated 4 years ago
- The SparseX sparse kernel optimization library☆39Updated 6 years ago
- A BUDE virtual-screening benchmark, in many programming models☆29Updated 8 months ago
- A dynamic analysis tool to detect floating-point errors in HPC applications.☆35Updated last month
- Compute applications.☆24Updated 5 years ago
- A Benchmark Suite for Heterogeneous System Computation☆53Updated 4 months ago
- sparse matrix pre-processing library☆82Updated last year
- ☆40Updated this week
- GPU Code optimizer for stencil computations. Refer to our IPDPS'19 paper for more details☆24Updated 5 years ago
- ☆63Updated 6 years ago
- Sample programs for the LLVM PTX back-end☆39Updated 9 years ago
- Flexible GPGPU instrumentation☆87Updated 5 years ago
- GPUVerify: a Verifier for GPU Kernels☆62Updated 2 years ago
- CUDA Dynamic Memory Allocator for SOA Data Layout☆35Updated 3 years ago
- 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
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆30Updated 9 months ago
- Enabling on-the-fly manipulations with LLVM IR code of CUDA sources☆111Updated 2 months ago
- Third party assembler and GEMM library for NVIDIA Kepler GPU☆81Updated 5 years ago