Interleaving and lock-step semantics for analysis and verification of GPU kernels
ESOP, pp. 270-289, 2013.
novel methodgpu kernelunstructured control flowarbitrary reducible control flowtraditional interleaving semanticsMore(6+)
We study semantics of GPU kernels -- the parallel programs that run on Graphics Processing Units (GPUs). We provide a novel lock-step execution semantics for GPU kernels represented by arbitrary reducible control flow graphs and compare this semantics with a traditional interleaving semantics. We show for terminating kernels that either b...More
Full Text (Upload PDF)
PPT (Upload PPT)