Новости
Темы выпускных работ за 2012 год
Магистерские диссертации
Группа 675
1. Бурчацкий Рубен Арутович, «Разработка и реализация инструмента для проверки конвейерной архитектуры в компиляторе GCC», Рук. к.ф.-м.н. Гайсарян С.С.
2. Маркин Юрий Витальевич, «Исследование и разработка методов фаззинга для поиска ошибок в программах IP-телефонии», Рук. к.ф.-м.н. Гайсарян С.С.
3. Марковцев Вадим Анатольевич, «Реализация динамической перекомпиляции программы на базе инфраструктуры LLVM», Рук. к.ф.-м.н. Гайсарян С.С.
4. Прохоров Андрей Анатольевич, «Алгоритмы управления буферным пулом СУБД в системах, использующих флэш-память», Рук. д.т.н. Кузнецов С.Д.
5. Рындин Максим Геннадиевич, «Детерминированное воспроизведение программ на базе инфраструктуры Valgrind», Рук. к.ф.-м.н. Гайсарян С.С.
6. Сергеев Константин Владимирович, «Гомоморфное шифрование», Рук. к.ф.-м.н. Шокуров А.В.
7. Толстов Константин Викторович, «Тестирование протоколов загрузки программного обеспечения на бортовое оборудование», Рук. д.ф.-м.н. Петренко А.К.
Выпускные квалификационные работы на степень бакалавра
Группа 875
1. Аванесов Валерий Сергеевич, «Исследование и разработка методов автоматического анализа эмоциональной окраски сообщений микроблогов», Рук. к.ф.-м.н. Турдаков Д.Ю.
2. Андрианов Павел Сергеевич, «Автоматизация построения минимальных тестов, выявляющих заданные ошибки», Рук. к.ф.-м.н. Кулямин В.В.
3. Бузун Назар Олегович, «Выявление пересекающихся сообществ в социальных сетях», Рук. к.ф.-м.н. Турдаков Д.Ю.
4. Захаров Илья Сергеевич, «Моделирование окружения драйверов ОС Linux для их верификации», Рук. д.ф.-м.н. Петренко А.К.
5. Краснова Ксения Валерьевна, «Дополнительный анализ аргументов функций в системе статического анализатора кода Svace», Рук. к.ф.-м.н. Гайсарян С.С.
6. Романеев Михаил Сергеевич, «Интеграция в среду TrEx полносистемного трассировщика на основе программного симулятора», Рук. к.ф.-м.н. Гайсарян С.С.
7. Савченко Валерий Валерьевич, «Разработка оптимизаций, использующих профиль в LLVM», Рук. к.ф.-м.н. Гайсарян С.С.
8. Чихрадзе Кирилл Константинович, «Исследование свойств случайных графов, связанных с моделями социальных сетей», Рук. д.ф.-м.н. Кузюрин Н.Н.
9. Шумилин Александр Андреевич, «Исследование и разработка легковесного монитора ВМ для обеспечения виртуализации высокопроизводительных вычислений», Рук. к.ф.-м.н. Гайсарян С.С.