Главная страница « Преподаватели и сотрудники «

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

Дата рождения: 28.08
ассистент кафедры, также работает в отделе компиляторных технологий ИСП имени В. П. Иванникова РАН
E-mail:   

Новости
Информация
Студенты и аспиранты
Научно-исследовательский семинар
Спецсеминары
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

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

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

Ведет занятия практикума для студентов 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.

  

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

Обновлено: 26.III.2020