publications:
- title: "Contract-based general-purpose GPU programming"
  author:
  - name: "Alexey Kolesnichenko"
    link: "http://se.inf.ethz.ch/people/kolesnichenko/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Sebastian Nanz"
    link: "http://se.inf.ethz.ch/people/nanz/"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2814204.2814216"
  links:
    doi: "http://doi.acm.org/10.1145/2814204.2814216"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gpce/KolesnichenkoPN15"
  researchr: "https://researchr.org/publication/KolesnichenkoPN15"
  cites: 0
  citedby: 0
  pages: "75-84"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "KolesnichenkoPN15"
- title: "SafeGPU: Contract- and library-based GPGPU for object-oriented languages"
  author:
  - name: "Alexey Kolesnichenko"
    link: "http://se.inf.ethz.ch/people/kolesnichenko/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Sebastian Nanz"
    link: "http://se.inf.ethz.ch/people/nanz/"
  year: "2017"
  doi: "http://dx.doi.org/10.1016/j.cl.2016.08.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.cl.2016.08.002"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cl/KolesnichenkoPN17"
  researchr: "https://researchr.org/publication/KolesnichenkoPN17"
  cites: 0
  citedby: 0
  journal: "Comp. Lang., Syst. \\& Struct."
  volume: "48"
  pages: "68-88"
  kind: "article"
  key: "KolesnichenkoPN17"
- title: "How to Cancel a Task"
  author:
  - name: "Alexey Kolesnichenko"
    link: "http://se.inf.ethz.ch/people/kolesnichenko/"
  - name: "Sebastian Nanz"
    link: "https://researchr.org/alias/sebastian-nanz"
  - name: "Bertrand Meyer"
    link: "https://researchr.org/alias/bertrand-meyer"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-39955-8_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-39955-8_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/musepat/KolesnichenkoNM13"
  researchr: "https://researchr.org/publication/KolesnichenkoNM13"
  cites: 0
  citedby: 0
  pages: "61-72"
  booktitle: "musepat"
  kind: "inproceedings"
  key: "KolesnichenkoNM13"
- title: "Applying Search in an Automatic Contract-Based Testing Tool"
  author:
  - name: "Alexey Kolesnichenko"
    link: "http://se.inf.ethz.ch/people/kolesnichenko/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-39742-4_31"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-39742-4_31"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssbse/KolesnichenkoPM13"
  researchr: "https://researchr.org/publication/KolesnichenkoPM13"
  cites: 0
  citedby: 0
  pages: "318-323"
  booktitle: "ssbse"
  kind: "inproceedings"
  key: "KolesnichenkoPM13"