Окончила факультет Вычислительной математики и кибернетики МГУ (2014), аспирантуру факультета ВМК (2018). Защитила диссертацию на соискание степени кандидата физико-математических наук (2019). Тема диссертации: «Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения». Научный руководитель: Белеванцев А. А..

С 2018 по 2022 год работала в МГУ в должности ассистента кафедры системного программирования.

Вела занятия практикума для студентов 1 курса бакалавриата. Ассистировала чтению лекционных курсов в магистратуре: «Анализ программ: понимание и оптимизация», «Производительность программных систем», «Современные архитектуры и компиляторные технологии», «Технологии программирования для параллельных архитектур».

Автор более 10 научных публикаций, в том числе:

1. Дудина И. А., Белеванцев А. А. Применение статического символьного выполнения для поиска ошибок доступа к буферу // Программирование. –– 2017. –– No 5. –– С. 3–17.
   

2. Дудина И. А. Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа // Труды Института системногопрограммирования РАН. –– 2016. –– Т. 28, No 5. –– С. 119–134.
   

3. Дудина И. А., Кошелев В. К., Бородин А. Е. Поиск ошибок доступа к буферу в программах на языке C/C++ // Труды Института системного программирования РАН. –– 2016. –– Т. 28, No 4. –– С. 149–168.
   

4. Dudina I. [et al.]. Design and Development of Svace Static Analyzers // 2018 Ivannikov Memorial Workshop (IVMEM). –– 2018. –– P. 3–9.
   

5. Дудина И. А., Малышев Н. Е. Об одном подходе к анализу строк в языке Си для поиска переполнения буфера // Труды Института системного программирования РАН. –– 2018. –– Т. 30, No 5. –– С. 55–74.
   

6. Dudina I. A. Buffer Overflow Detection via Static Analysis: Expectations vs. Reality // Proceedings of ISP RAS. –– 2018. –– Vol. 30, no. 3. –– P. 21–30.
   

7. Дудина И. А., Белеванцев А. А. К вопросу о преодолении ограничений статического анализа при поиске дефектов переполнения буфера // Ломоносовские чтения 2017 ф-т ВМК МГУ. Тезисы докладов. –– МАКС Пресс -- Москва, 2017. –– С. 35–36.
   

8. Дудина И. А., Белеванцев А. А. Методы организации межпроцедурного анализа для поиска ошибок переполнения буфера // Ломоносовские чтения 2018 ф-т ВМК МГУ. Тезисы докладов. –– МАКС Пресс -- Москва, 2018. –– С. 33–34.

© Кафедра системного программирования ВМК МГУ.

Обновлено: 25.II.2024