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


Сергей Суренович Гайсарян

кандидат физико-математических наук, доцент

Сергей Суренович Гайсарян, кандидат физико-математических наук, доцен ORCID: http://orcid.org/0000-0003-1085-1290
Scopus Author ID: 6507762649
Researcher ID: M-1689-2016

Должности

Заведующий отделом компиляторных технологий в ИСП РАН;
Профессор кафедры системного программирования на факультете ВМК;
Профессор МФТИ;
Профессор базовой кафедры системного программирования в НИУ ВШЭ.

Контакты

Телефон: +7(495)912-5317 доб. 430;
Мобильный телефон:+7(916)205-2035;
E-mail: ssg@ispras.ru;
Адрес: 109004, Москва, А.Солженицына, 25.


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

  • Компиляторные технологии;
  • Оптимизация программ в компиляторах (машинно-независимая и машинно-ориентированная);
  • Динамическая компиляция (JIT-компиляция);
  • Высокопроизводительные вычисления;
  • Параллельное и распределенное программирование.

Краткая биография

Окончил физический факультет МГУ по кафедре математики (1961). Кандидат физико-математических наук (1970), тема диссертации: «О выборе оптимальных сеток при численнои интегрировании» (научный руководитель: А. Н. Тихонов). Ученое звание — доцент (1977). Лауреат Ломоносовской премии МГУ (1974) за работу «Система автоматизации в численном анализе». После окончания МГУ работал в НИВЦ МГУ в должностях от младшего научного сотрудника до старшего научного сотрудника (1961-1975). В последующие годы работал в МАИ в должности доцента кафедры вычислительной математики и программирования (1975-1984); в НИИ «Дельта» начальником лаборатории, а затем — отдела (1984-1990); в Институте проблем кибернетики РАН заведующим отделом (1990-1994). С 1994 г. заведует отделом компиляторных технологий ИСП РАН.

Проекты

1971-1972. Реализация оптимизирующего компилятора Fortran IV для БЭСМ 6.

1984-1990. Участие и руководство крупными проектами: Проектирование и разработка базового программного обеспечения для Electronica-SSBIS (операционная система и несколько систем программирования на основе языков Fortran, PL/1, Pascal, C и Ассемблер).

C 1994 года основными направлениями исследования являются:

1994 -1998. Исследование принципов построения систем программирования, поддерживающих разработку эффективных, переносимых, масштабируемых программ для вычислительных систем с массивным параллелизмом. Гранты РФФИ 93-01-00570-а и 96-01-01280-а, грант франко-русского Института им. А.М. Ляпунова, гранты Президиума РАН и ОМН РАН.

1999 - 2001. Исследование принципов построения систем программирования, поддерживающих разработку распределенных параллельных программ. Грант РФФИ 99-01-00204-а.

1999 - 2011. Разработка и реализация среды параллельного программирования ParJava
1)1999 – 2001. Инструментальные средства адаптации Java-программы к параллельному вычислительному комплексу. Грант РФФИ 99-01-00206-а.
2) 2002 - 2004. Исследование и разработка диалоговых средств усовершенствования SPMD-программ для системы ParJava. Грант РФФИ 02-07-90302-в.
3) 2005 - 2007. Исследование и разработка методов сокращения накладных расходов при выполнении параллельных программ. Грант РФФИ 05-07-90308.
4) 2008 - 2010. Инструментальная поддержка процесса разработки больших научно-технических приложений. Грант РФФИ 08-01-00561-а.
5) 2009 - 2011. Методология поддержки разработки эффективных параллельных программ в среде ParJava. Грант РФФИ 09-07-00382-а.

2004 - 2006. Разработка и реализация программного комплекса управления ресурсами кластерных массивно-параллельных систем. Грант РФФИ 03-07-90198-в.

C 2005 года. Методы и системы обфускации программ
1) 2005 - 2007. Математические методы в теории обфускации программ. Грант РФФИ 03-01-00880-а.
2) 2014 - 2016. Исследование и разработка методов запутывания программного обеспечения. Грант РФФИ 14-01-00462.

С 2008 года. Методы обнаружения дефектов в программах с помощью статического и динамического анализа программ.
1) 2008 - 2010. Исследование и разработка системы автоматического обнаружения дефектов в исходом коде программ. Грант РФФИ 08-07-00279-а.
2) 2011 - 2013. Исследование и разработка инструмента динамического анализа программ для автоматического обнаружения дефектов. Грант РФФИ 11-07-00466-а.
3) 2012 - 2014. Исследование и разработка инструмента динамического анализа приложений на языке Java с целью автоматического обнаружения дефектов. Грант РФФИ 14-07-00609.

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

  • "Конструирование оптимизирующих компиляторов" (МФТИ, 3 и 4 курсы);
  • "Конструирование оптимизирующих компиляторов" (МГУ, 4 курс);
  • Руководит аспирантами. Подготовил 4 кандидатов наук после 2000 года.

Публикации

2015
1. A. R. Nurmukhametov, Sh. F. Kurmangaleev, V. V. Kaushan, and S. S. Gaissaryan. 2015. Application of compiler transformations against software vulnerabilities exploitation. Programming and Computer Software, 41, 4 (July 2015), 231-236.

2014

1. С.С. Гайсарян, Ш.Ф. Курмангалеев, К.Ю. Долгорукова, В.В. Савченко, С.С. Саргсян. Применение метода двухфазной компиляции на основе LLVM для распространения приложений с использованием облачного хранилища. Труды Института системного программирования РАН Том 26. Выпуск 1. 2014 г. Стр. 315-326.

