@InProceedings{kolesnichenko:2015:gpgpu,
  Title                    = {Contract-Based General-Purpose {GPU} Programming},
  Author                   = {Kolesnichenko, Alexey and Poskitt, Christopher M. and Nanz, Sebastian and Meyer, Bertrand},
  Booktitle                = {Proceedings of the 14th International Conference on Generative Programming: Concepts \& Experience (GPCE 2015)},
  Year                     = {2015},
  Publisher                = {ACM}
}