|
Весной 2013 года просеминар проходит по пятницам в 16:20 в аудитории 510.
20 апреля 2013 года состоится день открытых дверей
Института
системного программирования РАН.
Темы докладов:
|
1 марта
|
Доклад к.ф.-м.н., с.н.с. ИСП РАН Турдакова Дениса Юрьевича на тему «Современные проблемы анализа информации»
(спецсеминар «Распределенные объектно-ориентированные системы»).
В связи со взрывным ростом количества данных (каждый день появляется 1018 байт новых данных, а общее количество информации увеличивается ежегодно на 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 - динамический анализ.
|
|
|