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

Учебник, учебное пособие

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

Статья

Дергачев А.М., Садырин Д.С., Гурьянова А.Г., Логинов И.П., Кореньков Ю.Д. Подход к верификации аллокаторов динамической памяти, основанный на символьном выполнении программ [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.

Статья

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

Статья

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.

Тезисы

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

Статья

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.

Тезисы

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

Тезисы

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

Статья

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.

Статья

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

Тезисы

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

Статья

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.

Тезисы

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

Тезисы

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

Тезисы

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

Статья

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. Т. 32. № 2. С. 190-196.

Статья

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

Статья

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

Статья

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., 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.

Учебник, учебное пособие

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

Статья

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.