Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels.

Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer

Browse the full ESOP paper archive.