| Proving the equivalence of higher-order terms by means of supercompilation I Klyuchnikov, S Romanenko International Andrei Ershov Memorial Conference on Perspectives of System …, 2009 | 52 | 2009 |
| Multi-result supercompilation as branching growth of the penultimate level in metasystem transitions I Klyuchnikov, SA Romanenko International Andrei Ershov Memorial Conference on Perspectives of System …, 2011 | 33 | 2011 |
| Towards higher-level supercompilation I Klyuchnikov, S Romanenko Second International Workshop on Metacomputation in Russia 2 (4.2), 5, 2010 | 33 | 2010 |
| Supercompiler HOSC 1.0: under the hood I Klyuchnikov | 33 | 2009 |
| Supercompiler HOSC: proof of correctness I Klyuchnikov | 20 | 2010 |
| Supercompiler HOSC 1.1: proof of termination I Klyuchnikov | 17 | 2010 |
| SPSC: a simple supercompiler in Scala I Klyuchnikov, S Romanenko PU 9, 5, 2009 | 17 | 2009 |
| Supercompiler HOSC 1.5: homeomorphic embedding and generalization in a higher-order setting I Klyuchnikov | 16 | 2010 |
| MRSC: a toolkit for building multi-result supercompilers I Klyuchnikov, SA Romanenko | 15 | 2011 |
| Automatic verification of counter systems via domain-specific multi-result supercompilation AV Klimov, IG Klyuchnikov, SA Romanenko Preprint 19, 2012-19, 2012 | 14 | 2012 |
| Towards effective two-level supercompilation I Klyuchnikov | 13 | 2010 |
| Proving the equivalence of higher-order terms by means of supercompilation. In Perspectives of Systems Informatics, volume 5947 of LNCS, pages 193-205 I Klyuchnikov, S Romanenko | 11 | 2010 |
| Supercompiler HOSC 1.0: under the hood. Preprint 63, Keldysh Institute of Applied Mathematics I Klyuchnikov Moscow, 2009 | 11 | 2009 |
| Inferring and proving properties of functional programs by means of supercompilation I Klyuchnikov Cand. Sci. Dissertation, 2010 | 10 | 2010 |
| The ideas and methods of supercompilation I Klyuchnikov Practice of Functional Programming 7, 2011 | 8 | 2011 |
| Formalizing and implementing multi-result supercompilation IG Klyuchnikov, SA Romanenko Klimov and Romanenko [18], 142-164, 2012 | 7 | 2012 |
| Supercompiler HOSC: proof of correctness. Preprint 31, Keldysh Institute of Applied Mathematics I Klyuchnikov | 7 | 2010 |
| Staged multi-result supercompilation: Filtering by transformation S Grechanik, I Klyuchnikov, S Romanenko Proceedings of the Fourth International Valentin Turchin Workshop on …, 2014 | 6 | 2014 |
| MRSC: a toolkit for building multi-result supercompilers. Preprint 77, Keldysh Institute of Applied Mathematics IG Klyuchnikov, SA Romanenko | 6 | 2011 |
| Towards effective two-level supercompilation. Preprint 81, Keldysh Institute of Applied Mathematics I Klyuchnikov | 6 | 2010 |
Sergei A. RomanenkoResearcher, Keldysh Institute of Applied MathematicsVerified email at supercompilers.ru
