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

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

6 марта

Доклад доц. Хорошилова Алексея Владимировича на тему «Дедуктивная верификация модуля безопасности ядра ОС Linux» (спецсеминар «Корректность программ»).

13 марта

Доклад Коршунова Антона Викторовича на тему «Современные проблемы анализа данных пользователей социальных сетей» (спецсеминар «Распределенные объектно-ориентированные системы»).

Доклад посвящен современным проблемам сбора, хранения и обработки пользовательских данных онлайновых социальных сетей (вКонтакте, Facebook, Twitter, Last.fm), с которыми сталкиваются исследователи Института системного программирования в рамках совместных проектов с компанией Samsung. Дается обзор текущих направлений научной деятельности и разработки программного обеспечения. Рассмотриваются ключевые проблемы: распределенная обработка больших данных, создание и тестирование новых математических моделей коммуникации и обмена информацией, а также необходимость объединения алгоритмов обработки графовых, текстовых и мультимедийных данных.

20 марта

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

Компиляторные технологии требуются для решения широкого круга современных IT-задач. Актуальна статическая оптимизация программ с учетом особенностей современных архитектур и профиля пользователя. Распространение веб-интерфейсов делает актуальной динамическую оптимизацию JavaScript, в которой требуется соблюсти баланс между временем компиляции и скоростью получаемого кода. Наконец, технологии анализа программ используются для построения статических и динамических анализаторов кода для обеспечения безопасности программ поиском критических дефектов и уязвимостей, для понимания программ, для повышения производительности программ и др.

В докладе будет кратко рассмотрено устройство современного оптимизирующего компилятора и сделан обзор собственных результатов ИСП РАН - новый планировщик GCC для VLIW-архитектур, улучшения GCC для платформы ARM, улучшения динамического компилятора Webkit JavaScript, а также инструменты ИСП РАН статического анализа кода.

27 марта

Доклад к.ф.-м.н. Курмангалеева Шамиля Фаимовича на тему «Применение компиляторной инфраструктуры LLVM в задачах анализа и трансформации программ» (спецсеминар «Анализ и оптимизация программ»).

03 апреля

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

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

10 апреля

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

Разработка программ для высокопроизводительных кластеров и других параллельных систем с распределенной памятью продолжает оставаться исключительно сложным делом, доступным узкому кругу специалистов и крайне трудоемким даже для них. Основная причина - это низкий уровень современной технологии автоматизации разработки параллельных программ. В настоящее время практически все параллельные программы для многоядерных кластеров (SMP-кластеров) разрабатываются с использованием низкоуровневых средств передачи сообщений (MPI, SHMEM). Такие программы трудно разрабатывать, сопровождать и повторно использовать при создании новых программ. Появление кластеров с гетерогенными узлами, использующих в качестве ускорителей графические процессоры (ГПУ), еще более усложнило разработку программ, поскольку потребовало использовать, помимо низкоуровневых технологий MPI и SHMEM, еще и низкоуровневую технологию CUDA или OpenCL.
Вполне естественно, что прикладной программист хотел бы получить либо инструмент, автоматически преобразующий его последовательную программу в параллельную программу, либо высокоуровневый язык параллельного программирования, обеспечивающий эффективное использование современных параллельных систем.

17 апреля

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

24 апреля

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

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

Обновлено:29.01.2014