lightsighter / Weft
A Sound and Complete Verification Tool for Warp-Specialized GPU Kernels
☆18Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for Weft
- The SparseX sparse kernel optimization library☆39Updated 5 years ago
- ☆47Updated 5 years ago
- LonestarGPU: Irregular algorithms parallelized for GPUs☆33Updated 5 years ago
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆27Updated 2 months ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆89Updated 2 months ago
- Intel Heterogeneous Research Compiler (iHRC)☆25Updated last year
- A Benchmark Suite for Heterogeneous System Computation☆52Updated 3 weeks ago
- Kernel Tuning Toolkit☆55Updated 3 weeks ago
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- Chai☆42Updated 11 months ago
- This tool serves as a test harness for different optimization techniques to improve stencil computations performance in shared and distri…☆20Updated 2 years ago
- Compute applications.☆25Updated 4 years ago
- A framework that helps implementing swizzle GPU kernels☆41Updated 4 years ago
- Third party assembler and GEMM library for NVIDIA Kepler GPU☆78Updated 5 years ago
- This package includes the implementation for Sparse-Matrix-Vector-Multiplication (SpMV) and Sparse-Matrix-Matrix-Multiplication (SpMM) fo…☆10Updated 4 years ago
- tools to create performance and roofline plots from measured data☆58Updated 10 years ago
- sparse matrix pre-processing library☆81Updated 6 months ago
- Library to plot integer sets and maps☆47Updated 7 years ago
- A GPU cache model for research purposes☆26Updated 11 years ago
- development repository for the open earth compiler☆77Updated 3 years ago
- CUDA and OpenMP implementations of C2R/R2C inplace transposition☆45Updated 9 years ago
- This package includes the implementation for four sparse linear algebra kernels: Sparse-Matrix-Vector-Multiplication (SpMV), Sparse-Trian…☆24Updated 4 years ago
- Fork of magma to include more BLAS☆28Updated 8 years ago
- A Top-Down Profiler for GPU Applications☆13Updated 8 months ago
- ☆90Updated 7 years ago
- Source for Demystifying GPU Microarchitecture through Microbenchmarking☆16Updated last year
- SYCL Reference Manual☆26Updated 6 months ago
- Reference implementation of Deep Neural Network primitives using LIBXSMM's Tensor Processing Primitives (TPP)☆12Updated 3 months ago
- GPUVerify: a Verifier for GPU Kernels☆58Updated 2 years ago