Sergei A. Romanenko –
Сергей Анатольевич Романенко
Researcher
Keldysh Institute of Applied Mathematics,
Russian Academy of Sciences
(Program Analysis and Transformation Sector)
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.
- Mechanically checked, formalized proofs.
- Functional programming languages and their implementation (in particular, Refal and Standard ML).
- Software development.
My programs and systems
- A number of proofs formalized in Agda:
- A simple supercompiler formally verified in Agda.
- Staged multi-result supercompilation (a model in Agda).
- Almost-full relations: an Agda version for “Stop when you are almost-full”.
- Intuitionistic Ramsey Theorem.
- Constructive proofs of Higman’s lemma implemented in Agda.
- Hereditary substitutions for simple types (revised).
- A collection of samples in Agda.
- TT Lite: a certifying supercompiler for Martin-Löf’s Type Theory.
- MRSC: a toolkit for building multi-result supercompilers.
- 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. See also a version for Racket by Danil Annenkov.
- 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
My activities
- PEPM’2018 (Monday 8th – Tuesday 9th January 2018, Los Angeles, California, United States), a program committee member.
- Научный сервис в сети Интернет - 2017 (September 18-23, 2017, Novorossiysk, Russia).
- μετα 2016 / meta 2016 (June 27 - July 1, 2016, Pereslavl-Zalessky, Russia), a program committee chair.
- μετα 2014 / meta 2014 (June 29 - July 3, 2014, Pereslavl-Zalessky, Russia), a program committee chair.
- PEPM’2013 (January, 20-21, 2013, Rome, Italy), a program committee member.
- μετα 2012 / meta 2012 (July 5-9, 2012, Pereslavl-Zalessky, Russia), a program committee chair.
- PSI’11 (June, 27 – July, 1, 2011, Novosibirsk, Akademgorodok, Russia).
- μετα 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
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-2021: Leading Researcher, Senior Researcher, M.V.Keldysh Institute of Applied Mathematics, the Russian Academy of Sciences, Moscow.
2021-present: Researcher, M.V.Keldysh Institute of Applied Mathematics, the Russian Academy of Sciences, Moscow.
Contact
Email:
