People

Sebastian Hack, Marcel Köster, Richard Membarth, Philipp Slusallek

Organization

Registration

Modus Operandi

Each paper will be assigned to one participant. We will have weekly meetings during the semester in which we will discuss one of the papers. The discussion will be managed by the student to whom the paper was assigned. She/He is responsible for giving a short summary on the paper and for structuring the following discussion.

Every week each student has to write a summary (max. 500 words) on the week's paper. This summary should include open questions and is to be submitted to Marcel Köster two days before the corresponding meeting (11:59 pm). The summaries of all participants will be made available and can be used by the moderator to structure the discussion in the following meeting.

At the end of the semester each participant will give a presentation (30 minutes) about her/his paper.

Each participant is allowed to drop two summaries without any particular reason. In case you drop a summary, please send a short mail telling so.

Dates

The preparatory meeting for this seminar took place on Thursday, October 24, 2:00 pm, E 1.3, room 401.

The papers were assigned during the first meeting.

Papers

[G] General Techniques

1. Futamura Y. Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler, Higher-Order and Symbolic Computation 12 (1999)
2. Jones N. D.Mix ten years later, PEPM 1995
3. Danvy O., Schulz U. Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure, PEPM 1997
4. Leone M., Lee P. Deferred Compilation: The Automation of Run-Time Code Generation, PEPM 1994
5. Jones S. P., Meijer E. Henk: A Typed Intermediate Language, First Int'l Workshop on Types in Compilation (1997)

[L] Metaprogramming Approaches in Programming Languages

1. Bawden, A. Quasiquotation in Lisp, PEPM 1999
2. Herman D., Wand M. A Theory of Hygienic Macros, ESOP 2008
3. Taha W. , Sheard T. MetaML and Multi-Stage Programming with Explicit Annotations, PEPM 1997
4. Sheard T, Jones S. P., Template Metaprogramming for Haskell, ACM SIGPLAN Workshop on Haskell (2002)
5. Czarnecki K., Eisenecker U. W. Static Metaprogramming in C++, Generative Programming: Methods, Tools, and Applications, Chapter 8 (2000)
6. Rompf T., Odersky M.Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs, GPCE 2010

[B] Binding-Time Analysis

1. Consel C. Binding-Time Analysis for Higher Order Untyped Functional Languages, LFP 1990
2. Sheard T., Linger N. Binding-Time Analysis for MetaML via Type Inference and Constraint Solving, TACAS 2004

[A] Applications

1. Chafi H. et al. A Domain-Specific Approach To Heterogeneous Parallelism, PPoPP 2011
2. DeVito Z. et al. Terra: A Multi-Stage Language for High-Performance Computing, PLDI 2013