Friday 22nd of January, 1999 |
||
| - | Registration | |
| 14h30-14h45 | Welcome | |
| Session 1 (chairperson: Nevin Heintze) | ||
| 14h45-15h30: | Quasiquotation in Lisp (invited talk) Alan Bawden |
.ps here |
| 15h30-16h00: | C++ Templates as Partial Evaluation Todd L. Veldhuizen |
.ps here |
| 16h00-16h30: | break | |
| Session 2 (chairperson: Anindya Banerjee) | ||
| 16h30-17h00: | Godelisation in the untyped lambda-calculus Torben Mogensen |
.ps here |
| 17h00-17h30: | Deriving a Statically Typed Type-Directed Partial Evaluator Morten Rhiger |
.ps here |
| 17h30-18h00: | Interpreting Specialization in Type Theory Peter Thiemann |
.ps here |
| 18h00-18h15: | program-chairman report | |
Saturday 23rd of January, 1999 |
||
| Session 3 (chairperson: Michael Leuschel) | ||
| 09h15-10h00: | Program Adaptation based on Program Specialization (invited talk) Charles Consel |
.ps here |
| 10h00-10h30: | Combining Program and Data Specialization Sandrine Chirokoff and Charles Consel | .ps here |
| 10h30-11h00: | break | |
| Session 4 (chairperson: Renaud Marlet) | ||
| 11h00-11h30: | Certifying Compilation and Run-time Code Generation Luke Hornof and Trevor Jim |
.ps here |
| 11h30-12h00: | An Integration of Partial Evaluation in a Generic Abstract
Interpretation Framework German Puebla and Manuel Hermenegildo and John P. Gallagher |
.ps here |
| 12h00-12h30: | Diffusion: Calculating Efficient Parallel Programs Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki |
.ps here |
| 12h30-14h00: | lunch break | |
| Session 5 (chairperson: Jacques Malenfant) | ||
| 14h00-14h30: | Shifting Expression Procedures into Reverse Mark Tullsen and Paul Hudak |
.ps here |
| 14h30-15h00: | Slicing Software for Model Construction Matthew Dwyer and John Hatcliff |
.ps here |
| 15h00-15h30: | Effective Optimization of Multiple Traversals in Lazy Languages Wei-Ngan Chin and Aik-Hui Goh and Siau-Cheng Khoo |
.ps here |
| 15h30-16h00: | Declarative aspect-oriented programming Ralf Laemmel |
.ps here |
| 16h00-16h30: | break | |
| Session 6 (chairperson: Kenichi Asai) | ||
| 16h30-17h00: | Partial Evaluation of shaped programs: experience with FISh C. Barry Jay |
.ps here |
| 17h00-17h45: | Rehabilitating CPS (invited talk) Olin Shivers |
.ps here |