ПодкастыAuditorium: Арутюн Аветисян

"Системное программирование. Вызовы и перспективы": член-корреспондент РАН, директор ИСП РАН, профессор Арутюн Аветисян 18 октября прочитал лекцию для студентов РАУ в Доме культуры Российско-Армянского университета.
 
Арутюн Ишханович Аветисян — российский математик, специалист в области системного программирования, профессор РАН (2016), член-корреспондент РАН (2016), директор Института системного программирования РАН. Ведет научно-исследовательскую работу в областях анализа и оптимизации программ, безопасности программного обеспечения (ПО) и технологии параллельных и распределённых вычислений. Автор свыше 100 публикаций.
 
При его участии разработаны:
  • математические методы анализа ПО на основе моделей программ, обеспечившие возможность создания новых алгоритмов и технологий оптимизации программ;
  • новые машинно-ориентированные оптимизации производительности (планирование команд, векторизация и конвейеризация циклов) и энергопотребления, учитывающие особенности современных архитектур (ARM, EPIC) и профили приложений. Они внедрены в промышленные компиляторы GCC и LLVM;
  • расширенная версия компилятора LLVM, поддерживающая переносимость приложений на языках С/С++, обеспечивая как эффективный учёт особенностей аппаратуры, так и высокую степень надёжности и безопасности. Она внедрена в промышленную мобильную платформу Tizen;
  • новые методы и инструментальные средства создания параллельных приложений, обеспечивающие высокую продуктивность, в том числе для кластеров с использованием GPGPU.
     
В области безопасности программного обеспечения А.И. Аветисяном были предложены математические методы и алгоритмы статического, динамического и комбинированного анализа ПО, не имеющие аналогов в России, эффективно решающие на уровне лучших мировых коммерческих систем задачи глубокого анализа ПО с целью его аудита для нахождения уязвимостей безопасности и других дефектов в исходном и бинарном коде. В числе прочего, обеспечена возможность восстановления алгоритмов и нахождения недокументированных возможностей в защищенном бинарном коде. Создана система статического анализа исходного кода Svace и система комбинированного анализа защищенного бинарного кода Трал, которые внедрены и используются для решения практических задач по обеспечению безопасности ПО в ряде отечественных и зарубежных организаций.
АНОНСЫ
СОБЫТИЯ
Интервью