• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Глава в книге
A Memory Model for Deductively Verifying Linux Kernel Module

Khoroshilov A. V., Мандрыкин М. У.

In bk.: Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers, Lecture Notes in Computer Science. Vol. 10742. Springer, 2018. P. 256-275.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

ISPRAS Open 2017

Мероприятие завершено
Вторая научно-практическая Открытая конференция ИСП РАН имени Виктора Иванникова ISPRAS Open пройдет с 30 ноября по 1 Декабря 2017 г. в главном здании Российской академии наук. Ключевые темы – безопасность программного кода и технологии анализа массивов данных. В этом году конференция вошла в список научных мероприятий, поддерживаемых ведущим мировым техническим профессиональным сообществом по развитию технологий IEEE.

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

Участие в работе конференции примут ученые, разработчики, специалисты в области системного программирования, представители отечественных и зарубежных компаний – заказчиков и производителей программного обеспечения.

На конференцию традиционно приглашаются партнеры, которые используют практические разработки ИСП РАН уже много лет: Samsung, Rogue Wave, Synchro, Huawei, DELL, Intel, Hewlett Packard, Вымпелком, Свемел и др. 

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

К участию в ISP RAS Open приглашаются все желающие ИТ-специалисты. Прием заявок от участников, намеревающихся выступить на конференции в качестве докладчика, открыт на сайте конференции до 29 сентября 2017 г. Сборник трудов конференции будет издан IEEE и проиндексирован в международных базах научного цитирования Web of Science и Scopus.

Организаторы. ISPRAS Open 2017 организована ИСП РАН в партнерстве с ассоциацией «Тайзен.Ру», компаниями Samsung, Huawei, HewlettPackardEnterprise, DELL, NVIDIA.

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

Время проведения. 30 ноября - 1 декабря 2017 г.

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

Более подробная информация – на сайте конференции.