Аспирантура ИСП РАН


Дмитриев Денис Сергеевич

Направление подготовки: 09.06.01 «Информатика и вычислительная техника».
Направленность (специальность): 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
Дата зачисления: 01 октября 2015 года.
Приказ о зачислении: 11-у от 23.09.2015 года.
Срок окончания аспирантуры: 30 сентября 2019 года.
Форма обучения: очная.

Достижения в научно-исследовательской деятельности

Тема диссертационного исследования: Метод обратной отладки виртуальных машин.
Утверждена на заседании Учёного совета ИСП РАН: Протокол №2015-15 от 25.12.2015 года.
Научный руководитель: Иванников Виктор Петрович, академик, д.ф.-м.н.

Кандидатские экзамены

Иностранный язык: отлично, июнь 2016 года.
Педагогика высшей школы: отлично, июнь 2016 года.


История и философия науки: хорошо, июнь 2017 года.

Сведения о планируемой диссертационной работе

1. Цель диссертационной работы: Сократить время, затрачиваемое на отладку сложных ошибок в программном обеспечении.

2. Задачи диссертационной работы: Исследование методов обратной отладки виртуальных машин. Разработка новых методов отладки виртуальных машин.

3. Актуальность и научная новизна планируемой диссертационной работы: Обратная отладка позволяет выполнять поиск сложных ошибок в программах, модулях ядра, ядре операционной системы быстрее чем классические методы отладки (отладочный вывод, использование отладчика при прямом проходе). Методы обратной отладки позволяют исследовать ранее пройденные состояния программы для поиска источника ошибки по ее проявлению. Существующие методы обратной отладки имеют ряд недостатков: скорость работы, направленность на конкретную архитектуру (в основном i386), отладка процессора (отсутствует возможность отладки всей системы).

Данные об участии в фундаментальных научных исследованиях, программах и грантах

  1. Исследование и разработка методов динамического анализа программ с помощью виртуальной машины, 14-07-00411 А.

Информация об участии в конференциях различного уровня

  1. Рускрипто 2013, Россия, Солнечногорск, 27 — 30 марта 2013. Участие: очное, с публикацией.
  2. ESEC/FSE 2015, Италия, Бергамо, 31 августа — 4 сентября 2015. Участие: заочное, с публикацией.
  3. Третья международная научно-практическая конференция ТМPА-2015 СПБ, Россия, Санкт-Петербург, 12-14 ноября 2015 г. Участие: заочное, с публикацией.

Список опубликованных научных и учебно-методических работ

  1. Перспективы применения детерминированного воспроизведения работы виртуальной машины при решении задач компьютерной безопасности. П.М Довгалюк, Н.И. Фурсова, Д.С. Дмитриев. Журнал «Системы высокой доступности» №3, 2013 г.
  2. Don't panic: reverse debugging of kernel drivers. P. M. Dovgaluk, D. S. Dmitriev, A. V. Makarov. Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering.