Program

Thursday, July 1, 2010

A bus from the "Pereslavl" hotel to Program Systems Institute will start at 09:15 and stop at the "Western" hotel at 09:20.

Session 1: In Memory of Valentin Turchin

10:00

• Sergei M. Abramov. Valentin Fyodorovich Turchin (45 min)

• Turchin in Reminiscences of Participants of μετα-2010 (60 min)

A bus from Program Systems Institute to the "Pereslavl" hotel will start at 13:15.

Lunch

A bus from the "Pereslavl" hotel to Program Systems Institute will start at 14:15.

Session 2: Biomolecular Computation and Partial Evaluation

14:30

• Invited Talk: Lars Hartmann, Neil D. Jones and Jakob Grue Simonsen. Programming in Biomolecular Computation (45 min)

• Robert Glück. Preliminary Report on a Self-Applicable Online Partial Evaluator for Flowchart (45 min)

• Discussion

A bus from Program Systems Institute to the city will start at 17:30.

18:30

Welcome Party

Friday, July 2, 2010

A bus from the "Pereslavl" hotel to Program Systems Institute will start at 09:15 and stop at the "Western" hotel at 09:20.

Session 3: Supercompilation and Distillation

10:00

• Invited Talk: Simon Peyton-Jones and Max Bolingbroke. Supercompilation by Evaluation (45 min)

• Ilya Klyuchnikov and Sergei A. Romanenko. Towards Higher-Level Supercompilation (45 min)

• Geoff Hamilton and Gavin Mendel-Gleason. A Graph-Based Definition of Distillation (45 min)

A bus from Program Systems Institute to the "Pereslavl" hotel will start at 13:15.

Lunch

A bus from the "Pereslavl" hotel to Program Systems Institute will start at 14:15.

Discussion Session

14:30

• Ilya Klyuchnikov. Inferring and Proving Properties of Functional Programs by Means of Supercompilation (45 min)

• Peter Sestoft (IT University of Copenhagen). Partial Evaluation of Spreadsheet Functions (45 min)

• Discussion

A bus from Program Systems Institute to the city will start at 17:00.

Saturday, July 3, 2010

A bus from the "Pereslavl" hotel to Program Systems Institute will start at 09:15 and stop at the "Western" hotel at 09:20.

Session 4: Supercompilation

10:00

• Andrei V. Klimov. Solving Reachability Problem for Monotonic Counter Systems by Supercompilation (45 min)

• Peter A. Jonsson and Johan Nordlander. Strengthening Supercompilation For Call-By-Value Languages (45 min)

• Jason S. Reich, Matthew Naylor and Colin Runciman. Supercompilation and the Reduceron (45 min)

A bus from Program Systems Institute to the "Pereslavl" hotel will start at 13:15.

Lunch

14:30

• Excursion. A bus will start from the "Pereslavl" hotel at 14:30.
  Ladies have to put on headscarves and long gowns. Gentlemen have to put on long trousers.

Sunday, July 4, 2010

A bus from the "Pereslavl" hotel to Program Systems Institute will start at 09:15 and stop at the "Western" hotel at 09:20.

Session 5: Supercompilation and Related Techniques

10:00

• Gavin Mendel-Gleason and Geoff Hamilton. Supercompilation and Normalisation By Evaluation (45 min)

• Dimitur Krustev. A Simple Supercompiler Formally Verified in Coq (45 min)

• Andrei Klimov. A Java Supercompiler (45 min)

A bus from Program Systems Institute to the "Pereslavl" hotel will start at 13:15.

Lunch

A bus from the "Pereslavl" hotel to Program Systems Institute will start at 14:15.

Discussion Session

14:30

• Robert Glück. Experiments with the Fourth Futamura Projection (45 min)

• Arkady Klimov. Parallelizing Fortran Translation to Dataflow Execution Model (45 min)

• Discussion

A bus from Program Systems Institute to the city will start at 17:00.

Monday, July 5, 2010

A bus from the "Pereslavl" hotel to Program Systems Institute will start at 09:15 and stop at the "Western" hotel at 09:20.

Session 6: Metacomputation

10:00

• Invited Talk: David Lacey, Neil D. Jones, Eric Van Wyk and Carl C. Frederiksen.
  Proving Correctness of Compiler Optimizations by Temporal Logic (45 min)

• Discussion

A bus from Program Systems Institute to the "Pereslavl" hotel will start at 13:15.

Lunch

A bus from the "Pereslavl" hotel to Program Systems Institute will start at 14:15.

14:30

• Discussion

A bus from Program Systems Institute to the city will start at 17:30.

18:30

Dinner