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

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

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

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

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

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

Публикации

24
Статья
2020 год

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

Статья
2020 год

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

Тезисы
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 год

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

Статья
2020 год

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

Статья
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. - Режим доступа: https://kmu.itmo.ru/digests/article/3232, своб.

Тезисы
2020 год

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

Статья
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.

Тезисы
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 год

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

Статья
2015 год

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

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

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

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