Защита диссертации - Дудина Ирина Александровна


Дудина Ирина Александровна

Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения

Диссертация защищена

Искомая степень: Кандидат физико-математических наук.

Специальность: 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Дата размещения: 13 марта 2019.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 16 мая 2019.

Официальный оппонент: Галатенко Владимир Антонович, доктор физико-математических наук (05.13.11).

Место работы, должность: Федеральное государственное учреждение «Федеральный научный центр Научно-исследовательский институт системных исследований Российской академии наук», заведующий сектором.

Основные публикации за последние 5 лет:

  1. ПРОБЛЕМЫ ОТЛАДКИ МНОГОПРОЦЕССНЫХ СИСТЕМ. Галатенко В.А., Костюхин К.А. Программные продукты и системы. 2017. № 3. С. 378-383.
  2. ПРИМЕНЕНИЕ ПРОТОКОЛА RSP В РАМКАХ КОНЦЕПЦИИ КОНТРОЛИРУЕМОГО ВЫПОЛНЕНИЯ ВСТРАИВАЕМЫХ ПРИЛОЖЕНИЙ. Галатенко В.А., Костюхин К.А., Дзабраев М.Д. Программная инженерия. 2017. Т. 8. № 1. С. 3-6.
  3. ДИРЕКТИВНАЯ И АВТОМАТИЧЕСКАЯ ВЕКТОРИЗАЦИИ ЦИКЛОВ. Вьюкова Н.И., Галатенко B.А., Самборский C.В. Программная инженерия. 2016. Т. 7. № 10. С. 435-445.
  4. ИСПОЛЬЗОВАНИЕ ВЕКТОРНЫХ РАСШИРЕНИЙ СОВРЕМЕННЫХ ПРОЦЕССОРОВ. Вьюкова Н.И., Галатенко В.А., Самборский С.В. Программная инженерия. 2016. Т. 7. № 4. С. 147-157.
  5. КОНТРОЛИРУЕМОЕ ВЫПОЛНЕНИЕ ПРИЛОЖЕНИЙ НА МНОГОПРОЦЕССОРНЫХ ПЛАТФОРМАХ. Бетелин В.Б., Галатенко В.А., Костюхин К.А. Информационные технологии. 2015. Т. 21. № 10. С. 723-728.
  6. СОВМЕЩЕНИЕ ВЫБОРА И ПЛАНИРОВАНИЯ КОМАНД В ПРОГРАММНОЙ КОНВЕЙЕРИЗАЦИИ ЦИКЛОВ. Вьюкова Н.И., Галатенко В.А., Самборский С.В. Программная инженерия. 2015. № 9. С. 3-10.
  7. К вопросу самовосстановления программного обеспечения в ARINC- и POSIX-системах. Бомбин А.А., Галатенко В.А., Костюхин К.А. Программная инженерия, 2015, № 3, стр. 3 - 12
  8. Controlled execution with explicit model. Бетелин В.Б., Галатенко В.А., Костюхин К. А. PROGRAMMING AND COMPUTER SOFTWARE, 2014, № 6, Т. 40, стр. 305 - 313
  9. Трассировка и самолечение в POSIX-системах. Бомбин А.А., Галатенко В.А., Костюхин К.А. Программные продукты и системы, 2014, № 108, стр. 5 - 9

Отзыв оппонента: Скачать

Официальный оппонент: Волконский Владимир Юрьевич, кандидат технических наук (05.13.11).

Место работы, должность: Публичное акционерное общество «Институт электронных управляющих машин им.И.С.Брука», начальник отделения «Системы программирования».

