On the Correctness of the SIMT Execution Model of GPUs
Abstract elided by the publisher.
Related papers
- SIMT-Step Execution: A Flexible Operational Semantics for GPU Subgroup Behavior PLDI 2026
- Inside VOLT: Designing an Open-Source GPU Compiler (Tool) CC 2026
- C-for-Metal: High Performance Simd Programming on Intel GPUs CGO 2021
- Speculative reconvergence for improved SIMT efficiency CGO 2020
- Hybrid CPU-GPU scheduling and execution of tree traversals PPoPP 2016
- DARM: Control-Flow Melding for SIMT Thread Divergence Reduction CGO 2022
- Tawa: Automatic Warp Specialization for Modern GPUs with Asynchronous References CGO 2026
- From Threads to Tiles: T2T, a Compiler for CUDA-to-NPU Translation via 2D Vectorization CGO 2026