Call for participation: Metaprogramming summer school (Dagstuhl, August 2019)

by yallop, May 20, 2019

Second International Summer School on Metaprogramming

Schloss Dagstuhl, Leibniz Center for Informatics, Germany

11th-16th August 2019
(the week before ICFP'19)

https://www.cl.cam.ac.uk/events/metaprog/2019/

====================================================================

Second International Summer School on Metaprogramming

Schloss Dagstuhl, Leibniz Center for Informatics, Germany

11th-16th August 2019
(the week before ICFP'19)

https://www.cl.cam.ac.uk/events/metaprog/2019/
====================================================================

Metaprogramming is an approach to constructing programs by treating program fragments (such as expressions or types) as values that the program can manipulate. Metaprogramming comes in various forms --- for example,

  • in dependently-typed programming terms appear within types, supporting the construction of precise specifications of functions and data.
  • in multi-stage programming expressions are program values, making it possible to write safe program generation programs that can significantly improve performance.
  • in languages with macros programs execute partly during compilation and partly at run-time, eliminating the sharp distinction between built-in and user-defined constructs.
  • embedded domain-specific languages reuse host language features such as syntax and type-checking for convenient definition of little languages suited to a particular endeavour.

Metaprogramming has many applications, including genericity, proof automation, language extensibility and user-defined optimization.

The goal of the summer school is to explore the state-of-the art in metaprogramming and its applications, covering both theory and practice.

Lecturers and courses

Oleg Kiselyov (Tohoku University)
From the tagless-final cookbook: simple hardware description language and optimization-by-evaluation

Matthew Flatt (University of Utah)
Building Languages with Racket

Conor McBride (University of Strathclyde)
TBA

Jonathan Protzenko (Microsoft Research Redmond)
Meta-F*: efficient meta-programming of the F* compiler at every stage

Prerequisites

The school is aimed at graduate students in programming languages and related areas, but is open to researchers, practitioners and strong masters students with the support of a supervisor. Some experience of typed functional programming in Haskell, OCaml, Scala, or a similar language will be assumed.

Costs

Thanks to the Schloss Dagstuhl subsidies, accommodation costs are as follows, and the dates are immediately before ICFP'19 (also in Germany):

Single-occupancy accommodation: €420
Double-occupancy accommodation: €330

Accommodation costs include full board (in a single- or double-occupancy room, including meals during stay) from Sunday 11 August (evening) to Friday 16 August (afternoon).

Application procedure

You will need to complete the online registration form at:

  https://www.cl.cam.ac.uk/events/metaprog/2019/application.html

and ensure your referees send your references to:

  [email protected]

by the application deadline.

TIMETABLE

  • 30 June: Application and reference letters deadline.
  • 10 July: Notification of acceptance.
  • 11 August: Summer school.

Further information

For any questions relating to the school, please contact the organisers (Jeremy Yallop, Ohad Kammar, Yukiyoshi Kameyama) at [email protected]