Alexey Kolesnichenko

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 1

Top Topics

Graphics Processors

Parallel Architectures

Parallel Programming

Domain Specific

Top Venues

Comput. Lang. Syst. Struct.

Publications

Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz
SafeGPU: Contract- and library-based GPGPU for object-oriented languages. Comput. Lang. Syst. Struct. 48 (2017)
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
Contract-based general-purpose GPU programming. GPCE (2015)
Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, Bertrand Meyer
Contract-Based General-Purpose GPU Programming. CoRR (2014)
Alexey Kolesnichenko, Sebastian Nanz, Bertrand Meyer
How to Cancel a Task. MUSEPAT (2013)
Alexey Kolesnichenko, Christopher M. Poskitt, Bertrand Meyer
Applying Search in an Automatic Contract-Based Testing Tool. SSBSE (2013)