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

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

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

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

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

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

Публикации

22
Тезисы
2020 год

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

Статья
2020 год

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

Статья
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 год

Логинов И.П., Дергачев А.М., Павловский Е.А. Метод обеспечения переносимости программного обеспечения на основе перенацеливаемой среды выполнения программ [Software portability based on retargetable runtime environment]. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2020. Т. 20. № 3(127). С. 410-417.

Тезисы
2020 год

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

Статья
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 год

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

Тезисы
2020 год

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

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

Тезисы
2019 год

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

Статья
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 год

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

Тезисы
2019 год

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

Статья
2019 год

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

Тезисы
2019 год

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

Статья
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 год

I. Zhirkov - Low-Level Programming C, Assembly, and Program Execution on Intel® 64 Architecture (Technical editor)

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

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

Стажировка
2019 год
"Семинар по основам преподавания в высшем образовании" в Центрально-Европейском университете

Венгрия

Повышение квалификации
2019 год
Разработка онлайн курсов на платформе Open edX

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

Повышение квалификации
2017 год
Преподавание специальных дисциплин на английском языке (Content Area Teacher Training Program)

США, Тусон

Курсы повышения квалификации на базе НИУ ИТМО
2016 год
Информационная поддержка научной деятельности

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