Alexey Kolesnichenko

According to our database, Alexey Kolesnichenko authored at least 5 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

SafeGPU: Contract- and library-based GPGPU for object-oriented languages.

Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz

Comput. Lang. Syst. Struct., 2017

2016

Seamless Heterogeneous Computing: Combining GPGPU and Task Parallelism.

Alexey Kolesnichenko

PhD thesis, 2016

2015

Contract-based general-purpose GPU programming.

Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

2013

Applying Search in an Automatic Contract-Based Testing Tool.

Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer

Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

How to Cancel a Task.

Alexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013