@inproceedings{KolesnichenkoPN15,
  title = {Contract-based general-purpose GPU programming},
  author = {Alexey Kolesnichenko and Christopher M. Poskitt and Sebastian Nanz and Bertrand Meyer},
  year = {2015},
  doi = {10.1145/2814204.2814216},
  url = {http://doi.acm.org/10.1145/2814204.2814216},
  researchr = {https://researchr.org/publication/KolesnichenkoPN15},
  cites = {0},
  citedby = {0},
  pages = {75-84},
  booktitle = {GPCE},
}

@article{KolesnichenkoPN17,
  title = {SafeGPU: Contract- and library-based GPGPU for object-oriented languages},
  author = {Alexey Kolesnichenko and Christopher M. Poskitt and Sebastian Nanz},
  year = {2017},
  doi = {10.1016/j.cl.2016.08.002},
  url = {http://dx.doi.org/10.1016/j.cl.2016.08.002},
  researchr = {https://researchr.org/publication/KolesnichenkoPN17},
  cites = {0},
  citedby = {0},
  journal = {Comp. Lang., Syst. \& Struct.},
  volume = {48},
  pages = {68-88},
}

@inproceedings{KolesnichenkoNM13,
  title = {How to Cancel a Task},
  author = {Alexey Kolesnichenko and Sebastian Nanz and Bertrand Meyer},
  year = {2013},
  doi = {10.1007/978-3-642-39955-8_6},
  url = {http://dx.doi.org/10.1007/978-3-642-39955-8_6},
  researchr = {https://researchr.org/publication/KolesnichenkoNM13},
  cites = {0},
  citedby = {0},
  pages = {61-72},
  booktitle = {musepat},
}

@inproceedings{KolesnichenkoPM13,
  title = {Applying Search in an Automatic Contract-Based Testing Tool},
  author = {Alexey Kolesnichenko and Christopher M. Poskitt and Bertrand Meyer},
  year = {2013},
  doi = {10.1007/978-3-642-39742-4_31},
  url = {http://dx.doi.org/10.1007/978-3-642-39742-4_31},
  researchr = {https://researchr.org/publication/KolesnichenkoPM13},
  cites = {0},
  citedby = {0},
  pages = {318-323},
  booktitle = {ssbse},
}