| BREAKFAST |
| 8:45 | WELCOME |
| 9:00 | Invited Talk: | Staged Compilation | | Craig Chambers (University of Washington, USA) |
|
| 10:00 | BREAK |
| 10:30 | | Towards Bridging the Gap Between Programming Languages and Partial Evaluation | | Anne-Francoise Le Meur, Julia L. Lawall, and Charles Consel (INRIA/LaBRI, France) |
|
| 11:00 | | Online Partial Evaluation for Shift and Reset | | Kenichi Asai (Ochanomizu University, Japan) |
|
| 11:30 | | Growing Languages with Metamorphic Syntax Macros | | Claus Brabrand and Michael I. Schwartzbach (BRICS, University of Aarhus, Denmark) |
|
| 12:00 | LUNCH |
| 14:00 | | From Checking to Inference via Driving and Dag Grammars | | Jens Peter Secher and Morten Heine Sřrensen (DIKU, Denmark) |
|
| 14:30 | | Cost-Augmented Narrowing-Driven Specialization | | Germán Vidal (DSIC, Technical University of Valencia, Spain) |
|
| 15:00 | | Path Dependent Analysis of Logic Programs | | Lunjin Lu (Oakland University, USA) |
|
| 15:30 | BREAK |
| 16:00 | | Automatic Time-Bound Analysis for a Higher-Order Language | | Gustavo Gómez and Yanhong A. Liu (Indiana University, USA) |
|
| 16:30 | | Compositionality in the Puzzle of Semantics | | Roberto Giacobazzi and Isabella Mastroeni (Dipartimento di Informatica, Universita' degli studi di Verona, Italy) |
|
| 17:00 | Report from Program Chair |
| BREAKFAST |
| 9:00 | Shared session with WITS: Non-interference and Probability |
| 10:30 | BREAK |
| 11:00 | Invited Talk: | Implementation of Automatic Differentiation Tools | | Paul Hovland, Boyana Norris (Argonne National Laboratory, USA), and Christian Bischof (Technical University of Aachen, Germany) |
|
| 12:00 | LUNCH |
| 14:00 | | Program optimization using indexed and recursive data structures | | Yanhong A. Liu and Scott D. Stoller (State University of New York at Stony Brook, USA) |
|
| 14:30 | | Mixed-Initiative Interaction = Mixed Computation | | Naren Ramakrishnan, Robert Capra, and Manuel Perez-Quinones (Department of Computer Science, Virginia Tech, USA) |
|
| 15:00 | | CPS Translating Inductive and Coinductive Types | | Gilles Barthe (INRIA, France), and Tarmo Uustalu (University of Minho, Portugal) |
|
| 15:30 | CLOSING BREAK |