Кореньков Юрий Дмитриевич

Статья

Кореньков Ю.Д., Трофимова П.В. XML-сериализация типизированных объектных моделей в языке программирования typescript. Научно-технический вестник Поволжья. 2025. № 6. С. 209-216.

Тезисы

Поддежка пользовательских типов данных для языка amber на основе интерпретатора shell-скриптов

Тезисы

МОДЕЛЬ ДАННЫХ ДЛЯ ПРЕДСТАВЛЕНИЯ LLVM IR НА ОСНОВЕ БИТОВОГО ПОТОКА

Тезисы

МЕТОДЫ АУТЕНТИФИКАЦИИ ДЛЯ СИСТЕМЫ ГОРИЗОНТАЛЬНОГО МАСШТАБИРОВАНИЯ НА УСТРОЙСТВАХ КОНЕЧНОГО ПОЛЬЗОВАТЕЛЯ

Тезисы

Обобщенная объектная модель программного проекта

Статья

Коренькова Е.В., Кореньков Ю.Д. Подход к инстанцированию высокоуровневых синтаксических моделей предметноориентированных языков на основе деревьев разбора. Научно-технический вестник Поволжья. 2024. № 4. С. 259-264.

Тезисы

Разработка визуального элемента управления для редактирования текста программ

Тезисы

Разработка прототипа средства горизонтaльного масштабирования для устройств конечного пользователя

Тезисы

Специализированные структуры данных для текста произвольной формы

Учебник, учебное пособие

Технологии веб-сервисов

Статья

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.

Статья

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.

Статья

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.

Статья

Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д. Подход к верификации аллокаторов динамической памяти, основанный на символьном выполнении программ [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

Статья

Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д. Методы и средства обнаружения уязвимостей аллокаторов динамической памяти библиотеки glibc. Научно-технический вестник Поволжья. 2020. № 1. С. 79-83.

Статья

Кореньков Ю.Д. Алгоритм итеративного преобразования семантических моделей программ, разрабатываемых с применением нескольких языков программирования. Научно-технический вестник Поволжья. 2020. № 10. С. 44-50.

Статья

Кореньков Ю.Д. Метод предметно-ориентированного анализа исходных текстов программ на основе семантических моделей. Научно-технический вестник Поволжья. 2020. № 7. С. 32-37.

Статья

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.

Тезисы

Итеративное преобразование семантических моделей программ // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2020. - Режим доступа: https://kmu.itmo.ru/digests/article/4180, своб. - 2020

Тезисы

Исследование и реализация алгоритма синтаксического анализа

Тезисы

Разработка перенацеливаемой отладочной инфраструктуры// Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2020. - Режим доступа: https://kmu.itmo.ru/digests/article/3232, своб.

Тезисы

Разработка средства для использования промежуточного представления LLVM в управляемом коде

Статья

Дергачев А.М., Жирков И.О., Логинов И.П., Кореньков Ю.Д. Реализация метаязыковой абстракции для поддержки ООП средствами языка Си. Программные продукты и системы. 2019. Т. 32. № 2. С. 190-196.. doi: 10.15827/0236-235X.126.190-196

Статья

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

Тезисы

Методы проверки корректности сборщиков мусора

Тезисы

Синтаксический анализ для динамически расширяемых грамматик на основе 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, своб.

Статья

Кореньков Ю.Д., Логинов И.П., Коренькова Е.В. Применение декларативной модели описания целевых архитектур к существующим ISA. Альманах научных работ молодых ученых Университета ИТМО. 2019. Т. 1. С. 130-134.

Статья

Коренькова Е.В., Кореньков Ю.Д., Логинов И.П. Сравнение сборщиков мусора в различных платформах. Альманах научных работ молодых ученых Университета ИТМО. 2019. Т. 1. С. 144-149.

Статья

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

Учебник, учебное пособие

Практические указания к лабораторным работам и курсовому проекту по дисциплине Верификация моделей программ

Тезисы

Разработка унифицированного метода описания текстовых и графических пользовательских интерфейсов и его программная реализация

Статья

Кореньков Ю.Д., Логинов И.П. Исследование и разработка языкового инструментария на основе PEG-грамматики. Известия высших учебных заведений. Приборостроение. 2015. Т. 58. № 11. С. 934-938.. doi: 10.17586/0021-3454-2015-58-11-934-938

Статья

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