Engineering a Static Verification Tool for GPU Kernels
Abstract elided by the publisher.
Related papers
- GKLEE: concolic verification and test generation for GPUs PPoPP 2012
- Verification of producer-consumer synchronization in GPU programs PLDI 2015
- Ensuring Safety in Automotive Machine Learning Inference: From Pre-validated Static Kernels to Machine Learning Graph Compilation CAV 2026
- GPUVerify: a verifier for GPU kernels OOPSLA 2012
- A Modular Static Cost Analysis for GPU Warp-Level Parallelism POPL 2026
- The Design and Implementation of a Verification Technique for GPU Kernels TOPLAS 2015
- GPURepair: Automated Repair of GPU Kernels VMCAI 2021
- Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels OOPSLA 2013