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

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

Должность: ассистент (квалификационная категория "ассистент")

Подразделение: факультет программной инженерии и компьютерной техники

Наименование направления подготовки и (или) специальности:

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

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

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

1. Повышение квалификации Психолого-педагогическое обеспечение инклюзивного высшего образования 2018 Российская Федерация Санкт-Петербург

Список трудов:

  1. Разработка перенацеливаемой отладочной инфраструктуры// Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2020. - Режим доступа: https://kmu.itmo.ru/digests/article/3232, своб. [Тип: Тезисы, Год: 2020]
  2. Дергачев А.М., Садырин Д.С., Ильина А.Г., Логинов И.П., Кореньков Ю.Д. Подход к верификации аллокаторов динамической памяти, основанный на символьном выполнении программ. Научно-технический вестник информационных технологий, механики и оптики. 2020. Т. 20. № 1(125). С. 101-109. [Тип: Статья, Год: 2020]
  3. Дергачев А.М., Садырин Д.С., Ильина А.Г., Логинов И.П., Кореньков Ю.Д. Методы и средства обнаружения уязвимостей аллокаторов динамической памяти библиотеки glibc. Научно-технический вестник Поволжья. 2020. № 1. С. 79-83. [Тип: Статья, Год: 2020]
  4. Разработка средства для использования промежуточного представления LLVM в управляемом коде [Тип: Тезисы, Год: 2020]
  5. 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]
  6. Кореньков Ю.Д. Метод предметно-ориентированного анализа исходных текстов программ на основе семантических моделей. Научно-технический вестник Поволжья. 2020. № 7. С. 32-37. [Тип: Статья, Год: 2020]
  7. Исследование и реализация алгоритма синтаксического анализа [Тип: Тезисы, Год: 2020]
  8. 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]
  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. [Тип: Статья, Год: 2020]
  10. Итеративное преобразование семантических моделей программ // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2020. - Режим доступа: https://kmu.itmo.ru/digests/article/4180, своб. - 2020 [Тип: Тезисы, Год: 2020]
  11. Синтаксический анализ для динамически расширяемых грамматик на основе PEG//Сборник тезисов докладов VIII конгресса молодых ученых [Тип: Тезисы, Год: 2019]
  12. Методы проверки корректности сборщиков мусора [Тип: Тезисы, Год: 2019]
  13. Дергачев А.М., Жирков И.О., Логинов И.П., Кореньков Ю.Д. Реализация метаязыковой абстракции для поддержки ООП средствами языка Си. Программные продукты и системы. 2019. Т. 32. № 2. С. 190-196. [Тип: Статья, Год: 2019]
  14. 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]
  15. Подход к разработке инструментальных средств для ASIP // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. - [2019, электронный ресурс]. - Режим доступа: https://kmu.itmo.ru/digests/article/1580, своб. [Тип: Тезисы, Год: 2019]
  16. Кузенкова Е.В., Кореньков Ю.Д., Логинов И.П. Сравнение сборщиков мусора в различных платформах. Альманах научных работ молодых ученых Университета ИТМО. 2019. Т. 1. С. 144-149. [Тип: Статья, Год: 2019]
  17. Кореньков Ю.Д., Логинов И.П., Кузенкова Е.В. Применение декларативной модели описания целевых архитектур к существующим ISA. Альманах научных работ молодых ученых Университета ИТМО. 2019. Т. 1. С. 130-134. [Тип: Статья, Год: 2019]
  18. 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]
  19. 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. [Тип: Статья, Год: 2018]
  20. Практические указания к лабораторным работам и курсовому проекту по дисциплине Верификация моделей программ [Тип: Учебник, учебное пособие, Год: 2017]
  21. Разработка унифицированного метода описания текстовых и графических пользовательских интерфейсов и его программная реализация [Тип: Тезисы, Год: 2016]
  22. Кореньков Ю.Д., Логинов И.П. Исследование и разработка языкового инструментария на основе PEG-грамматики. Известия высших учебных заведений. Приборостроение. 2015. Т. 58. № 11. С. 934-938. [Тип: Статья, Год: 2015]
  23. 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]