Статьи в журналах
Статьи в сборниках
Тезисы докладов
Доклады на научных конференциях
НИР и НИОКР
Свидетельства о регистрации прав на программное обеспечение
Научные отчёты
Диссертации
–
Статьи в журналах
-
- 2020 Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения
- Бородин А.Е., Дудина И.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 87-100 DOI
-
- 2019 РОЛЬ МЕТИЛИРОВАНИЯ 5 ГЕНОВ ИЗ РАЙОНА 3Р21.31 В ПАТОГЕНЕЗЕ МОЛЕКУЛЯРНЫХ ПОДТИПОВ РАКА МОЛОЧНОЙ ЖЕЛЕЗЫ*
- Рябчиков А., Филиппова Е.А., Пронина И.В., Бурденный А.М., Лукина С.С., Казубская Т.П., Воротников И.К., Дудина И.А., Казаков А.М., Талипов О.А., Логинов В.И., Брага2 Э.А., Титов К.С.
- в журнале Практическая онкология, том 20, № 1, с. 43-51
-
- 2019 Перспективы использования микроРНК в качестве диагностических и прогностических биомаркеров меланомы
- Чулкова С.В., Рябчиков Д.А., Дудина И.А., Казаков А.М., Егорова А.В., Титов К.С., Хагажеева М.Н., Гладилина И.А., Галаева З.М., Лепкова Н.В., Тупицын Н.Н.
- в журнале Российский биотерапевтический журнал, издательство Изд. группа РОНЦ (М.), том 18, № 4, с. 51-56 DOI
-
- 2019 SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study
- Malyshev Nikita, Dudina Irina, Kutz Daniil, Novikov Alexander, Vartanov Sergey
- в журнале IEEE 2019 Ivannikov Ispras Open Conference (ISPRAS), с. 9-15 DOI
-
-
- 2018 Об одном подходе к анализу строк в языке Си для поиска переполнения буфера
- Дудина И.А., Малышев Н.Е.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 5, с. 55-74 DOI
-
-
- 2017 Using Static Symbolic Execution to Detect Buffer Overflows
- Dudina I.A., Belevantsev A.A.
- в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 43, № 5, с. 277-288
-
- 2017 Применение статического символьного выполнения для поиска ошибок доступа к буферу
- Дудина И.А., Белеванцев А.А.
- в журнале Программирование, № 5, с. 3-17
-
-
- 2016 Поиск ошибок доступа к буферу в программах на языке C/C++
- Дудина И.А., Кошелев В.К., Бородин А.Е.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 28, № 4, с. 149-168 DOI
-
-
- 2015 Interprocedural taint analysis for LLVM-bitcode
- Koshelev V.K., Dudina I.A., Izbyshev A.O.
- в журнале Programming and Computer Software, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 41, № 4, с. 237-245
-
- 2014 Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM
- Кошелев В.К., Избышев А.О., Дудина И.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 2, с. 97-118
-
-
- 2013 Разработка и реализация облачной системы для решения высокопроизводительных задач
- Кудрявцев А.О., Кошелев В.К., Избышев А.О., Дудина И.А., Курмангалеев Ш.Ф., Аветисян А.И., Иванников В.П., Велихов В.Е., Рябинкин Е.А.
- в журнале Труды Института системного программирования РАН (электронный журнал), том 24, с. 13-34 DOI
Статьи в сборниках
-
- 2018 Design and Development of Svace Static Analyzers
- Andrey Belevantsev, Alexey Borodin, Irina Dudina, Valery Ignatiev, Alexey Izbyshev, Sergey Polyakov, Evgeny Velesevich, Dmitry Zhurikhin
- в сборнике Ivannikov Memorial Workshop, место издания IEEE Computer Society Conference Publishing Services Yerevan, Armeniya, с. 3-9 DOI
-
- 2018 Buffer Overflow Detection via Static Analysis: Expectations vs. Reality
- Dudina I.
- в сборнике Preliminary Proceedings of the 12 th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2018),, с. 107-110
- редакторы Камкин Александр Сергеевич, Петренко Александр Константинович
Тезисы докладов
-
- 2022 Детектор ошибок при использовании системного вызова fork, приводящих к непреднамеренному порождению процессов
- Дудина И.А., Ланбин Н.А.
- в сборнике Ломоносовские чтения-2022: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов, серия СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ, издательство ООО "МАКС Пресс" (Москва), том 2022, тезисы, с. 103-105
-
- 2018 Метилирование промоторных CpG-островков генов микроРНК при люминальном раке молочной железыХ Съезд онкологов и радиологов стран СНГ и Евразии
- Рябчиков Д.А.1, Дудина И.А.2, Воротников И.К1, Денчик Д.А., Чулкова С.В., Казубская Т.П., Логинов В.И., Бурденный А.M.
- в сборнике Евразийский онкологический журнал, 2018, том 6, № 1, с. 137-138, место издания международный научно-практический журнал Москва, тезисы, с. 137-138
-
- 2018 Методы организации межпроцедурного анализа для поиска ошибок переполнения буфера
- Дудина И.А., Белеванцев А.А.
- в сборнике Ломоносовские чтения 2018 ф-т ВМК МГУ, место издания Макс-Пресс, тезисы, с. 33-34
-
- 2017 К вопросу о преодолении ограничений статического анализа при поиске дефектов переполнения буфера
- Дудина И.А., Белеванцев А.А.
- в сборнике Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов, место издания МАКС Пресс Москва, тезисы, с. 35-36
Доклады на научных конференциях
-
- 2022 Детектор ошибок при использовании системного вызова fork, приводящих к непреднамеренному порождению процессов (Устный)
- Авторы: Дудина И.А., Ланбин Н.А.
- Ломоносовские чтения - 2022, Секция вычислительная математика и кибернетика, 14-22 апреля 2022, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Russia, 14-22 апреля 2022
-
- 2020 Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения (Устный)
- Авторы: Бородин Алексей, Дудина Ирина
- ОТКРЫТАЯ КОНФЕРЕНЦИЯ ИСП РАН ИМ. В.П. ИВАННИКОВА, Москва, Russia, 10-11 декабря 2020
-
- 2019 Применение SMT-солверов в статическом и динамическом символьном выполнении: экспериментальное исследование (Устный)
- Авторы: Никита Малышев, Ирина Дудина, Даниил Куц, Александр Новиков, Сергей Вартанов
- Открытая конференция ИСП РАН им. В.П.Иванникова, Главное здание Российской академии наук, Москва, Russia, 5-6 декабря 2019
-
- 2018 Об одном подходе к анализу строк в языке Си для поиска переполнения буфера (Устный)
- Авторы: Дудина И.А., Малышев Н.Е.
- Открытая конференция ИСП РАН им. В.П. Иванникова, МОСКВА, 22-23 Ноября 2018 Г., Москва, Russia, 22-23 ноября 2018
-
- 2018 Статический анализатор Svace: от семинарского доклада до промышленного инструмента (Устный)
- Авторы: Белеванцев А.А., Дудина И.А.
- Заседание семинара, посвященное 100-летию со Дня Рождения Михаила Романовича Шура-Бура, Москва, Russia, 9 ноября 2018
-
- 2018 Buffer Overflow Detection via Static Analysis: Expectations vs. Reality (Устный)
- Автор: Irina Dudina
- XII Международная конференция молодых ученых в области программной инженерии SYRCoSE, Великий Новгород, Russia, 30 мая - 1 июня 2018
-
- 2018 Design and development of Svace static analyzers (Устный)
- Авторы: Evgeny Velesevich, Sergey Polyakov, Alexey Izbyshev, Valery Ignatiev, Irina Dudina, Alexey Borodin, Andrey Belevantsev, Dmitry Zhurikhin
- Ivannikov Memorial Workshop, Ереван, Armenia, 3-4 мая 2018
-
- 2018 Об одном методе поиска переполнения буфера в программах на языках C/C++ (Устный)
- Автор: Дудина И.А.
- VII Конгресс молодых ученых, Санкт-Петербург, Russia, 17-20 апреля 2018
-
- 2018 Методы организации межпроцедурного анализа для поиска ошибок переполнения буфера (Устный)
- Авторы: Дудина И.А., Белеванцев А.А.
- Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Russia, 16-27 апреля 2018
-
- 2017 К вопросу о преодолении ограничений статического анализа при поиске дефектов переполнения буфера (Устный)
- Авторы: Дудина И.А., Белеванцев А.А.
- Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Russia, 17-26 апреля 2017
-
- 2016 Обнаружение ошибок доступа к буферу в программах на языке C / C ++ с помощью статического анализа (Устный)
- Автор: Дудина Ирина Александровна
- ISPRAS Open, Москва, Russia, 1-2 декабря 2016
НИР и НИОКР
-
- 1 января 2021 - 31 декабря 2025 Исследование методов построения систем анализа и проектирования программного обеспечения
- Кафедра системного программирования
- Руководитель: Аветисян А.И. Ответственный исполнитель: Корухова Л.С. Участники НИР: Хорошилов А.В., Архипенко К.В., Корныхин Е.В., Кулямин В.В., Малышко В.В., Иванишин В.А., Майоров В.Д., Богатенкова А.О., Гомзин А.Г., Кузьменкова Е.А., Соловьев М.А., Бахтин В.А., Манушин Д.В., Дудина И.А., Батузов К.А., Петров О.М., Белеванцев А.А., Падарян В.А., Петренко А.К., Кузнецов С.Д., Турдаков Д.Ю., Игнатьев В.Н., Перминов А.И.
-
- 1 января 2016 - 31 декабря 2020 Развитие теории и методов анализа и проектирования программ
- Кафедра системного программирования
- Руководители: Аветисян А.И., Иванников В.П., Корухова Л.С. Ответственный исполнитель: Корухова Л.С. Участники НИР: Аветисян А.И., Архипенко К.В., Батузов К.А., Белеванцев А.А., Вишняков А.В., Гайсарян С.С., Гомзин А.Г., Дроздова Е.А., Дудина И.А., Жаботинский Е.А., Колганов А.С., Корныхин Е.В., Крюков В.А., Кузьменкова Е.А., Кулямин В.В., Маллачиев К.А., Малышко В.В., Манушин Д.В., Мордань В.О., Ниськов Ф.В., Падарян В.А., Соловьев М.А., Турдаков Д.Ю., Хорошилов А.В., Шарыгин Е.Ю., Яцков А.К., Яшин С.В.
-
- 1 января 2011 - 31 декабря 2015 Теоретические основы и методы анализа и проектирования программ
- Кафедра системного программирования
- Руководитель: Иванников В.П. Ответственный исполнитель: Корухова Л.С. Участники НИР: Карпов Л.Е., Хорошилов А.В., Гайсарян С.С., Притула М.Н., Корныхин Е.В., Крюков В.А., Шарыгин Е.Ю., Малышко В.В., Кулямин В.В., Иванишин В.А., Клеменков П.А., Гомзин А.Г., Теймуразов К.Б., Федоренко Д.Г., Кузьменкова Е.А., Соловьев М.А., Бахтин В.А., Морозов С.В., Андрианов И.А., Маллачиев К.А., Кошелев В.К., Камкин А.С., Батузов К.А., Горемыкин О.В., Серебряков В.А., Мандрыкин М.У., Белеванцев А.А., Тарлапан О.А., Аветисян А.И., Буздалов Д.В., Шуберт А.В., Падарян В.А., Меркулов А.П., Кузнецов К.А., Петренко А.К., Кузнецов С.Д., Турдаков Д.Ю., Вартанов С.П., Алексиянц А.В., Посконин А.В., Дудина И.А.
Свидетельства о регистрации прав на программное обеспечение
-
- 2022 Статический анализатор Svace (SOFT)
- Авторы: Аветисян А.И., Афанасьев В.О., Белеванцев А.А., Беляев М.В., Бескровный А.В., Бородин А.Е., Вартанов С.П., Велесевич Е.А., Волков А.Е., Гайсарян С.С., Дворцова В.В., Дудина И.А., Журихин Д.М., Иванов Д.А., Игнатьев В.Н., Избышев А.О., Малышев Н.Е., Несов В.С., Поляков С.А., Сыромятников С.В., Шимчик Н.В.
- #2022618173, 5 мая
-
- 2013 Программный комплекс «Виртуальный суперкомпьютер» (тип не указан)
- Авторы: Кудрявцев А.О., Кошелев В.К., Избышев А.О., Павлович Б., Дудина И.А.
- #2013616331, 3 июля
Научные отчёты
-
- 2021 Исследование методов построения систем анализа и проектирования программного обеспечения. Этап 1
- Авторы: Корухова Л.С., Дудина И.А., Кулямин В.В.
- #121042600045-5, 14 с.
Диссертации
-
- 2019 Поиск ошибок переполнения буфера в исходном коде программ с помощью символьного выполнения
- Кандидатская диссертация по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей (физ.-мат. науки)
- Автор: Дудина И.А., к.ф.-м.н.
- Научный руководитель: Белеванцев А.А., д.ф.-м.н., МГУ имени М.В. Ломоносова
- Защищена в совете Д 002.087.01 при ИСП РАН
- Организация, в которой выполнялась работа: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова РАН и кафедра системного программирования факультета вычислительной математики и кибернетики Федерального государственного бюджетного образовательного учреждения высшего образования «Московский государственный университет имени М.В. Ломоносова»
- Ведущая организация: Федеральный исследовательский центр «Информатика и управление» Российской академии наук
- Оппоненты: Галатенко В.А., Волконский В.Ю.