Логинов Иван Павлович Доцент факультета программной инженерии и компьютерной техники Персоналия университета ИТМО Перейти к содержимому страницы.

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

Публикации

Логинов И.П., Гаврилов А.В., Исаев И.В., Николаев В.В., Харитонова А.Е., Хренова М.Н.

Гибридный метод автоматизированного извлечения спецификаций асинхронных взаимодействий в микросервисных архитектурах на платформе .NET // Инженерный вестник Дона [электронный журнал] -2026. - № 6(138) Подробнее

Данилов П.Ю., Логинов И.П.

Конфигурационно-управляемая система потоковой обработки данных//Сборник тезисов XV Конгресса молодых ученых ИТМО - 2026

Дергачев А.М., Кореньков Ю.Д., Логинов И.П., Сафронов А.Г.

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

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 Подробнее

Логинов И.П., Дергачев А.М., Павловский Е.А.

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

Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д.

Методы и средства обнаружения уязвимостей аллокаторов динамической памяти библиотеки glibc // Научно-технический вестник Поволжья -2020. - № 1. - С. 79-83 Подробнее

Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д.

Подход к верификации аллокаторов динамической памяти, основанный на символьном выполнении программ [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 Подробнее

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 Подробнее

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]. Режим доступа: https://kmu.itmo.ru/digests/article/3956 - 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 Подробнее

Логинов И.П., Дергачев А.М.

Подход к разработке перенацеливаемого компилятора на основе декларативного описания целевых платформ//Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2020]. - 2020

Коренькова Е.В., Логинов И.П., Кореньков Ю.Д.

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

Кореньков Ю.Д., Логинов И.П.

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

Коренькова Е.В., Кореньков Ю.Д., Логинов И.П.

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

Кореньков Ю.Д., Логинов И.П., Коренькова Е.В.

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

Дергачев А.М., Жирков И.О., Логинов И.П., Кореньков Ю.Д.

Реализация метаязыковой абстракции для поддержки ООП средствами языка Си // Программные продукты и системы -2019. - Т. 32. - № 2. - С. 190-196 Подробнее

Коренькова Е.В., Кореньков Ю.Д., Логинов И.П.

Методы проверки корректности сборщиков мусора//Сборник тезисов докладов VIII конгресса молодых ученых - 2019

Кореньков Ю.Д., Логинов И.П.

Синтаксический анализ для динамически расширяемых грамматик на основе PEG//Сборник тезисов докладов VIII конгресса молодых ученых - 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 Подробнее

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 Подробнее

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 Подробнее

Loginov I.

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

Korenkov Y., Loginov I., Lazdin A.

PEG-based language workbench//Proceedings of the 17th Conference of Open Innovations Association FRUCT, 2015, pp. 75-81 Подробнее

Кореньков Ю.Д., Логинов И.П.

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

Проекты

Разработка программного комплекса для автоматизированного анализа и документирования асинхронных взаимодействий в микросервисной архитектуре
10/14/2025 - 02/06/2026