Proceedings

Proceedings of the Third International Valentin Turchin Workshop on Metacomputation (PDF file)

Papers

The paper names are clickable and refer to PDF files containing respective pages of the proceedings.

1. Optimization of Imperative Functional Parallel Programs with Non-local Program Transformations (slides)
   Alexei Adamovich
   Ailamazyan Program Systems Institute, Russian Academy of Sciences
    
2. Scala Macros, a Technical Report (slides)
   Eugene Burmako and Martin Odersky
   École Polytechnique Fédérale de Lausanne, Switzerland
    
3. A Comparison of Program Transformation Systems (slides)
   Michael Dever and Geoff Hamilton
   Dublin City University, Republic of Ireland
    
4. Overgraph Representation for Multi-Result Supercompilation (slides)
   Sergei Grechanik
   Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
    
5. A Hierarchy of Program Transformers (slides)
   Geoff Hamilton
   Dublin City University, Republic of Ireland
    
6. Obfuscation by Partial Evaluation of Distorted Interpreters (slides)
   (invited talk based on PEPM 2012 paper)
   Neil Jones
   University of Copenhagen, DIKU, Denmark
    
7. Superlinear Speedup by Program Transformation (slides)
   Neil Jones and Geoff Hamilton
   University of Copenhagen, DIKU, Denmark
   Dublin City University, Republic of Ireland
    
8. Why Multi-Result Supercompilation Matters: Case Study of Reachability Problems for Transition Systems (slides)
   Andrei Klimov
   Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
    
9. Automatic Verification of Counter Systems via Domain-Specific Multi-Result Supercompilation (slides)
   Andrei Klimov, Ilya Klyuchnikov and Sergei Romanenko
   Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
    
10. Formalizing and Implementing Multi-Result Supercompilation (slides)
    Ilya Klyuchnikov and Sergei Romanenko
    Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
     
11. A Metacomputation Toolkit for a Subset of F# and Its Application To Software Testing (slides)
    Dimitur Krustev
    IGE+XAO Balkan, Bulgaria
     
12. Development of the Productive Forces (slides)
    Gavin Mendel-Gleason and Geoff Hamilton
    Dublin City University, Republic of Ireland
     
13. Reversivity, Reversibility and Retractability (slides)
    Nikolai Nepejvoda
    Ailamazyan Program Systems Institute, Russian Academy of Sciences
     
14. Inverting Dynamic Programming
    Nikolay Shilov
    A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
     
15. Lightweight Polytypic Staging of DSLs in Scala (slides)
    Alexander Slesarenko
    Keldysh Institute of Applied Mathematics, Russian Academy of Sciences