Головная страница Института Головная страница Института
С.А.Романенко

РОМАНЕНКО
Сергей Анатольевич

ведущий научный сотрудник

кандидат физ.-мат. наук

+7 495 2507873

Биография

В 1968 окончил физико-математическую школу-интернат №18 при МГУ (ныне СУНЦ МГУ им. А.Н. Колмогорова).

С 1968 по 1970 учился на Физическом факультете МГУ им.М.В.Ломоносова.

В 1970 перевёлся на факультет Вычислительной математики и кибернетики МГУ им.М.В.Ломоносова и окончил его в 1973.

Кандидат физ.-мат. наук (1979).

В Институте прикладной математики им. М.В.Келдыша с 1973 года. В настоящее время - ведущий научный сотрудник в отделе инструментального и прикладного программного обеспечения.

Научные интересы

Языки программирования, преобразования программ, специализация программ, суперкомпиляция, функциональное программирование.

Проекты

•  HOSC. Суперкомпилятор для функционального языка высшего порядка написанный на языке Scala.

•  SPSC. Малый позитивный суперкомпилятор, написанный на языке Scala.

•  RFPDT. Система программирования для языка Рефал Плюс в рамках интегрированной среды разработки Eclipse.

•  Moscow ML. Нетребовательная к ресурсам реализация функционального языка программирования Standard ML.

•  Unmix. Специализатор программ (основанный на частичных вычислениях) для подмножества языка Scheme.

•  Первая реализация языка программирования Рефал Плюс. (Разработана в 1991 для MS DOS совместно с Рутеном Гуриным).

•  Первые реализации языка программирования Рефал-2 (для БЭСМ-6 и ЕС ЭВМ).

Основные публикации

2010

•  Ilya Klyuchnikov and Sergei Romanenko. Towards Higher-Level Supercompilation. To appear in Second International Workshop on Metacomputation in Russia (Proceedings of the second International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 1-5, 2010).

2009

•  Ilya Klyuchnikov and Sergei Romanenko. Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. In: Perspectives of Systems Informatics (Proceedings of Seventh International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009). Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2009, pages 150-158.

•  Ilya Klyuchnikov and Sergei Romanenko. SPSC: a Simple Supercompiler in Scala. In: International Workshop on Program Understanding 19-23 June, Altai Mountains, Russia. Novosibirsk: A.P. Ershov Institute of Informatics Systems, 2009, pages 5-17.

•  И.Г.Ключников, С.А.Романенко. SPSC: Суперкомпилятор на языке Scala. // Программные продукты и системы. 2009. №2 (86). ISSN 0236-235X - с. 74-80.

2008

•  Ю. А. Климов, А. Ю. Орлов, С. А. Романенко. Рефал Плюс в среде Eclipse. Программные системы: теория и приложения (к пятнадцатилетию УГП им. А. К. Айламазяна) // Сборник трудов научно-практической совместной конференции студентов, аспирантов, преподавателей и научных сотрудников Института программных систем Российской академии наук и «Университета города Переславля» им. А. К. Айламазяна, г.Переславль-Залесский, апрель 2008 / Под редакцией С. М.Абрамова и С. В. Знаменского. В двух томах. - Переславль-Залесский: Изд-во "Университет города Переславля", 2008. ISBN 978-5-901795-13-1, ISBN 978-5-901795-13-2. (Т. 1). - с. 123-132.

•  Sergei A. Romanenko. Higher-Order Functions as a Substitute for Partial Evaluation (A Tutorial). In First International Workshop on Metacomputation in Russia (Proceedings of the first International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 2-5, 2008). A. P. Nemytykh, Ed. - Pereslavl-Zalessky: Ailamazyan University of Pereslavl, 2008, 108 p. ISBN 978-5-901795-12-5, pages 145-162.

2007

•  Ю.А.Климов, А.Ю.Орлов, С.А.Романенко. Язык Рефал Плюс на платформе Java. В сб. Всероссийская научная конференция "Научный сервис в сети ИНТЕРНЕТ: многоядерный компьютерный мир. 15 лет РФФИ". - М.: Изд-во МГУ, 2007, c. 207–209.

2006

•  Р.Гурин, С.Романенко. Язык программирования Рефал Плюс. Курс лекций. Учебное пособие для студентов университета города Переславля. - Переславль-Залесский: "Университет города Переславля" им.А.К.Айламазяна, 2006. - 222 с.

