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

Кореньков Юрий Дмитриевич
кандидат технических наук
доцент (квалификационная категория "ординарный доцент"), факультет программной инженерии и компьютерной техники

Преподаваемые дисциплины в текущем учебном году

  • Низкоуровневое программирование
  • Системное программное обеспечение

Педагогический стаж

Общий стаж:
10 лет

Публикации

27
Тезисы
2022 год

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

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

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

Тезисы
2020 год

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

Статья
2020 год

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 год

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.

Статья
2020 год

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.

Статья
2020 год

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

Тезисы
2020 год

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

Тезисы
2020 год

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

Статья
2020 год

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.

Тезисы
2020 год

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

Статья
2020 год

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

Статья
2020 год

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

Статья
2020 год

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

Тезисы
2019 год

Синтаксический анализ для динамически расширяемых грамматик на основе PEG//Сборник тезисов докладов VIII конгресса молодых ученых

Тезисы
2019 год

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

Статья
2019 год

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.

Статья
2019 год

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.

Статья
2019 год

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

Статья
2019 год

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

Статья
2019 год

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

Тезисы
2019 год

Подход к разработке инструментальных средств для ASIP // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. - [2019, электронный ресурс]. - Режим доступа: https://kmu.itmo.ru/digests/article/1580, своб.

Статья
2018 год

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.

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

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

Тезисы
2016 год

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

Статья
2015 год

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

Статья
2015 год

Korenkov Y., Loginov I., Lazdin A. PEG-based language workbench. Proceedings of the 17th Conference of Open Innovations Association FRUCT. 2015. pp. 75-81.

Повышение квалификации

Повышение квалификации
2021 год
Интерактивные технологии в дистанционном обучении

Российская Федерация, Санкт-Петербург

Повышение квалификации
2018 год
Психолого-педагогическое обеспечение инклюзивного высшего образования

Российская Федерация, Санкт-Петербург

Повышение квалификации
2016 год
Разработка адаптированных образовательных программ высшего образования для обучающихся инвалидов и лиц с ограниченными возможностями здоровья

Российская Федерация, Санкт-Петербург