Климов Аркадий Валентинович

cтарший научный сотрудник

Родился в 1953 г. Закончил механико-математический факультет МГУ им. М.В.Ломоносова в 1976 г. Работаю в ИППМ с 2008 года.

Тел.: (499) 135-3295

email:

---

Сфера научных интересов

• языки программирования и модели вычислений,
• семантика языков программирования, методы анализа и преобразования программ,
• нестандартные вычислительные модели и архитектуры,
• модель вычислений и архитектура с управлением потоком данных,
• параллельные вычисления и алгоритмы,
• языки параллельного программирования, архитектуры параллельных ЭВМ,
• автоматическое распараллеливание, полиэдральные модели программ,
• автоматическое преобразование последовательных циклических (аффинных) программ в модель вычислений с управлением потоком данных.

Труды, опубликованные за время работы в ИППМ РАН

- скрыть список публикаций

Труды, представленные на конференциях МЭС

2014
		Змеев Д.Н., Левченко Н.Н., Окунев А.С., Климов А.В. Архитектура планировщика процессора сопоставления ППВС «Буран»
		Климов А.В., Змеев Д.Н., Левченко Н.Н., Окунев А.С. Способы регулирования вычислений в параллельной потоковой вычислительной системе
2016
		Змеев Д.Н., Климов А.В., Левченко Н.Н. Средства распределения вычислений в ППВС «Буран» и варианты реализации блока выработки хэш-функций
		Климов А.В., Окунев А.С. Графический потоковый метаязык для асинхронного распределенного программирования
		Климов А.В., Левченко Н.Н., Окунев А.С., Стемпковский А.Л. Вопросы применения и реализации потоковой модели вычислений
2018
		Змеев Д.Н., Климов А.В., Левченко Н.Н., Окунев А.С. Методы планирования вычислений в параллельной потоковой вычислительной системе «Буран»
		Климов А.В., Левченко Н.Н. Механизм ветвей в потоковом метаязыке UPL (METAL) и методы его реализации в ППВС «Буран»
2020
		Климов А.В. Средства верификации распределения вычислений в потоковой архитектуре ППВС «Буран»
2021
		Климов А.В. Автоматическое дифференцирование в потоковом языке на примере задачи глубокого обучения
		Стемпковский А.Л., Бобков С.Г., Змеев Д.Н., Левченко Н.Н., Климов А.В. Автоматизированное определение оптимальной конфигурации параллельной потоковой вычислительной системы для решения конкретной задачи

Избранные труды последних лет:

Климов А.В. // Об одном методе получения быстродействующих параллельных алгоритмов. Семиотические аспекты формализации интеллектуальной деятельности. Всесоюзная школа-семинар "Боржоми-88". Тезисы докладов и сообщений. Москва, 1988, с. 53-56.

A.M.Chepovsky, And.V.Klimov, Ark.V.Klimov, Yu.A.Klimov, A.S.Mishchenko, S.A.Romanenko, S.Yu.Skorobogatov // Partial Evaluation for Common Intermediate Language. Ershov Memorial Conference, 2003, p.171-177.

Климов А.В., Окунев А.С., Степанов А.М. // Распределение вычислений по модулям в вычислительной системе массового параллелизма. "Информационные технологии в науке, образовании, телекоммуникации и бизнесе", материалы международной конференции IT+S&E`07, Ялта-Гурзуф, май 2007 г.

Климов А.В., Окунев А.С., Степанов А.М. // Проблемы развития модели вычислений с управлением потоком данных и особенности ее архитектурной реализации. "Информационные технологии в науке, образовании, телекоммуникации и бизнесе", материалы международной конференции IT+S&E`07, Ялта-Гурзуф, май 2007 г.

Климов А.В., Окунев А.С., Степанов А.М. // Иерархическая ассоциативная память в вычислительной системе массового параллелизма. В "Многопроцессорные вычислительные и управляющие системы", материалы международной научно-технической конференции MCCS`2007. Том 1, с.87-92. Дивноморское, Россия, сентябрь 2007г.

Климов А.В., Левченко Н.Н., Окунев А.С. // Аппаратно-программные средства преодоления неравномерной загрузки отдельных устройств в параллельной потоковой вычислительной системе. В "Многопроцессорные вычислительные и управляющие системы", материалы международной научно-технической конференции MCCS`2007. Том 1, с.92-95. Дивноморское, Россия, сентябрь 2007г.

Климов А.В., Окунев А.С., Степанов А.М. // Распределение вычислений и данных по процессорным модулям в вычислительной системе массового параллелизма. В "Многопроцессорные вычислительные и управляющие системы", материалы международной научно-технической конференции MCCS`2007. Том 1, с.242-246. Дивноморское, Россия, сентябрь 2007г.:

