Syntax and semantics of a GPU kernel programming language

John Wickerson 🌐

April 3, 2014

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

This document accompanies the article "The Design and Implementation of a Verification Technique for GPU Kernels" by Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson and John Wickerson. It formalises all of the definitions provided in Sections 3 and 4 of the article.

License

BSD License

Topics

Session GPU_Kernel_PL

Cite

× 
@article{GPU_Kernel_PL-AFP,
  author  = {John Wickerson},
  title   = {Syntax and semantics of a GPU kernel programming language},
  journal = {Archive of Formal Proofs},
  month   = {April},
  year    = {2014},
  note    = {\url{https://isa-afp.org/entries/GPU_Kernel_PL.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: