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

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

1 марта

Доклад к.ф.-м.н., с.н.с. ИСП РАН Турдакова Дениса Юрьевича на тему «Современные проблемы анализа информации» (спецсеминар «Распределенные объектно-ориентированные системы»).

В связи со взрывным ростом количества данных (каждый день появляется 10¹⁸ байт новых данных, а общее количество информации увеличивается ежегодно на 66%), на первое место встала проблема эффективного управления информацией. Человек, сталкивающийся с возрастающим потоком информации, не успевает производить детальный анализ и упускает множество важных моментов. Таким образом, у каждого современного человека возникает потребность в инструментах автоматизированного анализа, позволяющих выделять важную для него информацию из общего потока данных. Доклад посвящен современным проблемам обработки информации в целом, и анализу текстовых данных в частности. Будут рассмотрены прикладные задачи и инструменты для их решения, а также оригинальные подходы, разработанные в ИСП РАН: будут рассказаны принципы, заложенные в платформу для анализа текстов Текстерра, использующую структурную и текстовую информацию Википедии в качестве базы знаний; кроме того будут продемонстрированы возможности фреймворка управления документами *Noon на примере системы семантического поиска по блогосфере BlogNoon.

8 марта

Заседание просеминара не состоится ввиду неучебного дня.

15 марта

слайды (pdf)

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

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

22 марта

слайды (pdf)

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

Актуальные цели и задачи анализа бинарного кода. Особенности анализа бинарного кода. Статический и динамический подходы, комбинированный подход. Инструментарий, используемый при обратной инженерии бинарного кода. Современные виртуальные машины: инструмент разработки и анализа. Симулятор QEMU. Детерминированное воспроизведение работы виртуальной машины.

29 марта

слайды (pdf)

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

В докладе рассматриваются технологии разработки и верификации программ с повышенными требованиями к качеству, надежности и сопровождаемости. В качестве примеров разбираются проекты отдела Технологий программирования ИСП РАН по верификации компонентов ядра ОС Linux и по автоматизации проектирования комплекса бортового оборудования воздушных судов.

5 апреля

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

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

12 апреля

слайды (pdf)

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

Эти рекомендации были введены Тимом Бернерс-Ли в публикации по архитектуре веб-связанных данных и стали известны как «принципы связанных данных». Эти принципы заключаются в следующем: Основная идея связанных данных заключается в применении общей архитектуры World Wide Web к задаче обмена структурированными данными в глобальном масштабе.
Использование URI в качестве имен вещей.
Использование HTTP URI, чтобы люди могли посмотреть эти имена.
Использование стандартов (RDF, SPARQL).
Поддержание ссылок на другие, семантически связанные URI.

19 апреля

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

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

26 апреля (заключительное заседание)

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

Общие принципы работы статических и динамических анализаторов программ. Примеры часто встречающихся программных ошибок, методы их обнаружения. Подробнее о проектах ИСП РАН в этой области: Klocwork - статический анализ, Avalanche - динамический анализ.

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

Обновлено:21.03.2013