Артем Алексюк

Артем Алексюк


Исследовательские группы

Биография

Аспирант Санкт-Петербургского политехнического университета Петра Великого (кафедра Компьютерных систем и программных технологий).

Профессиональная активность

Участвовал в конференции TMPA-2015 с докладом "Применение технологии иерархических параметризируемых шаблонов для автоматизированного исправления ошибок в программном коде".

Ранее принимал участие в проектах, связанных с разработкой аппаратных средств на HDL.

Публикации

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

Подробнее

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

Подробнее

Automated Semantics-Driven Source Code Migration: A Pilot Prototype

2017

Artyom Aleksyuk, Vladimir Itsykson

System Informatics, Volume 10, pp 67-76

Подробнее

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

2015

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

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

Подробнее