SIMT-Step Execution: A Flexible Operational Semantics For GPU Subgroup Behavior
SIMT-Step provides a formal and flexible operational semantics for GPU subgroup execution, using dynamic basic blocks and TLA+ validation to reason about converged, synchronous, and independent behaviors across devices.
✦ By Zheyuan Chen, Naomi Rehman, Guido Martínez and Tyler Sorensen