Аспирант Мулюков Родион Родионович

Мулюков Родион Родионович

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

Экзамены

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

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

Иностранный язык: отлично, 22.06.2015.
История и философия науки:хорошо, 23.06.2015.
Специальность 05.13.11: отлично, 1 июня 2016 года.

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

Тема диссертационного исследования: Исследование и разработка масштабируемого анализа потока данных с чувствительностью к путям выполнения для поиска ошибок в программном коде.
Утверждена на заседании Учёного совета ИСП РАН: Протокол №2014-13 от 26.12.2014 года.
Научный руководитель: Белеванцев Андрей Андреевич, к.ф.-м.н.

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

Статические анализаторы применяют различные виды анализа потока данных для поиска ошибок в коде программ. Они являются масштабируемыми, то есть время работы анализатора линейно зависит от объёма анализируемого кода. Анализаторы склонны выдавать ложные предупреждения об ошибках из-за недостаточной точности потоково-чувствительного анализа. Анализ, чувствительный к путям исполнения, позволяет получать более точные результаты, нежели потоково-чувствительный анализ, однако для рассмотрения всех путей исполнения требуется как минимум экспоненциальное время анализа относительно объёма кода. При разработке статического анализатора, на практике, некоторым детекторам отдельных классов ошибок вдобавок к потоково-чувствительному анализу достаточно учитывать лишь некоторую часть путей исполнения программы, чтобы извлечь нужную конкретно им информацию и получить более точные результаты. Чтобы повысить качество работы статического анализатора, нужно исследовать и разработать анализ потока данных с элементами анализа, чувствительного к путям, который можно применить в промышленной разработке статического анализатора.