Логинов Иван Павлович

Логинов Иван Павлович

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

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

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

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

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

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

1. Стажировка "Семинар по основам преподавания в высшем образовании" в Центрально-Европейском университете 2019 Венгрия
2. Повышение квалификации Разработка онлайн курсов на платформе Open edX 2019 Российская Федерация Санкт-Петербург
3. Повышение квалификации Преподавание специальных дисциплин на английском языке (Content Area Teacher Training Program) 2017 США Тусон
4. Курсы повышения квалификации на базе НИУ ИТМО Информационная поддержка научной деятельности 2016 Информационная поддержка научной деятельности Российская Федерация Санкт-Петербург

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

  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. 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]
  5. Логинов И.П., Дергачев А.М., Павловский Е.А. Метод обеспечения переносимости программного обеспечения на основе перенацеливаемой среды выполнения программ. Научно-технический вестник информационных технологий, механики и оптики. 2020. Т. 20. № 3(127). С. 410-417. [Тип: Статья, Год: 2020]
  6. 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]
  7. Исследование и реализация алгоритма синтаксического анализа [Тип: Тезисы, Год: 2020]
  8. Разработка средства для использования промежуточного представления LLVM в управляемом коде [Тип: Тезисы, Год: 2020]
  9. Подход к разработке перенацеливаемого компилятора на основе декларативного описания целевых платформ [Тип: Тезисы, Год: 2020]
  10. 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]
  11. Подход к разработке инструментальных средств для ASIP // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. - [2019, электронный ресурс]. - Режим доступа: https://kmu.itmo.ru/digests/article/1580, своб. [Тип: Тезисы, Год: 2019]
  12. Синтаксический анализ для динамически расширяемых грамматик на основе PEG//Сборник тезисов докладов VIII конгресса молодых ученых [Тип: Тезисы, Год: 2019]
  13. 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]
  14. 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]
  15. Дергачев А.М., Жирков И.О., Логинов И.П., Кореньков Ю.Д. Реализация метаязыковой абстракции для поддержки ООП средствами языка Си. Программные продукты и системы. 2019. Т. 32. № 2. С. 190-196. [Тип: Статья, Год: 2019]
  16. Кореньков Ю.Д., Логинов И.П., Кузенкова Е.В. Применение декларативной модели описания целевых архитектур к существующим ISA. Альманах научных работ молодых ученых Университета ИТМО. 2019. Т. 1. С. 130-134. [Тип: Статья, Год: 2019]
  17. Методы проверки корректности сборщиков мусора [Тип: Тезисы, Год: 2019]
  18. Кузенкова Е.В., Кореньков Ю.Д., Логинов И.П. Сравнение сборщиков мусора в различных платформах. Альманах научных работ молодых ученых Университета ИТМО. 2019. Т. 1. С. 144-149. [Тип: Статья, Год: 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. I. Zhirkov - Low-Level Programming C, Assembly, and Program Execution on Intel® 64 Architecture (Technical editor) [Тип: Учебник, учебное пособие, Год: 2017]
  21. Кореньков Ю.Д., Логинов И.П. Исследование и разработка языкового инструментария на основе PEG-грамматики. Известия высших учебных заведений. Приборостроение. 2015. Т. 58. № 11. С. 934-938. [Тип: Статья, Год: 2015]
  22. 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]