On the Correctness of the SIMT Execution Model of GPUs.

Axel Habermaier, Alexander Knapp

Browse the full ESOP paper archive.