Artyom Aleksyuk

Artyom Aleksyuk


Research Groups

Biography

Postgraduate student at St. Petersburg Polytechnic University (Department of Computer Systems and Software Technologies).

Participated in TMPA-2015 conference and projects related to hardware development in HDL.

Publications

Automated Cross-Language Integration Based on Formal Model of Components

August 2020

Artyom Aleksyuk, Vladimir Itsykson

Lecture Notes in Computer Science book series, volume 12271

Read more

Semantics-Driven Migration of Java Programs: A Practical Application

December 2018

Aleksyuk, A.O., Itsykson, V.M.

Automatic Control and Computer Sciences, Volume 52, Issue 7, pp 581–588

Read more

Automated Semantics-Driven Source Code Migration: A Pilot Prototype

2017

Artyom Aleksyuk, Vladimir Itsykson

System Informatics, Volume 10, pp 67-76

Read more

Применение технологии иерархических параметризируемых шаблонов для автоматизированного исправления ошибок в программном коде

2015

А. Алексюк, В. Ицыксон

Материалы конференции "Инструменты и методы анализа программ (TMPA-2015)"

Read more