16 марта

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

23 марта

слайды

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

30 марта

слайды

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

6 апреля

слайды

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

13 апреля

слайды

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

20 апреля

слайды

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

27 апреля

слайды

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