Главная страница «

Просеминар кафедры системного программирования

Просеминар кафедры системного программирования предназначен для студентов 2 курса. На семинаре рассматриваются актуальные проблемы системного программирования и научные проекты, выполненные при участии сотрудников, аспирантов и студентов кафедры.

Расписание заседаний

2016 | 2014 | 2013 | 2012 | 2011 | 2009 | 2008 | 2007 | 2006

Информация
Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Спецсеминары
Спецкурсы
Проекты
Ссылки
Поиск



Весной 2012 года просеминар проходил по пятницам в 16:20 в аудитории 612.


21 апреля в 11:00 состоялся День открытых дверей Института системного программирования РАН. Вход в ИСП РАН осуществлялся по студенческому билету и приглашению. Приглашение можно было получить на просеминаре 20 апреля или самостоятельно скачать, распечатать и подписать.



Темы докладов:


16 марта

Вводный доклад о кафедре системного программирования


23 марта

слайды

Доклад к.ф.-м.н., с.н.с. ИСП РАН Хорошилова А.В. на тему «Проектирование и разработка ответственных систем: авионика, встроенные системы, ОС Linux» (спецсеминар «Корректность программ»).


30 марта

слайды

Доклад к.ф.-м.н., с.н.с. ИСП РАН Падаряна В.А. на тему «Динамический анализ бинарного кода» (спецсеминар «Анализ и оптимизация программ»).
План занятия: Актуальные цели и задачи анализа бинарного кода. Особенности анализа исходного и бинарного кода. Статический и динамический подходы. Инструментарий, используемый при обратной инженерии бинарного кода: отладчики, эмуляторы, дизассемблеры, трассировщики. Способы защиты бинарного кода от анализа. Методики анализа бинарного кода. Интегрированные среды анализа.


6 апреля

слайды

Доклад к.ф.-м.н., ст.преп. Белеванцева А.А. на тему «Задачи компиляции для современных архитектур» (спецсеминар «Анализ и оптимизация программ»).

13 апреля

слайды

Доклад к.ф.-м.н., асс. Бахтина В.А. на тему «Автоматизация разработки параллельных программ» (спецсеминар «ОС и языки программирования распределенных выч.систем»).

20 апреля

слайды

Доклад д.ф.-м.н., проф. Серебрякова В.А. на тему «Семантическая интеграция данных» (руководитель спецсеминара «Интернет, распределенные информационные системы и цифровые библиотеки»).

27 апреля

слайды

Доклад к.ф.-м.н. Камкина А.С. на тему «Функциональная верификация микропроцессоров» (спецсеминар «Корректность программ»).

  

© Кафедра системного программирования ВМК МГУ.

Обновлено:16.04.2012