On the Correctness of the SIMT Execution Model of GPUs

DOI10.1007/978-3-642-28869-2_16zbMath1352.68028OpenAlexW165252454MaRDI QIDQ2892735

Axel Habermaier, Alexander Knapp

Publication date: 22 June 2012

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28869-2_16

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Semantics in the theory of computing (68Q55)

Related Items

A Hoare Logic for GPU Kernels, A Hoare Logic for SIMT Programs

Uses Software

• CUDA
• LLVM
• OpenCL