Открытая конференция, посвященная фундаментальным исследованиям ИСП РАН

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

 Основная тематика конференции связана с анализом программ, в первую очередь, в контексте обеспечения информационной безопасности: методы выявления дефектов в ПО на этапах разработки, обратная инженерия, выполнение программ в контролируемом окружении, выявление недокументированных возможностей и пр. Еще одна тема -  автоматизация анализа «больших данных»: анализ контента, созданного пользователями сети Интернет, в том числе, социальных сетей, анализ естественных языков, методы машинного обучения и пр.

 Среди разработок ИСП РАН, которые будут представлены на конференции:

• Svace - технология статического анализа для поиска дефектов в исходных текстах программы.  Анализатор Svace стал стандартом де-факто для среды разработки ОС Tizen. Он активно внедряется в компании Samsung. В 2016 г. Svace вошла в тройку финалистов премии CNews Awards в номинации «Технология года».
• Технология запутывания кода, препятствующая анализу и взлому программ. В числе прочего она используется для защиты программ от эксплуатации существующих в них уязвимостей. Отечественная компания ЗАО «МВП Свемел» внедряет ее для защиты доверенного ПО (ОС «Циркон») в своих решениях информационной безопасности. Среди пользователей технологии – государственные структуры.
• Технологии анализа социальных сетей, в их число входят мониторинг информационных потоков, выявление первоисточников и распространителей, восстановление неполной или искаженной информации в профиле пользователя. Заказчики - несколько крупнейших международных телекоммуникационных компаний.
• Выявление дефектов в драйверах ОС Linux. Инициативный проект ИСП РАН в пользу всего международного сообщества Linux.

Конференция организована ИСП РАН в партнерстве с ассоциацией «Тайзен.Ру», компаниями Samsung, Huawei, Hewlett Packard Enterprise, DELL, NVIDIA.

Проводится при поддержке Российской академии наук, Федерального агентства научных организаций (ФАНО России), Российского фонда фундаментальных исследований (РФФИ), Федеральной службы по техническому и экспортному контролю (ФСТЭК России).

 Время проведения: 1-2 декабря 2016 г.

Место: Главное здание Российской академии наук. Москва, Ленинский проспект, дом 32А, "синий" зал.

Дополнительная информация: http://www.isprasopen.ru/

 Справка

Институт Системного Программирования Российской академии наук (ИСП РАН) – научно-исследовательская организация, специализирующаяся в области системного программирования. Институт разрабатывает технологии мирового уровня в таких областях, как операционные системы, компиляторные технологии, параллельные и распределенные вычисления, технологии верификации и тестирования программного обеспечения, анализ и обработка больших объемов данных, семантический поиск и др. Среди долговременных отечественных партнеров Института – ГосНИИАС, Вымпелком, Квант, Орион, среди зарубежных – Samsung, Huawei, Dell, HP, Intel, Nvidia, Rogue Wave, Linux Foundation. Со многими из них созданы совместные лаборатории.

Одна из главных задач ИСП РАН – подготовка кадров высшей квалификации в сфере ИТ. На базе Института функционируют собственная аспирантура и кафедры в МГУ, МФТИ и ВШЭ. Также ИСП РАН реализует совместные проекты с ведущими университетскими и исследовательскими центрами: Кембридж (Великобритания), Карнеги-Меллон (США), INRIA (Франция), Университет Пассау (Германия) и др.