НОЦ СП. Темы выпускных работ за 2009 год

Темы выпускных работ за 2011 год

Магистерские диссертации

Группа 575

1. Гагина Маргарита Васильевна, Тема: «Разработка комбинированной стратегии определения столкновений в сложных пространственно-трехмерных сценах». Научный руководитель: д.ф.-м.н. Семенов В.А.
2. Сидяка Олеся Владимировна, Тема: «Семантически-согласованная реконсиляция данных в приложениях оптимистической репликации». Научный руководитель: д.ф.-м.н. Семенов В.А.
3. Волков Михаил Андреевич, Тема: «Разработка  и исследование математических методов пространственной упаковки». Научный руководитель: д.ф.-м.н. Семенов В.А.
4. Драгалов Кирилл Владимирович, Тема: «Разработка математических и программных средств верификации объектно-ориентированных моделей с ограничениями». Научный руководитель: д.ф.-м.н. Семенов В.А.

Выпускные квалификационные работы на степень бакалавра

Группа 775

1. Каушан Вадим Владимирович, Тема: "Разработка и реализация модели процессора PowerPC для бинарного транслятора среды TrEx". Научный руководитель: к.ф.-м.н. Падарян В.А.
2. Кириленко Антон Александрович, Тема: "Анализ обратной бинарной совместимости библиотек на языке С++", Научный руководитель: к.ф.-м.н. Рубанов В.В.
3. Корчагин Василий Павлович, Тема: "Оптимизация компилятора LLVM под процессорную архитектуру ARM". Научный руководитель: к.ф.-м.н. Гайсарян С.С.
4. Шехватов Александр Александрович, Тема: "Адаптация патча loop-skew для новой редакции gcc-graphite", Научный руководитель: к.ф.-м.н. Гайсарян С.С.
5. Петрищев Константин Сергеевич, Тема: «Сравнительный анализ методов локального планирования движения с использованием случайных деревьев». Научный руководитель: д.ф.-м.н. Семенов В.А.
6. Минин Никита Вадимович, Тема: «Реализация дополнительного чувствительного к потоку анализа в системе статического анализа кода Svace». Научный руководитель: к.ф.-м.н. Гайсарян С.С.
7. Глушаченков Виталий Владимирович, Тема: «Абстрактная интерпретация непрозрачных предикатов в системе TREX». Научный руководитель: к.ф.-м.н. Ледовских И.Н.
8. Зверев Константин Борисович, Тема: «Оптимизация gabhite-pencl». Научный руководитель: к.ф.-м.н. Рубанов В.В.
9. Тихонова Кристина Георгиевна, Тема: «Исследование переносимости промежуточного представления LLVM между архитектурами X86 и ARM». Научный руководитель: к.ф.-м.н. Гайсарян С.С.
10. Петров Сергей Сергеевич, Тема: «Исследование мощности множества Парето-оптимальных решений в задаче многокритериальной оптимизации». Научный руководитель: д.ф.-м.н. Кузюрин Н.Н.