lightsighter / Weft
A Sound and Complete Verification Tool for Warp-Specialized GPU Kernels
☆18Updated 9 years ago
Alternatives and similar repositories for Weft:
Users that are interested in Weft are comparing it to the libraries listed below
- ☆53Updated 5 years ago
- Compute applications.☆24Updated 5 years ago
- The SparseX sparse kernel optimization library☆40Updated 6 years ago
- Loop Kernel Analysis and Performance Modeling Toolkit☆93Updated last month
- A task benchmark☆41Updated 8 months ago
- Orio is an open-source extensible framework for the definition of domain-specific languages and generation of optimized code for multiple…☆36Updated 3 years 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
- A Benchmark Suite for Heterogeneous System Computation☆53Updated 2 months ago
- LonestarGPU: Irregular algorithms parallelized for GPUs☆34Updated 5 years ago
- ☆41Updated this week
- CUDAAdvisor: a GPU profiling tool☆48Updated 6 years ago
- A BUDE virtual-screening benchmark, in many programming models☆28Updated 6 months ago
- Chai☆43Updated last year
- A GPU benchmark suite for assessing on-chip GPU memory bandwidth☆104Updated 7 years ago
- A unified framework across multiple programming platforms☆36Updated 10 months ago
- SYCL Benchmark Suite☆64Updated 2 months ago
- tools to create performance and roofline plots from measured data☆58Updated 10 years ago
- The Combinatorial BLAS (CombBLAS) is an extensible distributed-memory parallel graph library offering a small but powerful set of linear …☆72Updated 3 weeks ago
- ☆43Updated 4 years ago
- GPUVerify: a Verifier for GPU Kernels☆61Updated 2 years ago
- A library to benchmark CUDA code, similar to google benchmark.☆28Updated 4 years ago
- Kernel Tuning Toolkit☆59Updated last month
- RAJA Performance Suite☆117Updated last week
- Flexible GPGPU instrumentation☆86Updated 5 years ago
- Barcelona OpenMP Task Suite is a collection of applications that allow to test OpenMP tasking implementations and compare its behaviour u…☆45Updated 5 years ago
- HeteroSync is a benchmark suite for performing fine-grained synchronization on tightly coupled GPUs☆28Updated 7 months ago
- ☆51Updated 5 years ago
- This package includes the implementation for four sparse linear algebra kernels: Sparse-Matrix-Vector-Multiplication (SpMV), Sparse-Trian…☆26Updated 4 years ago
- A proxy app for the Monte Carlo Transport Code, Mercury. LLNL-CODE-684037☆41Updated last year
- Nanos++ is a runtime designed to serve as runtime support in parallel environments. It is mainly used to support OmpSs, a extension to O…☆38Updated 3 years ago