Какие достижения Арутюна Аветисяна в области системного программирования?

Некоторые достижения Арутюна Ишхановича Аветисяна в области системного программирования:

• Разработка математических методов анализа ПО на основе моделей программ. sp.cs.msu.su ru.ruwiki.ru Это позволило создать новые алгоритмы и технологии оптимизации программ. sp.cs.msu.su ru.ruwiki.ru
• Создание и внедрение в промышленные компиляторы GCC и LLVM новых машинно-ориентированных оптимизаций производительности и энергопотребления. sp.cs.msu.su ru.ruwiki.ru Они учитывают особенности современных архитектур (ARM, EPIC) и профили приложений. sp.cs.msu.su ru.ruwiki.ru
• Разработка расширенной версии компилятора LLVM, которая поддерживает переносимость приложений на языках С/С++ и обеспечивает эффективный учёт особенностей аппаратуры, высокую степень надёжности и безопасности. sp.cs.msu.su ru.ruwiki.ru Версия внедрена в промышленную мобильную платформу Tizen. sp.cs.msu.su ru.ruwiki.ru
• Создание новых методов и инструментальных средств разработки параллельных приложений. sp.cs.msu.su ru.ruwiki.ru Они обеспечивают высокую продуктивность разработки, в том числе для кластеров с использованием GPGPU. sp.cs.msu.su ru.ruwiki.ru
• Разработка математических методов и алгоритмов статического, динамического и комбинированного анализа ПО. sp.cs.msu.su ru.ruwiki.ru Они не имеют аналогов в России и эффективно решают задачи глубокого анализа ПО с целью его аудита для нахождения уязвимостей безопасности и других дефектов в исходном и бинарном коде. sp.cs.msu.su ru.ruwiki.ru
• Создание системы статического анализа исходного кода Svace и системы комбинированного анализа защищённого бинарного кода «Трал». sp.cs.msu.su ru.ruwiki.ru Они внедрены и используются для решения практических задач по обеспечению безопасности ПО в ряде отечественных и зарубежных организаций. sp.cs.msu.su ru.ruwiki.ru
• Создание технологической платформы UniHUB. sp.cs.msu.su Она обеспечивает возможность создания различных web-сервисов от уровня инфраструктуры до уровня приложений в концепции «облачных вычислений» и интеграцию этих сервисов в рамках единой web-среды. sp.cs.msu.su

Аветисян — автор свыше 100 публикаций. ru.wikipedia.org ru.ruwiki.ru В 2021 году награждён медалью ордена «За заслуги перед Отечеством» II степени. sp.cs.msu.su ru.ruwiki.ru