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

First Author: Collingbourne P
Attributed to:  Scalable Automatic Verification of GPU Kernels funded by EPSRC


No abstract provided

Bibliographic Information

Digital Object Identifier:

Publication URI:

Type: Book Chapter

Book Title: Programming Languages and Systems (2013)

Page Reference: 270-289

ISBN: 978-3-642-37035-9