Program

Time slots for talks - 45 min including questions.
At the end of each session 30 min are reserved for discussion.
30 min coffee breaks are after the first two talks in the morning sessions and after the first talk in the afternoon sessions.

Thursday, July 5, 2012

09:30 Bus from the Western Hotel via the Albitsky Garden Hotel to the Program Systems Institute

09:45 Registration

Session 1: Valentin Turchin Memorial

10:30

• Opening META 2012

• Sergei M. Abramov
  Valentin Turchin's Scientific Method and Goals

• Andrei V. Klimov
  Valentin Turchin's Legacy. What should we do next?

• Neil D. Jones and Geoff W. Hamilton
  Superlinear Speedup by Program Transformation (slides)

13:15 Bus from the Program Systems Institute to the restaurant Province (in the Pereslavl Hotel)
           Lunch
14:15 Bus from the restaurant Province to the Program Systems Institute

Session 2

14:30

• Robert Glück
  Bootstrapping Compiler Generators from Partial Evaluators (slides)
  (invited talk based on PSI 2011 paper)

• Alexander V. Slesarenko
  Lightweight Polytypic Staging of DSLs in Scala (slides)

17:00 Walk to the restaurant Botik (20 min from the Institute)

           Welcome party

Friday, July 6, 2012

09:30 Bus from the Western Hotel via the Albitsky Garden Hotel to the Program Systems Institute

Session 3

10:00

• Neil D. Jones
  Obfuscation by Partial Evaluation of Distorted Interpreters (slides)
  (invited talk based on PEPM 2012 paper)

• Geoff W. Hamilton
  A Hierarchy of Program Transformers (slides)

• Dimitur Krustev
  A Metacomputation Toolkit for a Subset of F# and Its Application to Software Testing: Towards Metacomputation for the Masses (slides)

13:15 Bus from the Program Systems Institute to the restaurant Province
           Lunch
14:15 Bus from the restaurant Province to the Program Systems Institute

Session 4

14:30

• Sergei A. Romanenko (with Andrei V. Klimov and Ilya G. Klyuchnikov)
  Automatic Verification of Counter Systems via Domain-Specific Multi-Result Supercompilation (slides)

• Ilya G. Klyuchnikov (with Sergei A. Romanenko)
  Formalizing and Implementing Multi-Result Supercompilation (slides)

17:30 Bus from the Program Systems Institute to the hotels

Saturday, July 7, 2012

10:00 Bus from the Albitsky Garden Hotel and then the Western Hotel

           Excursion to ancient Russian town Rostov the Great (60 km from Pereslavl)

           Lunch in Rostov

17:00 (approx.) Back to the hotels

           Leisure

Sunday, July 8, 2012

09:30 Bus from the Western Hotel via the Albitsky Garden Hotel to the Program Systems Institute

Session 5

10:00

• Sergei A. Grechanik
  Overgraph Representation for Multi-Result Supercompilation (slides)

• Andrei V. Klimov
  Why Multi-Result Supercompilation Matters: Case Study of Reachability Problems for Transition Systems (slides)

• Michael Dever (with Geoff W. Hamilton)
  A Comparison of Program Transformation Systems (slides)

13:15 Bus from the Program Systems Institute to the restaurant Province
           Lunch
14:15 Bus from the restaurant Province to the Program Systems Institute

Session 6

14:30

• Nikolai N. Nepejvoda
  Reversivity, Reversibility and Retractability (slides)

• Gavin E. Mendel-Gleason (with Geoff W. Hamilton)
  Development of the Productive Forces (slides)

17:00 Bus from the Program Systems Institute to the hotels

           Leisure

Monday, July 9, 2012

09:30 Bus from the Western Hotel via the Albitsky Garden Hotel to the Program Systems Institute

Session 7

10:00

• Alexei Adamovich
  Optimization of Imperative Functional Parallel Programs with Non-local Program Transformations (slides)

• Eugene Burmako (with Martin Odersky)
  Scala Macros, a Technical Report (slides)

Discussion on Complexity and Superlinear Speedup

• Neil D. Jones
  Program Transformation and Problem Complexity

• Geoff W. Hamilton
  Superlinear Speedups

• Andrei V. Klimov
  An Example of Superlinear Transformation in Andrei Nemytykh's Supercompiler SCP4

13:15 Bus from the Program Systems Institute to the restaurant Province
           Lunch
14:15 Bus from the restaurant Province to the Program Systems Institute

Session 8

14:30

• Dimitur Krustev
  Towards a Framework for Building Formally Verified Supercompilers in Coq

• Sergei A. Romanenko
  Multi-Result Supercompilation as a Tool for Program Analysis

17:00 Bus from the Program Systems Institute to the Albitsky Garden Hotel

18:00 Conference dinner in the Albitsky Garden Hotel