2003

•  Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, and Sergei Yu. Skorobogatov. Partial Evaluation for Common Intermediate Language // M. Broy and A.V. Zamulin (Eds.): Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Lecture Notes in Computer Science, volume 2890/2003, pages 171-177. Springer-Verlag Berlin Heidelberg, 2003.

2000

•  S. Romanenko, C. Russo and P. Sestoft: Moscow ML Language Overview, version 2.00, June 2000, 24 pages.

•  S. Romanenko, C. Russo and P. Sestoft: Moscow ML Owner's Manual, version 2.00, June 2000, 35 pages.

•  S. Romanenko, C. Russo and P. Sestoft: Moscow ML Library Documentation, version 2.00, June 2000, 170 pages.

1998

•  S. Romanenko and P. Sestoft. Moscow ML language overview, version 1.43, April 1998.

•  S. Romanenko and P. Sestoft. Moscow ML owner's manual, version 1.43, April 1998.

1991

•  Р.Ф.Гурин, С.А.Романенко. Язык программирования Рефал Плюс. - М.:ИНТЕРТЕХ, 1991. - 183 с.

1990

•  S. A. Romanenko. Arity Raiser and its Use in Program Specialization. In Proceedings of the 3rd European Symposium on Programming (May 15 - 18, 1990). N. D. Jones, Ed. Lecture Notes In Computer Science, vol. 432. Springer-Verlag, London, 341-360.

1988

•  С.М.Абрамов, С.А.Романенко. Представление объектных выражений массивами при реализации языка Рефал. - М.:ИПМ им.М.В.Келдыша АН СССР, 1988, препринт N 186. - 27 с.

•  С.А.Романенко. Мета-мета-вычисления и специализация программ. - В сб.: Тезисы докладов Всесоюзной школы-семинара "Семиотические аспекты формализации интеллектуальной деятельности" в г.Боржоми, 22-30 апреля 1988 г., М.:ВИНИТИ, 1988, с.65-68.

•  S.A.Romanenko. A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure. In D.Bjorner, A.P.Ershov and N.D.Jones, editors, Partial Evaluation and Mixed Computation, pages 445-463, North-Holland, 1988.

1987

•  Ан.В.Климов, С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание входного языка. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 52 с.

•  С.А.Романенко. Реализация Рефала-2. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 191 с.

•  С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Компиляция и исполнение Рефал-программ под управлением ПДО СВМ. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 35 с.

•  С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Интерфейс Рефала и PL/I. М.:ИПМ им.М.В.Келдыша АН СССР, 1987. - 79 с.

•  С.А.Романенко. Генератор компиляторов, порожденный самоприменением специализатора, может иметь ясную и естественную структуру. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 26. - 35 с.

•  Ан.В.Климов, С.А.Романенко. Метавычислитель для языка Рефал. Основные понятия и примеры. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 71. - 32 с.

•  С.А.Романенко. Рефал-4 - расширение Рефала-2, обеспечивающее выразимость результатов прогонки. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 147. - 27 с.

•  С.А.Романенко. Прогонка для программ на Рефале-4. - М.:ИПМ им.М.В.Келдыша АН СССР, 1987, препринт N 211. - 19 с.

1986

•  Ан.В.Климов, С.А.Романенко. Система программирования Рефал-2 для ЕС ЭВМ. Описание библиотеки функций. М.:ИПМ им.М.В.Келдыша АН СССР, 1986, препринт N 200. - 38 с.

1983

•  С.А.Романенко. Применение смешанных вычислений к ассемблерам и загрузчикам. - М.:ИПМ АН СССР, 1983, препринт N 27. - 15 с.

•  А.О.Лацис, Г.В.Лебедев, С.А.Романенко. БГП - Базовый Графический Пакет: функциональное описание. - М.:ИПМ АН СССР, 1983. - 51 с.

•  А.О.Лацис, С.А.Романенко. ГРАФОР-БГП: Интерактивная версия системы ГРАФОР. - М.:ИПМ АН СССР, 1983, препринт N 89. - 26 с.

•  А.О.Лацис, С.А.Романенко. БГП - Базовый Графический Пакет: реализация для комплекса БЭСМ-6 - T-1600. - М.:ИПМ АН СССР, 1983, препринт N 110. - 12 с.