2. О.И. Самоваров, С.С. Гайсарян. Архитектура и особенности реализации платформы UniHUB в модели облачных вычислений на базе открытого пакета OpenStack. Труды Института системного программирования РАН Том 26. Выпуск 1. 2014 г. Стр. 403-420.

3. А.Р.Нурмухаметов. Ш.Ф. Курмангалеев, В.В. Каушан, С.С. Гайсарян. Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения. Труды Института системного программирования РАН Том 26. Выпуск 3. 2014 г. Стр. 113-126.

4. Иванников В.П., Гайсарян С.С., Томилин А.Н. «Системное программное обеспечение вычислительной системы «Электроника ССБИС».Труды третьей Международной конференции Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы (SoRuCom-2014), стр. 117-125.

2013

1. С.С. Гайсарян, В.А. Падарян, А.Ю. Тихонов. Комбинированный анализ бинарного кода в задачах информационной безопасности. Материалы 22-ой научно-технической конференции «Методы и технические средства обеспечения безопасности информации», 2013.

2. И.А. Дудина, А.О. Кудрявцев, С.С. Гайсарян. Разработка и реализация облачного планировщика, учитывающего топологию коммуникационной среды при высокопроизводительных вычислениях. Труды Института системного программирования РАН Том 24. 2013 г. Стр. 35-48.

2012

1. М.Г. Бакулин, С.С. Гайсарян, Ш.Ф. Курмангалеев, И.Н. Ледовских, В.А. Падарян, С.М. Щевьева. Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода. Труды Института системного программирования РАН Том 23. 2012 г. Стр. 49-66.

2011

1. Avetisyan A., Samovarov O., Gaissaryan S., Khashba E. OpenCirrus: The Russian segment, “Open Systems”, № 5, 2011, 39-43.

2. А.И. Аветисян, М.С. Акопян, С.С. Гайсарян. Методы точного измерения времени выполнения гнезд циклов при анализе JavaMPI-программ в среде ParJava. Труды Института системного программирования РАН Том 21. 2011 г. Стр. 83-102.

2010

1. Avetisyan A. I., Ivannikov V. P., Samovarov O.I., Gaissaryan S. S. "University cluster": Integration of education, science and industry. “Open Systems”, 2010, № 5, 46-49.

2009

1. Иванников, В.П., Аветисян, А.И., Гайсарян, С.С., Акопян, М.С. Особенности реализации интерпретатора параллельных программ в среде ParJava. Программирование том 35, номер 1, год 2009 , С. 10-25.

2008

1. А.И. Аветисян, С.С. Гайсарян, М.Д. Калугин, А.В. Теплухин Разработка параллельного алгоритма компьютерного моделирования водно-ионной оболочки ДНК. Труды XIII Байкальской Всероссийской конференции «Информационные и математические технологии в науке и управлении». Часть I. - Иркутск: ИСЭМ СО РАН, 2008, с. 195-206.
2. Avetisyan А.I., Babkova V.V., Kalugin M.D. Parallel software development in ParJava.  Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2008.

2006

1. С.С. Гайсарян, К.Н. Долгова. Разработка системной поддержки вызова программ, реализованных на языке Fortran, из среды Java. Труды Института системного программирования РАН Том 9. 2006 г. Стр. 29-42.

2004

1. С.С. Гайсарян, П.Н. Яковенко. К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы. Труды Института системного программирования РАН Том 8. Часть 2. 2004 г. Стр. 181-200.

2. А.И. Аветисян, С.С. Гайсарян, Д.А. Грушин, Н.Н. Кузюрин, А.В. Шокуров. Эвристики распределения задач для брокера ресурсов Grid. Труды Института системного программирования РАН Том 5. 2004 г. Стр. 269-280.

3. В.П. Иванников, С.С. Гайсарян, А.И. Аветисян, В.В. Бабкова, В.А. Падарян. Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью. Труды Института системного программирования РАН Том 5. 2004 г. Стр. 41-62.

4. С.С. Гайсарян, А.В. Чернов, А.А. Белеванцев, О.Р. Маликов, Д.М. Мельник, А.В. Меньшикова. О некоторых задачах анализа и трансформации программ. Труды Института системного программирования РАН Том 5. 2004 г. Стр. 7-40.

2001

1. А.И. Аветисян, И.В. Арапов, С.С. Гайсарян, В.А. Падарян. Среда ParJava для разработки SPMD-программ для однородных и неоднородных сетей JavaVM. Труды Института системного программирования РАН Том 2. 2001 г. Стр. 27-48.

2. О.И. Самоваров, С.С. Гайсарян, В.В. Бабкова. Объектные модели высокого уровня для разработки эффективных программ с параллелизмом по данным. Труды Института системного программирования РАН Том 2. 2001 г. Стр. 5-26.

3. В.П. Иванников, С.С. Гайсарян, К.В. Антипин, В.В. Рубанов. Объектно-ориентированное окружение, обеспечивающее доступ к реляционным СУБД. Труды Института системного программирования РАН Том 2. 2001 г. Стр. 89-114.
4. A. Avetisyan, S. Gaissaryan, O. Samovarov. Extension of Java Environment by Facilities Supporting Development of SPMD Java-programs V. Malyshkin (Ed.): PaCT 2001, LNCS 2127, Springer-Verlag Berlin Heidelberg 2001, pp. 175-180.

2000

1. С.С. Гайсарян, М.В. Домрачев, В.Ф. Еч, О.И. Самоваров, А.И. Аветисян. Параллельное программирование в среде Java для систем с распределенной памятью. Объектные модели параллельного выполнения. Труды Института системного программирования РАН Том 1. 2000 г. Стр. 26-38.