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: "Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2015, Pittsburgh, PA, USA, October 26-27, 2015"
  editor:
  - name: "Christian Kästner"
    link: "https://researchr.org/alias/christian-k%C3%A4stner"
  - name: "Aniruddha S. Gokhale"
    link: "https://researchr.org/alias/aniruddha-s.-gokhale"
  publisher: "ACM"
  isbn: "978-1-4503-3687-1"
  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: "Computer Languages, Systems \\& Structures"
  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: "Multicore Software Engineering, Performance, and Tools - International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings"
  editor:
  - name: "João Lourenço"
    link: "https://researchr.org/alias/jo%C3%A3o-louren%C3%A7o"
  - name: "Eitan Farchi"
    link: "https://researchr.org/alias/eitan-farchi"
  volume: "8063"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-39954-1"
  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: "Search Based Software Engineering - 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings"
  editor:
  - name: "Günther Ruhe"
    link: "https://researchr.org/alias/g%C3%BCnther-ruhe"
  - name: "Yuanyuan Zhang"
    link: "https://researchr.org/alias/yuanyuan-zhang"
  volume: "8084"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-39741-7"
  kind: "inproceedings"
  key: "KolesnichenkoPM13"