Акжолов М.Ж., Климов А.В., Лупенко А.И. // Особенности программирования для вычислительной системы потоковой архитектуры на примере двумерной задачи теплопроводности. "Научный вестник" МИРЭА, № 2 (3) 2007, с.12-20.

Статьи:

А.В.Климов // Умножение плотных матриц на неоднородных высокопараллельных вычислительных системах (анализ коммуникацион-ной нагрузки) // Журнал «Информационные технологии», №3, 2008 (http://novtex.ru/IT/it2008/It308.pdf), с.24-31

А.В.Климов // Использование деревьев выбора для описания состояний в распараллеливающем компиляторе // Научный сервис в сети Интернет: масштабируемость, параллельность, эффективность: Труды Всероссийской научной конференции (21-26 сентября 2009 г., г. Новороссийск), с. 238-240. М.: Изд-во МГУ, 2009.

А.В.Климов, А.С.Окунев, Н.Н.Левченко // Автоматическое распараллеливание линейных циклов путем трансляции в язык потока данных // Труды XII Международного Семинара «Супервычисления и математическое моделирование», г. Саров, 11-15 октября 2010 года, РФЯЦ-ВНИИЭФ, Саров, 2011, с.208-215.

А.В.Климов, А.С.Окунев, Н.Н.Левченко, А.Л.Стемпковский // Автоматическое распараллеливание для гибридной системы с потоковым ускорителем // Журнал «Информационные технологии и вычислительные системы», 2011 г., №2, c. 3-11

М.Ж.Акжолов, А.В.Климов // Параллельный алгоритм сортировки слиянием в модели вычислений с уп-равлением потоком данных // Материалы международной конференции «Рахматулинские чтения», Бишкек, 26-27 мая 2011 г. (С. 76-81)

A.V.Klimov // Transforming Affine Nested Loop Programs to Dataflow Computation Model // PSI’11: Ershov Informatic conference (the PSI conference series, 8-th edition), June 27 - July 11, 2011, Novosibirsk, 2011, pp.274-285.

А.В.Климов, А.С.Окунев // Потоковая модель вычислений как путь к экзафлопсу // Труды Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: экзафлопсное будущее» (19-24 сентября 2011 г., г. Новороссийск), с. 261-266. ISBN 978-5-211-06229-0

Арк.В. Климов, Н.Н. Левченко, С.А. Окунев, А.Л. Стемпковский // Автоматическое распараллеливание последовательных программ для гибридной системы с ускорителем на основе потока данных // Параллельные вычислительные технологии (ПаВТ’2011): труды международной научной конференции (Москва, 28 марта – 1 апреля 2011 г.), 2011.

Д.Н. Змеев, Арк.В. Климов, А.С. Окунев, Н.Н. Левченко // Реализация параллельной модели вычислений с управлением потоком данных на кластерных суперкомпьютерах // Труды Международной суперкомпьютерной конференции «Научный сервис в сети Интернет: все грани параллелизма» (23-28 сентября 2013 г., г. Новороссийск) - М.: Изд-во МГУ, 2013, с. 375-377.

А.В. Климов, Н.Н.Левченко, А.С.Окунев, А.Л.Стемпковский // Суперкомпьютеры, иерархия памяти и потоковая модель вычислений // Программные системы: теория и приложения: электрон. научн. журн. 2014. T. 5, № 1(19), с. 15–36.

A.V. Klimov // Construction of exact polyhedral model for affine programs with data dependent conditions // Proc. of the Forth International Valentine Turchin Workshop on Metacomputation, META'14, (June 29 – July 3, 2014), pages 136--160. University of Pereslavl, 2014.

А.В. Климов, Т.Г. Козлова // Опыт программирования параллельной aсинхронной молекулярной динамики для потокового супервычислителя ППВС «БУРАН» // XV международная конференция «Супервычисления и математическое моделирование». Тезисы, г. Саров, 13-17 октября 2014, с. 79--80.

Д. Н. Змеев, А. В. Климов, Н. Н. Левченко, А. С. Окунев // Безбарьерное программирование в парадигме потоков данных на примере задачи молекулярной динамики // Национальный суперкомпьютерный форму НСКФ-2014, 25-27 ноября 2014 г., г. Переславль-Залесский.

А.В. Климов, Н.Н. Левченко, А.С. Окунев, Д.Н. Змеев // Dataflow – парадигма программирования будущего // Тезисы доклада, семинар "Посткремниевые вычисления", 24 ноября 2014 г., г. Переславль-Залесский.

Arkady Klimov // Yet Another Way of Building Exact Polyhedral Model for Weakly Dynamic Affine Programs // submitted to IMPACT'15, Jan, 19, 2015, Amsterdam (however not accepted)