31 мая 2023 Образование
499

Вопросы системного программирования обсудили ученые в ПензГТУ

30 мая – 1 июня в Пензенском государственном технологическом университете (ПензГТУ) проходит конференция молодых ученых в области программной инженерии SYRCoSE (Spring/Summer Young Researchers' Colloquium on Software Engineering), организаторами которой с 2007 года выступают Институт системного программирования им. В.П. Иванникова РАН (ИСП РАН), Санкт-Петербургский государственный университет и НИУ "Высшая школа экономики". В этом году площадкой стал пензенский вуз, который гостеприимно принял ученых из 11 регионов страны.


Фото: пресс-служба ПензГТУ.

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

Большой интерес вызвали приглашенные доклады.

Шамиль Курмангалеев (ИСП РАН) рассказал о комплексном подходе к обеспечению информационной безопасности, включающем статический анализ исходного и бинарного кода, динамический анализ и фаззинг. В презентации он опирался на ряд исследований, проведенных с целью развития программного комплекса Crusher.

Дмитрий Кознов (СПбГУ) поделился опытом применения модельно-ориентированного подхода к разработке продуктовых линеек программного обеспечения. «Использование специализированных языков (domain-specific languages) позволяет уменьшить размер спецификаций и упростить разработку ПО, – отметил докладчик. – Мы рассматриваем реальные проекты из области телекоммуникаций». Кроме научного доклада, Дмитрий презентовал участникам – молодым ученым, аспирантам – свою книгу «Как написать хороший диплом по программированию».

Пенза была представлена работами аспирантов двух вузов – ПензГТУ и ПГУАС. Кстати, с разработками молодых программистов технологического университета гости могли познакомиться во время импровизированной выставки.