Klimov Andrei Valentinovich

Publications in Math-Net.Ru

1. Supercompilation: main principles and basic concepts
   
   Keldysh Institute preprints, 2018, 111, 36 pp.
2. An interactive specializer based on partial evaluation for a Java subset
   
   Proceedings of ISP RAS, 30:4 (2018),  29–44
3. How to create deterministic by construction parallel programs? Problem statement and survey of related works
   
   Program Systems: Theory and Applications, 8:4 (2017),  221–224
4. Implementing a domain-specific multi-result supercompiler by means of the MRSC toolkit
   
   Keldysh Institute preprints, 2012, 024, 21 pp.
5. Automatic verification of counter systems via domain-specific multi-result supercompilation
   
   Keldysh Institute preprints, 2012, 019, 30 pp.
6. A simple algorithm for solving the coverability problem for monotonic counter systems
   
   Model. Anal. Inform. Sist., 18:4 (2011),  106–117
7. Thoughts on the development of SKIF-Aurora supercomputer interconnect
   
   Program Systems: Theory and Applications, 1:3 (2010),  107–123
8. A program specialization relation based on supercompilation and its properties
   
   Keldysh Institute preprints, 2008, 026, 28 pp.