ИСТИНА

Дудина Ирина Александровна пользователь

кандидат физико-математических наук с 2019 года

Прежние места работы (Нажмите для отображения)

Соавторы: Белеванцев А.А., Кошелев В.К., Избышев А.О., Бородин А.Е., Бурденный А.М., Воротников И.К., Казубская Т.П., Логинов В.И., Рябчиков Д.А., Титов В.С., Денчик Д.А., Игнатьев В.Н., Кудрявцев А.О. показать полностью..., Малышев Н.Е., Халилов В.Р., Чулкова С.В., Evgeny V., Filippova E.A., Kazakov A.M., Kutz D., Аветисян А.И., Борзилов А.И., Брага Э.А., Вартанов С.П., Гагаева З.Ш., Гайсарян С.С., Гладилина И.А., Журихин Д.М., Иванников В.П., Курмангалеев Ш.Ф., Ланбин Н.А., Лепкова Н.В., Лукина С.А., Поляков С.В., Пронина И.В., Рябинкин Е.А., Рябчиков А.М., Тупицын Н.Н., хагажеева м.н.

18 статей, 11 докладов на конференциях, 4 тезисов докладов, 3 НИР, 2 свидетельства о регистрации прав на ПО, 1 научный отчёт, 1 диссертация

Количество цитирований статей в журналах по данным Web of Science: 14, Scopus: 17
РИНЦ:

IstinaResearcherID (IRID): 26925438

ResearcherID: AAA-9445-2019

Scopus Author ID: 56747877600

ORCID: 0000-0002-5359-184X

Деятельность

---

• Статьи в журналах

  • • 2020 Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения
    • Бородин А.Е., Дудина И.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 32, № 6, с. 87-100 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
  • • 2019 Перспективы использования микроРНК в качестве диагностических и прогностических биомаркеров меланомы
    • Чулкова С.В., Рябчиков Д.А., Дудина И.А., Казаков А.М., Егорова А.В., Титов К.С., Хагажеева М.Н., Гладилина И.А., Галаева З.М., Лепкова Н.В., Тупицын Н.Н.
    • в журнале Российский биотерапевтический журнал, издательство Изд. группа РОНЦ (М.), том 18, № 4, с. 51-56 DOI
  • • 2019 РОЛЬ МЕТИЛИРОВАНИЯ 5 ГЕНОВ ИЗ РАЙОНА 3Р21.31 В ПАТОГЕНЕЗЕ МОЛЕКУЛЯРНЫХ ПОДТИПОВ РАКА МОЛОЧНОЙ ЖЕЛЕЗЫ*
    • Рябчиков А., Филиппова Е.А., Пронина И.В., Бурденный А.М., Лукина С.С., Казубская Т.П., Воротников И.К., Дудина И.А., Казаков А.М., Талипов О.А., Логинов В.И., Брага2 Э.А., Титов К.С.
    • в журнале Практическая онкология, том 20, № 1, с. 43-51
  • • 2018 Об одном подходе к анализу строк в языке Си для поиска переполнения буфера
    • Дудина И.А., Малышев Н.Е.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 5, с. 55-74 DOI
  • • 2018 Роль метилирования генов микроРНК в различных молекулярно-биологических подтипах рака молочной железы
    • Рябчиков Д.А., Дудина И.А., Воротников И.К., Талипов О.А., Титов К.С., Денчик Д.А., Казубская Т.П., Бурденный А.М., Логинов В.И.
    • в журнале Злокачественные опухоли, том 8, № 1, с. 5-11
  • • 2018 Статический анализ для поиска переполнения буфера: актуальные направления развития алгоритмов
    • Дудина И.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 30, № 3, с. 21-30 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, № 5, с. 119-134 DOI
  • • 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
  • • 2015 Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя
    • Кошелев В.К., Дудина И.А., Игнатьев В.И., Борзилов А.И.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 27, № 5, с. 59-86 DOI
  • • 2014 Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM
    • Кошелев В.К., Избышев А.О., Дудина И.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 26, № 2, с. 97-118
  • • 2013 Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях
    • Дудина И.А., Кудрявцев А.О., Гайсарян С.С.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 24, с. 35-48
  • • 2013 Разработка и реализация облачной системы для решения высокопроизводительных задач
    • Кудрявцев А.О., Кошелев В.К., Избышев А.О., Дудина И.А., Курмангалеев Ш.Ф., Аветисян А.И., Иванников В.П., Велихов В.Е., Рябинкин Е.А.
    • в журнале Труды Института системного программирования РАН (электронный журнал), том 24, с. 13-34 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
    • редакторы Камкин Александр Сергеевич, Петренко Александр Константинович
  • 
    • 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