Основные публикации за последние 5 лет:

  1. Русяев Р.М., Нейман-заде М.И., Ермолицкий А.Е., Волконский В.Ю. Программно-аппаратные средства выявления ошибок обращения к памяти для архитектуры «Эльбрус». //Вопросы радиоэлектроники, сер. ЭВТ вып. 2, 2017, №3. С.33-38.
  2. Ким А.К., Волконский В.Ю., Груздов Ф.А., Нейман-заде М.И., Тихорский В.В. Аппаратно-программные технологии, реализованные на базе микропроцессоров с архитектурой «Эльбрус». // Качество и жизнь. Научно-производственный и культурно-образовательный ж-л Миннауки. Специальный выпуск. 2016. С.81-89.
  3. Roman M. Rusiaev, Murad I. Neiman-Zade, Alexandr V. Ermolitsky, Valery I. Perekatov, and Vladimir Yu. Volkonsky. Various Buffer Overflow Detection Means for Elbrus Microprocessors. // IEEE Proceedins of the 2016 International Conference on Engineering and Telecommunication (EnT-2016). November 29, 2016. P.118-122.
  4. Ермолицкий А.Е., Нейман-заде М.И., Четверина О.А., Маркин А.Л., Волконский В.Ю. Агрессивная инлайн-подстановка функций для VLIW-архитектур. // Труды ИСП РАН, Том 27, вып. 6, 2015 г.
  5. Ким А.К., Бычков И.Н., Волконский В.Ю., Воробушков В.В., Груздов Ф.А., Михайлов М.С., Нейман-заде М.И., Парахин Ю.Н., Семенихин С.В., Слесарев М.В., Фельдман В.М. Российские технологии "Эльбрус" для персональных компьютеров, серверов и суперкомпьютеров. // Современные информационные технологии и ИТ-образование. Сборник докладов 9-й международной научно-практической конференции, Москва, 14-16 ноября 2014. С.39-49.

Отзыв оппонента: Скачать

Ведущая организация: Федеральное государственное учреждение «Федеральный исследовательский центр «Информатика и управление» Российской академии наук».

Контактные данные: 119333, Москва, ул.Вавилова, 44 корп. 2, 8(499)135-62-60, ipiran@ipiran.ru, www.ipiran.ru

Основные публикации за последние 5 лет:

  1. N. A. Skvortsov, E. A. Avvakumova, D. O. Bryukhov, A. E. Vovchenko, A. A. Volnova, O. B. Dluzhnevskaya, P. V. Kaygorodov, L. A. Kalinichenko, A. Yu. Knyazev, D. A. Kovaleva, O. Yu. Malkov, A. S. Pozanenko, and S. A. Stupnikov. Conceptual Approach to Astronomical Problems. Astrophysical Bulletin. 71(1):114-124, 2016.
  2. Stupnikov S. A., Briukhov D. O., Skvortsov N. A. Co-lending Systemic Risk Analysis over Heterogeneous Data Collections. Informatics and Applications. Moscow: IPI RAN, 2016. -- V. 10, Iss. 1. -- P. 24-34.
  3. Nikolay A. Skvortsov, Leonid A. Kalinichenko, Dana A. Kovaleva, Oleg Y. Malkov. Search for hierarchical stellar systems of maximal multiplicity. Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015). CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 1752. P. 219-225.
  4. Sergey Stupnikov. Formal Semantics of a Language for Entity Resolution and Data Fusion and its Application for Verification of Data Integration Workflows. Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015). CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 1752. P. 159-167.
  5. Nikolay A. Skvortsov, Leonid A. Kalinichenko, Dmitry Yu. Kovalev. Conceptual modeling of subject domains in data intensive research. Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015). CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 1752. P. 7-15.
  6. Stupnikov Sergey, Miloslavskaya Natalia, Budzko Vladimir. Unification of Graph Data Models for Heterogeneous Security Information Resources’ Integration. Proc. of the 3rd International Conference on Future Internet of Things and Cloud. IEEE, 2015. -- P. 457-464.
  7. L. A. Kalinichenko, S. A. Stupnikov, A. E. Vovchenko, D. Y. Kovalev. Multi-Dialect Workflows. Advances in Databases and Information Systems: Proc. of the 18th East European Conference. LNCS 8716. -- Berlin-Heidelberg: Springer-Verlag, 2014. -- P. 352-365.

Отзыв ведущей организации: Скачать

Решение диссертационного совета по результатам защиты диссертации: Принято решение о присуждении степени.

Присутствовало 18 из 22 членов диссертационного совета: Томилин А.Н., Петренко А.К., Зеленов С.В., Абрамов С.А., Белеванцев А.А., Бурдонов И.Б., Дроздов А.Ю., Жданов А.А., Захаров В.Н., Карпов Л.Е., Крюков В.А., Кузнецов С.Д., Кузюрин Н.Н., Лаврищева Е.М., Позин Б.А., Семенов В.А., Серебряков В.А., Шнитман В.З.

Заключение диссертационного совета: Скачать