Formalizing address spaces with application to Cuda, OpenCL, and beyond.

Benedict R. Gaster, Lee W. Howes

Browse the full ASPLOS paper archive.