Benedict R. Gaster, Lee W. Howes. Formalizing address spaces with application to Cuda, OpenCL, and beyond. In John Cavazos, Xiang Gong, David R. Kaeli, editors, Proceedings of the 6th Workshop on General Purpose Processor Using Graphics Processing Units, GPGPU-6, Houston, Texas, USA, March 16, 2013. pages 32-41, ACM, 2013. [doi]
Abstract is missing.