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

Окончила факультет Вычислительной математики и кибернетики МГУ (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. I. Dudina [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.