Институт системного программирования им. В.П. Иванникова РАН

Арутюн Ишханович Аветисян

член-корр. РАН, доктор физико-математических наук, профессор РАН

Scopus Author ID: 56274803200

Должности

Директор Института системного программирования РАН;
Руководитель совместной с Samsung лаборатории ИСП РАН;
Руководитель исследовательского центра NVIDIA в ИСП РАН;
Профессор факультета управления и прикладной математики МФТИ.

Заведующий кафедрами системного программирования ВМК МГУ, МФТИ и факультета компьютерных наук ВШЭ.

Контакты

Телефон: +7(495) 912-46-14;
Мобильный телефон: +7(985) 997-9718;
Fax: +7(495) 912-1524;
E-mail: arut@ispras.ru. 

Области научных интересов:

• анализ и трансформация программ;
• безопасность программного обеспечения (ПО);
• технологии параллельных и распределенных вычислений.

Основные результаты научной работы:

• разработаны математические методы анализа ПО на основе моделей программ, обеспечившие возможность создания новых технологий оптимизации программ; созданы соответствующие технологии, внедренные в промышленные компиляторы GCC и LLVM (новые машинно-ориентированные оптимизации, переносимость приложений на языках С/С++, внедренная в промышленную мобильную платформу Tizen);
• созданы новые методы и инструментальные средства высокопродуктивной разработки параллельных приложений, в том числе, для кластеров с использованием GPGPU;
• разработаны математические методы и алгоритмы статического, динамического и комбинированного анализа ПО и созданы соответствующие технологии Svace и Trex, эффективно решающие задачи глубокого анализа ПО на уровне лучших мировых систем; технологии внедрены и используются для обеспечения безопасности ПО в ряде отечественных и зарубежных организаций.
• создана технология UniHUB, обеспечивающая возможность создания web-сервисов от уровня инфраструктуры до уровня приложений в концепции облачных вычислений и их интеграцию в рамках единой web-среды; на базе UniHUB функционируют несколько web-лабораторий.

Образование:

Институт системного программирования РАН, 2012. Диссертация на соискание учёной степени д.ф.-м.н.;
Институт системного программирования РАН, 2001. Диссертация на соискание учёной степени к.ф.-м.н.;
Ереванский государственный университет, 1988-1993. Прикладная математика.

Профессиональный опыт:

2015-наст. время. Директор Института системного программирования РАН;
2002-2015. Заместитель директора Института системного программирования РАН;
2000-2002.Научный сотрудник Института системного программирования РАН;
1997-2000. Аспирант Института системного программирования РАН.

Преподавательская деятельность:

• Курс по технологиям программирования параллельных вычислений (МФТИ);
• Курс "Компиляторные технологии" (Факультет вычислительной математики и кибернетики МГУ).
• Руководит студентами, аспирантами и соискателями.

Научные исследования были поддержаны следующими грантами:

• 2011-2012. Министерство образования, ГК No 07.514.11.4119. "Исследования в области создания платформы и API для решения на суперкомпьютерах задач аэро- и гидродинамики";
• 2011-2012. Министерство образования, ГК No 02.740.11.0665 "Организация доступа к распределенным ресурсам: от инфраструктуры до уровня приложений и веб-сервиса";
• 2008-2010. Грант РФФИ № 08-07-91850-КО_а "91850-КО_а "Компиляция программ для высокопроизводительных встраиваемых процессоров";
• 2009-2011. Грант РФФИ № 09-07-00382-а "Методология поддержки разработки эффективных параллельных программ в среде ParJava";
• 2006-2008. Грант РФФИ № 06-07-89119-а. "Исследование и разработка технологии решения вычислительно-сложных задач на базе распределенных вычислительных ресурсов";
• 2003-2004 Грант Президента Российской Федерации для поддержки молодых российских ученых и ведущих научных школ РФ № МК-2371.2003.01.

Ресурсы:

• Институт системного программирования РАН;
• Университетский кластер;
• Технологическая платформа программы "Университетский кластер".

Общественная профессиональная деятельность:

• Член совета при Президенте Российской Федерации по науке и образованию;
• Член ACM;
• Член IEEE CS;
• Член Европейского сообщества HiPEAC;
• Член редколлегии журнала "Труды Института системного программирования РАН";
• Член ученого совета ИСП РАН;
• Член диссертационного совета ИСП РАН.

