Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
Abstract elided by the publisher.
Related papers
- GPUVerify: a verifier for GPU kernels OOPSLA 2012
- The Design and Implementation of a Verification Technique for GPU Kernels TOPLAS 2015
- Verifying GPU kernels by test amplification PLDI 2012
- Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels OOPSLA 2013
- Verification of producer-consumer synchronization in GPU programs PLDI 2015
- Liger: Interleaving Intra- and Inter-Operator Parallelism for Distributed Large Model Inference PPoPP 2024
- Engineering a Static Verification Tool for GPU Kernels CAV 2014
- GKLEE: concolic verification and test generation for GPUs PPoPP 2012