Sergei A. Romanenko
(Сергей Анатольевич Романенко)

Research interests

My research interests include

• Program transformation (partial evaluation, supercompilation, program specialization).
• Program analysis and inferring properties of programs by means of program transformation.
• Functional programming languages and their implementation (in particular, Refal and Standard ML).
• Software development.

My programs and systems

• HOSC: A Higher-Order Supercompiler in Scala.
• SPSC: A Small Positive Supercompiler in Scala.
• Refal Plus Development Tools (RFPDT), an implementation of the Refal Plus programming language integrated into IDE Eclipse.
• Moscow ML, a light-weight implementation of the elegant functional language Standard ML.
• Unmix, a program specializer (based on partial evaluation) for a subset of Scheme.
• The first implementation of the Refal Plus programming language developed for MS DOS in 1991 (in collaboration with Ruten Gurin).
• First implementations of the Refal-2 programming language for BESM-6 and ES EVM.

My books, papers and so on

• List of all publications (files)
• Talks (files)

My activities

• μετα 2010 / meta 2010 (July 1-5, 2010, Pereslavl-Zalessky, Russia), a program committee member.
• PU'09 (June 19-23, Altai Mountains, Russia).
• PSI'09 (June 15-19, 2009, Novosibirsk, Akademgorodok, Russia).
• μετα 2008 / meta 2008 (July 2-5, 2008, Pereslavl-Zalessky, Russia), a program committee member.
• PEPM'2008 (January 7-8, 2008, San Francisco, USA), a program committee member.
• Научный сервис в сети Интернет - 2007 (September 24-29, 2007, Novorossiysk, Russia).

My web-resources

• Заметки о суперкомпиляции в блоге Метавычисления и специализация программ.
• Selected publications related to Refal and supercompilation (files)
• linkedin.com
• moikrug.ru
• vkontakte.ru
• facebook.com
• picasaweb.google.com
• panoramio.com
• Google profile
• Miscellanea (files)

Background

I'm a graduate of computer science and mathematics (MSc 1973, PhD 1979) from Lomonosov Moscow State University, the Faculty of Computational Mathematics and Cybernetics, the chair of programming languages.

1973-1975: Postgraduate student at M.V.Keldysh Institute of Applied Mathematics, the Russian Academy of Sciences, Moscow.

1979: Ph.D., Mathematics and physics, M.V.Keldysh Institute of Applied Mathematics, the Russian Academy of Sciences, Moscow.

1975-1981: Junior Researcher, M.V.Keldysh Institute of Applied Mathematics, the Russian Academy of Sciences, Moscow

1982-1983: Chief Engineer of Project, Head Informational Computing Center of the State Committee on Publishing Houses, Printing Industry and Trades (Goskomizdat), Moscow.

1983-present: Leading Researcher, Senior Researcher, M.V.Keldysh Institute of Applied Mathematics, the Russian Academy of Sciences, Moscow

Contact

Email:
sergei_.romanenko_@supercompilers_.ru.