Член программного комитета

RuSCDays'16 (Международная конференция "Суперкомпьютерные дни в России 2016)

Организатор

Секция "Технологии создания безопасного ПО" "РусКрипто" (2013-2015)

Организатор и член программного комитета

• Научно-практическая Открытая конференция ИСП РАН им. В.П. Иванникова – ISPRAS Open 2018;
• Научно-практическая Открытая конференция ИСП РАН им. В.П. Иванникова – ISPRAS Open 2017;
• Открытая конференция ИСП РАН 2016;
• Международная конференция "Облачные вычисления. Образование. Исследования. Разработка" (2010-2015);
• Открытая конференция по компиляторным технологиям (2015);
• Семинар "Свободное ПО для решения задач механики сплошных сред" (2012-2015);
• Семинар "Облачные сервисы" (2011);
• Международный саммит "OpenCirrus" 2011.

Диссертация:

• Аветисян А.И.  Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения.  Диссертация на соискание ученой степени доктора физико-математических наук. Москва, 2012.

Публикации:

• Efimov, V.Y., Batuzov, K.A., Padaryan, V.A., Avetisyan, A.I. Features of the deterministic replay in the case of a minimum device set. Programming and Computer Software, Volume 42, Issue 3, pp 174-186, 2016.
• S. Sargsyan, Sh. Kurmangaleev, A. Belevantsev, A. Avetisyan. Scalable and accurate detection of code clones. Programming and Computer Software January 2016, Volume 42, Issue 1, pp 27-33.
• Fermin Armenta-Cano, Andrei Tchernykh, J. M. Cortés-Mendoza, Ramin Yahyapour, A. Yu. Drozdo v, Pascal Bouvry, Dzmitry Kliazovich, Arutyun Avetisyan. Heterogeneous Job Consolidation for Power Aware Scheduling with Quality of Service. Proceedings of the 1st Russian Conference on Supercomputing (RuSCDays 2015), Moscow, Russia, September 28-29, 2015. Edited by: Vladimir Voevodin, Sergey Sobolev, CEUR-WS: Vol-1482, p. 687-697, 2015 ISSN: 16130073.
• Jorge Mario Cortés-Mendoza, Andrei Tchernykh, A. Yu. Drozdov, Pascal Bouvry, Ana-Maria Simionovici, Arutyun Avetisyan. Distributed Adaptive VoIP Load Balancing in Hybrid Clouds. Proceedings of the 1st Russian Conference on Supercomputing (RuSCDays 2015), Moscow, Russia, September 28-29, 2015. Edited by: Vladimir Voevodin, Sergey Sobolev, CEUR-WS: Vol-1482, p. 676-686, 2015 ISSN: 16130073.
• F. Armenta-Cano, Andrei Tchernykh, J. M. Cortés-Mendoza, R. Yahyapour, A. Yu. Drozdov, P. Bouvry, D. Kliazovich, A. Avetisyan, S. Nesmachnow. Min_c: Heterogeneous Concentration Policy for Power Aware Scheduling. CCERD 2015 - The 6th International Conference "Cloud Computing. Education. Research. Development". Moscow, Russia, December 3-4th., 2015. Proceedings of the Institute for System Programming of the Russian Academy of Sciences Digest, Vol. 27, 6. 2015, p. 355-380 ISSN 2220-6426 (Online), ISSN 2079-8156 (Print). DOI: 10.15514/ISPRAS-2015-27(6)-23.
• Armenta-Cano F., Tchernykh A., Cortes-Mendoza J.M., Yahyapour R., Drozdov A.Yu., Bouvry P., Kliazovich D., Avetisyan A. Heterogeneous Job Consolidation For Power Aware Scheduling With Quality Of Service. Proceedings of Russian Supercomputing Days, Moscow, Russia, 2015. pp. 687-697.
• Arutyun Avetisyan and Roma Zhuykov. Augmenting JavaScript JIT with Ahead-of-Time Compilation. Proccedings of Compiler, Architecture and Tools Conference at Intel, Haifa, Israel, 2015.
• И.В. Богомолов, А.В. Алексиянц, А. В. Шер, О.Д. Борисенко, А.И. Аветисян. Метод тестирования производительности и стресс-тестирования центральных сервисов идентификации облачных систем на примере Openstack Keystone. Труды Института системного программирования РАН Том 27. Выпуск 5. 2015 г. Стр. 49-58.
• Avetisyan, A., Kurmangaleev, S., Sargsyan, S., Arutunian, M., Belevantsev, A. LLVM-based code clone detection framework. CSIT 2015 - 10th International Conference on Computer Science and Information Technologies, 2015. pp. 100 - 104. DOI: 10.1109/CSITechnol.2015.7358259
• Cortes-Mendoza J.M., Tchernykh A., Drozdov A.Yu., Bouvry P., Simionovici A.M., Avetisyan A. Distributed Adaptive Voip Load Balancing In Hybrid Clouds. Proceedings of Russian Supercomputing Days, Moscow, Russia, 2015. pp. 676-686.
• В.П. Иванников, А.А. Белеванцев, А.Е. Бородин, В.Н. Игнатьев, Д.М. Журихин, А.И. Аветисян, М.И. Леонов.  Статический анализатор Svace для поиска дефектов в исходном коде программ.  Труды Института системного программирования РАН Том 26. Выпуск 1. 2014 г. Стр. 231-250.
• Виктор Иванников, Шамиль Курмангалеев, Андрей Белеванцев, Алексей Нурмухаметов, Валерий Савченко, Рипсиме Матевосян, Арутюн Аветисян.  Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM.  Труды Института системного программирования РАН Том 26. Выпуск 1. 2014 г. Стр. 327-342.
• Дмитрий Мельник, Шамиль Курмангалеев, Арутюн Аветисян, Андрей Белеванцев, Дмитрий Плотников, Мамикон Варданян. Оптимизация приложений для заданных статических компиляторов и целевых архитектур: методы и инструменты.  Труды Института системного программирования РАН Том 26. Выпуск 1. 2014 г. Стр. 343-356.
• Александр Монаков, Евгений Велесевич, Владимир Платонов, Арутюн Аветисян.  Инструменты анализа и разработки эффективного кода для параллельных архитектур.  Труды Института системного программирования РАН Том 26. Выпуск 1. 2014 г. Стр. 357-374.
• А.О. Кудрявцев, В.К. Кошелев, А.О. Избышев, И.А. Дудина, Ш.Ф. Курмангалеев, А.И. Аветисян, В.П. Иванников, В.Е. Велихов, Е.А. Рябинкин.  Разработка и реализация облачной системы для решения высокопроизводительных задач.  Труды Института системного программирования РАН Том 24. 2013 г. Стр. 13-34.
• А.И. Аветисян.  Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения.  Труды Института системного программирования РАН Том 22. 2012 г. Стр. 11-18.
• А.Ю.Тихонов, А.И. Аветисян.  Комбинированный (статический и динамический) анализ бинарного кода.  Труды Института системного программирования РАН Том 22. 2012 г. Стр. 131-152.
• А.О. Кудрявцев, В.К. Кошелев, А.И. Аветисян.  Перспективы виртуализации высокопроизводительных систем архитектуры x64.  Труды Института системного программирования РАН Том 22. 2012 г. Стр. 189-210.
• А.И. Аветисян.  Планирование команд и конвейеризация циклов на современных архитектурах.  Труды Института системного программирования РАН Том 22. 2012 г. Стр. 19-32.
• А.И. Аветисян, А.И. Гетьман.  Восстановление структуры бинарных данных по трассам программ.  Труды Института системного программирования РАН Том 22. 2012 г. Стр. 95-118.
• А.И. Аветисян, А.И. Гетьман, В.А. Падарян, М.А. Соловьев, А.Ю. Тихонов.  Возможности среды анализа бинарного кода ТРАЛ и актуальные направления её развития.  Материалы 20-ой научно-технической конференции «Методы и технические средства обеспечения безопасности информации», 2011.
• А.Ю.Тихонов, А.И. Аветисян.  Развитие taint-анализа для решения задачи поиска программных закладок.  Труды Института системного программирования РАН Том 20. 2011 г. Стр. 9-24.
• Дмитрий Мельник, Александр Монаков, Арутюн Аветисян.  Поддержка команд с условным выполнением в селективном планировщике команд.  Труды Института системного программирования РАН Том 21. 2011 г. Стр. 103-118.
• Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов.  Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ.  Труды Института системного программирования РАН Том 21. 2011 г. Стр. 23-38.
• Арутюн Аветисян, Алексей Бородин.  Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок.  Труды Института системного программирования РАН Том 21. 2011 г. Стр. 39-54.
• А.И. Аветисян, К. Ю. Долгорукова; Ш. Ф. Курмангалеев.  Динамическое профилирование программы для системы LLVM.  Труды Института системного программирования РАН Том 21. 2011 г. Стр. 71-82.
• А.И. Аветисян, М.С. Акопян, С.С. Гайсарян.  Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava.  Труды Института системного программирования РАН Том 21. 2011 г. Стр. 83-102.
• Иванников, В.П., Аветисян, А.И., Гайсарян, С.С., Акопян, М.С.  Особенности реализации интерпретатора параллельных программ в среде ParJava.  Программирование том 35, номер 1, год 2009 , С. 10-25.
• А.И. Аветисян, В.В. Бабкова, А.В. Монаков.  Обеспечение высокопродуктивного программирования для современных параллельных платформ.  Труды Института системного программирования РАН Том 16. 2009 г. Стр. 9-24.
• А.И. Аветисян, С.С. Гайсарян, М.Д. Калугин, А.В. Теплухин  Разработка параллельного алгоритма компьютерного моделирования водно-ионной оболочки ДНК.  Труды XIII Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении». Часть I. - Иркутск: ИСЭМ СО РАН, 2008, с. 195-206.
• Andrei Tchernykh, J. Ramírez, A. Avetisyan, N. Kuzjurin, D. Grushin, S. Zhuk. Two Level Job-Scheduling Strategies for a Computational Grid. In Parallel Processing and Applied Mathematics, Wyrzykowski et al. (Eds.): The Second Grid Resource Management Workshop (GRMW'2005) in conjunction with the Sixth International Conference on Parallel Processing and Applied Mathematics - PPAM 2005. Poznan, Poland, September 11-14, 2005, LNCS 3911, Springer-Verlag, 2006. pp. 774-781.
• Г.И. Малашонок, А.И. Аветисян, Ю.Д. Валеев, М.С. Зуев.  Параллельные алгоритмы компьютерной алгебры.  Труды Института системного программирования РАН Том 8. Часть 2. 2004 г. Стр. 169-180.
• А.И. Аветисян, С.С. Гайсарян, Д.А. Грушин, Н.Н. Кузюрин, А.В. Шокуров.  Эвристики распределения задач для брокера ресурсов Grid.  Труды Института системного программирования РАН Том 5. 2004 г. Стр. 269-280.
• В.П. Иванников, С.С. Гайсарян, А.И. Аветисян, В.В. Бабкова, В.А. Падарян.  Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью.  Труды Института системного программирования РАН Том 5. 2004 г. Стр. 41-62.
• Sergey Zhuk, Andrei Tchernykh (Chernykh), Nikolai Kuzjurin, Alexey Pospelov, Alexander Shokurov, Arutyun Avetisyan, Sergey Gaissaryan, Dmitry Grushin. Comparison of Scheduling Heuristics for Grid Resource Broker. Proceedings of the PCS2004 Third International Conference on Parallel Computing Systems. Colima, Mexico, September 20-24 (in conjunction with . ENC'04 Mexican International Conference in Computer Science) , IEEE Computer Society Press, p. 388-392. 2004.
• А.И. Аветисян, Д. А. Грушин, А.Г. Рыжов.  Системы управления кластерами.  Труды Института системного программирования РАН Том 3. 2002 г. Стр. 39-62.
• А.И. Аветисян, И.В. Арапов, С.С. Гайсарян, В.А. Падарян.  Среда ParJava для разработки SPMD-программ для однородных и неоднородных сетей JavaVM.  Труды Института системного программирования РАН Том 2. 2001 г. Стр. 27-48.
• А.И. Аветисян, В.А. Падарян.  Библиотека интерфейсов и классов, расширяющих язык Java средствами разработки параллельных программ в модели SPMD.  Труды Института системного программирования РАН Том 2. 2001 г. Стр. 49-64.
• С.С. Гайсарян, М.В. Домрачев, В.Ф. Еч, О.И. Самоваров, А.И. Аветисян.  Параллельное программирование в среде Java для систем с распределенной памятью. Объектные модели параллельного выполнения.  Труды Института системного программирования РАН Том 1. 2000 г. Стр. 26-38.