На кафедре предлагается направление специализации "Средства и конструкции в новых языках и системах программирования, ориентированных на разработку программного обеспечения мобильных устройств"

Аннотация

Современный этап развития ИТ характеризуется стремительным расширением областей их применения, в значительной мере обусловленным массовым производством и распространением мобильных устройств. В результате обостряется необходимость снижения трудоёмкости производства программного обеспечения таких устройств при одновременном повышении его надёжности и безопасности. Для выполнения таких требований нужен инструментарий, поддерживающий измерение характеристик программ, а также языков и систем программирования.
Важнейшие из таких характеристик – скорость, объем памяти, энергопотребление и "отзывчивость" приложений (или отсутствие задержек), прямое измерение которых следует дополнить более тонким обустройством измерительных стендов, систем комплексации измерительной тестовой смеси, средствами сбора и хранения фактографии и других механизмов, многие из которых связаны с исследовательской работой и поиском практичных подходов, включая постановки научных задач.

Темы дипломных работ больше, чем курсовые рефераты, они подразумевают исследование, поиск подходов и эксперименты по измерению разных характеристик:

1) Улучшение работы с памятью за счет использования гибридных схем: ARC + GC (automatic reference counting + garbage collector) Kotlin/Kotlin Native/Swift

2) Улучшение работы с памятью с помощью механизма временной памяти (см. Jai programming language)

3) Улучшение работы с памятью в языках со сборкой мусора за счет механизма владения памятью (использование подходов Rust, Jai)

Возможны и другие темы, нацеленные на варьирование измеряемых характеристик, методику измерений качества программ, языков и систем программирования, включая исследование возможностей новых языков и программируемых средств, их производительности, влияния на трудоёмкость программирования и прогресса в решении сложных задач по организации параллельных вычислений и обработки большеобъёмных данных.

За справками обращаться к Лидии Васильевне Городней (к.208 ИСИ СО РАН lidvas@gmail.com)