μετα 2010

Second International Workshop on Metacomputation in Russia
 

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

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

 

 

 

 

Accepted Papers and Invited Talks Published in the Proceedings

 

Proceedings of the Workshop (PDF file)


1. Programming in Biomolecular Computation

  • Lars Hartmann, Department of Computer Science (DIKU), University of Copenhagen, Denmark
  • Neil D. Jones, Department of Computer Science (DIKU), University of Copenhagen, Denmark
  • Jakob Grue Simonsen, Department of Computer Science (DIKU), University of Copenhagen, Denmark

2. Supercompilation by Evaluation

  • Simon Peyton-Jones, Microsoft Research, United Kingdom
  • Max Bolingbroke, University of Cambridge, United Kingdom

3. Preliminary Report on a Self-Applicable Online Partial Evaluator for Flowchart

  • Robert Glück Computer Science Department (DIKU), University of Copenhagen, Denmark

4. A Graph-Based Definition of Distillation

  • Geoff Hamilton, School of Computing Dublin City University, Ireland
  • Gavin Mendel-Gleason, School of Computing Dublin City University, Ireland

5. Strengthening Supercompilation For Call-By-Value Languages

  • Peter A. Jonsson, Luleå University of Technology, Sweden
  • Johan Nordlander, Luleå University of Technology, Sweden

6. Solving Reachability Problem for Monotonic Counter Systems by Supercompilation

  • Andrei V. Klimov, Keldysh Institute of Applied Mathematics, Russian Academy of Sciences

7. Towards Higher-Level Supercompilation

  • Ilya Klyuchnikov, Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
  • Sergei A. Romanenko, Keldysh Institute of Applied Mathematics, Russian Academy of Sciences

8. A Simple Supercompiler Formally Verified in Coq

  • Dimitur Krustev, IGE+XAO Balkan, Bulgaria

9. Supercompilation and Normalisation By Evaluation

  • Gavin Mendel-Gleason, School of Computing Dublin City University, Ireland
  • Geoff Hamilton, School of Computing Dublin City University, Ireland

10. A Method of Verification of Functional Programs Based on Graph Models

  • Andrew Mironov, Moscow State University, Russia

11. Supercompilation and the Reduceron

  • Jason S. Reich, Department of Computer Science, University of York, United Kingdom
  • Matthew Naylor, Department of Computer Science, University of York, United Kingdom
  • Colin Runciman, Department of Computer Science, University of York, United Kingdom

12. A Note on three Programming Paradigms

  • Nikolay Shilov, A.P. Ershov Institute of Informatics Systems, Russian Academy of Sciences