@article{Kolesnichenko-Poskitt-Nanz17a, author = {Alexey Kolesnichenko and Christopher M. Poskitt and Sebastian Nanz}, title = {{SafeGPU}: Contract- and Library-Based {GPGPU} for Object-Oriented Languages}, journal = {Computer Languages, Systems & Structures}, volume = {48}, pages = {68--88}, year = {2017}, urltopdf = {http://se.inf.ethz.ch/people/poskitt/publications/Kolesnichenko-Poskitt-Nanz.COMLAN.2016.pdf}, }