• Доклады на конференциях

  • • 2022 Детектор ошибок при использовании системного вызова fork, приводящих к непреднамеренному порождению процессов (Устный)
    • Авторы: Дудина И.А., Ланбин Н.А.
    • Ломоносовские чтения - 2022, Секция вычислительная математика и кибернетика, 14-22 апреля 2022, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 14-22 апреля 2022
  • • 2020 Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения (Устный)
    • Авторы: Бородин Алексей, Дудина Ирина
    • ОТКРЫТАЯ КОНФЕРЕНЦИЯ ИСП РАН ИМ. В.П. ИВАННИКОВА, Москва, Россия, 10-11 декабря 2020
  • • 2019 Применение SMT-солверов в статическом и динамическом символьном выполнении: экспериментальное исследование (Устный)
    • Авторы: Никита Малышев, Ирина Дудина, Даниил Куц, Александр Новиков, Сергей Вартанов
    • Открытая конференция ИСП РАН им. В.П.Иванникова, Главное здание Российской академии наук, Москва, Россия, 5-6 декабря 2019
  • • 2018 Об одном подходе к анализу строк в языке Си для поиска переполнения буфера (Устный)
    • Авторы: Дудина И.А., Малышев Н.Е.
    • Открытая конференция ИСП РАН им. В.П. Иванникова, МОСКВА, 22-23 Ноября 2018 Г., Москва, Россия, 22-23 ноября 2018
  • • 2018 Статический анализатор Svace: от семинарского доклада до промышленного инструмента (Устный)
    • Авторы: Дудина И.А., Белеванцев А.А.
    • Заседание семинара, посвященное 100-летию со Дня Рождения Михаила Романовича Шура-Бура, Москва, Россия, 9 ноября 2018
  • • 2018 Buffer Overflow Detection via Static Analysis: Expectations vs. Reality (Устный)
    • Автор: Irina Dudina
    • XII Международная конференция молодых ученых в области программной инженерии SYRCoSE, Великий Новгород, Россия, 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, Ереван, Армения, 3-4 мая 2018
  • • 2018 Об одном методе поиска переполнения буфера в программах на языках C/C++ (Устный)
    • Автор: Дудина И.А.
    • VII Конгресс молодых ученых, Санкт-Петербург, Россия, 17-20 апреля 2018
  • • 2018 Методы организации межпроцедурного анализа для поиска ошибок переполнения буфера (Устный)
    • Авторы: Белеванцев А.А., Дудина И.А.
    • Ломоносовские чтения-2018, секция "Вычислительная математика и кибернетика", МГУ имени М.В. Ломоносова, Россия, 16-27 апреля 2018
  • • 2017 К вопросу о преодолении ограничений статического анализа при поиске дефектов переполнения буфера (Устный)
    • Авторы: Дудина И.А., Белеванцев А.А.
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
  • • 2016 Обнаружение ошибок доступа к буферу в программах на языке C / C ++ с помощью статического анализа (Устный)
    • Автор: Дудина Ирина Александровна
    • ISPRAS Open, Москва, Россия, 1-2 декабря 2016

• Тезисы докладов

  • • 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

• НИРы

  • • 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 при ИСП РАН
    • Организация, в которой выполнялась работа: Федеральное государственное бюджетное учреждение науки Институт системного программирования им. В.П. Иванникова РАН и кафедра системного программирования факультета вычислительной математики и кибернетики Федерального государственного бюджетного образовательного учреждения высшего образования «Московский государственный университет имени М.В. Ломоносова»
    • Ведущая организация: Федеральный исследовательский центр «Информатика и управление» Российской академии наук
    • Оппоненты: Галатенко В.А., Волконский В.Ю.

---