Кореньков Ю.Д., Трофимова П.В. XML-сериализация типизированных объектных моделей в языке программирования typescript. Научно-технический вестник Поволжья. 2025. № 6. С. 209-216.
Коренькова Е.В., Кореньков Ю.Д. Подход к инстанцированию высокоуровневых синтаксических моделей предметноориентированных языков на основе деревьев разбора. Научно-технический вестник Поволжья. 2024. № 4. С. 259-264.
Разработка визуального элемента управления для редактирования текста программ
Разработка прототипа средства горизонтaльного масштабирования для устройств конечного пользователя
Специализированные структуры данных для текста произвольной формы
Технологии веб-сервисов
Кореньков Ю.Д. Алгоритм итеративного преобразования семантических моделей программ, разрабатываемых с применением нескольких языков программирования. Научно-технический вестник Поволжья. 2020. № 10. С. 44-50.
Итеративное преобразование семантических моделей программ // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2020. - Режим доступа: https://kmu.itmo.ru/digests/article/4180, своб. - 2020
Разработка средства для использования промежуточного представления LLVM в управляемом коде
Разработка перенацеливаемой отладочной инфраструктуры// Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2020. - Режим доступа: https://kmu.itmo.ru/digests/article/3232, своб.
Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д. Методы и средства обнаружения уязвимостей аллокаторов динамической памяти библиотеки glibc. Научно-технический вестник Поволжья. 2020. № 1. С. 79-83.
Кореньков Ю.Д. Метод предметно-ориентированного анализа исходных текстов программ на основе семантических моделей. Научно-технический вестник Поволжья. 2020. № 7. С. 32-37.
Kuzenkova E., Korenkov I., Loginov I., Ilina A., Dergachev A. Development of Horizontal Scaling Management System for Applications in Heterogeneous Environment. XI Международная научно-практическая конференция молодых ученых «Программная инженерия и компьютерная техника» (Майоровские чтения-2019) = MICSECS 2019 SAINT-PETERSBURG The Majorov International Conference on Software Engineering and Computer Systems Международная конференция. (Санкт-Петербург, 12-13декабря 2019г.): сборник трудов. 2020. No. XI. pp. 207-210.
Sadyrin D., Dergachev A., Loginov I., Korenkov I., Ilina A. Application of Graph Databases for Static Code Analysis of Web-Applications. CEUR Workshop Proceedings. 2020. Vol. 2590. pp. 1-9.
Dergachev A., Sadyrin D., Ilina A., Loginov I., Korenkov I. Methods and Means of Searching Errors When Working With Dynamic Memory. CEUR Workshop Proceedings. 2020. Vol. 2590. pp. 1-9.
Kuzenkova E., Korenkov I., Loginov I., Ilina A., Dergachev A. Automated Scalability System for Distributed Applications in Heterogeneous Environment. CEUR Workshop Proceedings. 2020. Vol. 2590. pp. 1-8.
Исследование и реализация алгоритма синтаксического анализа
Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д. Подход к верификации аллокаторов динамической памяти, основанный на символьном выполнении программ [Verification of dynamic memory allocators based on symbolic program execution]. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2020. Т. 20. № 1(125). С. 101-109.. doi: 10.17586/2226-1494-2020-20-1-101-109
Doronin O., Dergun K., Loginov I., Korenkov I., Dergachev A. Problem research and development of a tool for checking application binary interface compatibility of virtual method tables. 19th International Multidisciplinary Scientific GeoConference, SGEM 2019. 2019. Vol. 19. No. 2.1. pp. 531-537.. doi: 10.5593/sgem2019/2.1/S07.070
Коренькова Е.В., Кореньков Ю.Д., Логинов И.П. Сравнение сборщиков мусора в различных платформах. Альманах научных работ молодых ученых Университета ИТМО. 2019. Т. 1. С. 144-149.
Кореньков Ю.Д., Логинов И.П., Коренькова Е.В. Применение декларативной модели описания целевых архитектур к существующим ISA. Альманах научных работ молодых ученых Университета ИТМО. 2019. Т. 1. С. 130-134.
Дергачев А.М., Жирков И.О., Логинов И.П., Кореньков Ю.Д. Реализация метаязыковой абстракции для поддержки ООП средствами языка Си. Программные продукты и системы. 2019. Т. 32. № 2. С. 190-196.. doi: 10.15827/0236-235X.126.190-196
Методы проверки корректности сборщиков мусора
Синтаксический анализ для динамически расширяемых грамматик на основе PEG//Сборник тезисов докладов VIII конгресса молодых ученых
Korenkov I., Loginov I., Doronin O., Sadyrin D., Dergachev A. Retargetable compiler design issues. 19th International Multidisciplinary Scientific GeoConference, SGEM 2019. 2019. Vol. 19. No. 2.1. pp. 561-568.. doi: 10.5593/sgem2019/2.1/S07.074
Подход к разработке инструментальных средств для ASIP // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. - [2019, электронный ресурс]. - Режим доступа: https://kmu.itmo.ru/digests/article/1580, своб.
Korenkov I., Loginov I., Dergachev A., Lazdin A. Declarative target architecture definition for data-driven development toolchain. 18th International Multidisciplinary Scientific GeoConference Surveying Geology and Mining Ecology Management, SGEM-2018. 2018. Vol. 18. No. 2.1. pp. 271-278.. doi: 10.5593/sgem2018/2.1/S07.035
Практические указания к лабораторным работам и курсовому проекту по дисциплине Верификация моделей программ
Разработка унифицированного метода описания текстовых и графических пользовательских интерфейсов и его программная реализация
Korenkov Y., Loginov I., Lazdin A. PEG-based language workbench. Proceedings of the 17th Conference of Open Innovations Association FRUCT. 2015. pp. 75-81.. doi: 10.1109/FRUCT.2015.7117975
Кореньков Ю.Д., Логинов И.П. Исследование и разработка языкового инструментария на основе PEG-грамматики. Известия высших учебных заведений. Приборостроение. 2015. Т. 58. № 11. С. 934-938.. doi: 10.17586/0021-3454-2015-58-11-934-938
Российская Федерация, Санкт-Петербург
Российская Федерация, Санкт-Петербург
Российская Федерация, Санкт-Петербург
Российская Федерация, Санкт-Петербург
Российская Федерация, Санкт-Петербург