1981

•   С.А.Романенко. Системные программы. Ассемблер. - В сб. Система обработки экономической информации на малых ЭВМ., М: "Книга", 1981, с. 144-151.

1978

•  С.А.Романенко. Подпрограммы обмена с лентами и барабанами БЭСМ-6 из программ, написанных на Фортране в мониторной системе "Дубна". - М.:ИПМ АН СССР, 1978. - 12 с.

•  А.Н.Ерохов, А.И.Илюшин, С.А.Романенко. Пакет макрокоманд для программирования без GOTO на языке АСТРА. - М.:ИПМ АН СССР, 1978, препринт N 97. - 31 с.

•  С.А.Романенко. Машинно-независимый компилятор с языка рекурсивных функций. Диссертация на соискание уч.степени к.ф.-м.н.. - М.:ИПМ АН СССР, 1978. - 211 с.

1977

•  Анд.В.Климов, Арк.В.Климов, А.Г.Красовский, С.А.Романенко, Е.В.Травкина, В.Ф.Турчин, В.Ф.Хорошевский, И.Б.Щенков. Базисный РЕФАЛ и его реализация на вычислительных машинах (методические рекомендации). Фонд алгоритмов и программ для ЭВМ (в отрасли "Строительство"), специальный раздел, vol. 5, N 40. Москва, 1977. - 258 с.

1976

•  С.А.Романенко, М.Р.Ковтун, Арк.В.Климов, В.Л.Кистлеров. Мониторная система СЕКАЧ (описание и инструкция по использованию). - М.:ЦНИПИАСС, 1976. - 60 с.

•  А.Н.Ерохов, А.И.Илюшин, С.А.Романенко, Г.П.Хованская. Дополнительные возможности командного языка для запуска задач ЯУЗА. - М.:ИПМ АН СССР, 1976. - 16 с.

1975

•  Анд.В. Климов, Л.В.Проворов, С.А.Романенко, Е.В.Травкина. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Входной язык компилятора и запуск программ. - М.:ИПМ АН СССР, 1975, препринт N 8. - 71 с.

•  Климов Анд.В. , Романенко С.А. РЕФАЛ в мониторной системе "Дубна" БЭСМ-6. Интерфейс РЕФАЛа и ФОРТРАНа. - М.:ИПМ АН СССР, 1975. - 86 с.

1974

•  Анд.В.Климов, С.А.Романенко, Е.В.Травкина. Инструкция по работе с мониторной системой "РЕФАЛ" для БЭСМ-6 . - М.:ИПМ АН СССР, 1974. - 72 с.

•  С.А.Романенко, М.Р.Ковтун. Мониторная система "Секач". - В сб. Труды ЦНИПИАСС, вып. 4, М.:ЦНИПИАСС, 1974, с. 58-79.

1973

•  С.А.Романенко, Анд.В.Климов, В.Ф.Турчин. Теоретические основы синтаксического отождествления в языке РЕФАЛ. - М.:ИПМ АН СССР, 1973, препринт N 13. - 65 с.

1972

•  Ан.В.Климов, С.А.Романенко, В.Ф.Турчин. Компилятор с языка Рефал. - М.:ИПМ АН СССР, 1972. - 74 с.

1970

•  С.А.Романенко, В.Ф.Турчин. Алгоритм перевода текста на Рефале в текст на машинно-ориентированном языке. - В сб. "Тезисы докладов симпозиума по вопросам обработки символьной информации. 3-5 ноября." - Тбилиси: ВЦ АН Грузинской ССР, 1970. - с. 14.

•  С.А.Романенко, В.Ф.Турчин. РЕФАЛ-компилятор. - В сб. "Труды 2-й Всесоюзной конференции по программированию. Заседание Б." - Новосибирск: ВЦ СОАН, 1970. - с.31-42.

1969

•  С.Н.Флоренцев, В.Ю.Олюнин, С.А.Романенко, В.Ф.Турчин. Описание системы программирования РЕФАЛ. - М.:ИПМ АН СССР, 1969, препринт N 30. - 21 с.

Библиотека

Ряд полнотекстовых публикаций размещен в общедоступной электронной библиотеке Института.

Обновлено 12 мая 2011 г.