META 2012

Third International Valentin Turchin Workshop on Metacomputation

 

 

July 5-9, 2012, Pereslavl-Zalessky (120 km to the north-east from Moscow), Russia

Home
Call For Papers
Submissions
Important Dates
News
Invited Speakers
Papers
Program
Registration
Visa Support
Place
Contacts
Photos
History
Sponsors

 

 

 

 

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?

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)

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

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

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

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

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

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