SAIG'01 Preliminary Program

PLI Workshop, September 6th, 2001, Florence.
 

0800 - 0845    Invited Talk:  A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming
                        Mitch Wand, Northeastern
0845 - 0915    Short Cut Fusion: Proved and Improved,
                        Patricia Johann, Dickinson College
0915 - 0945    Static Transition Compression,
                        Daniel Damian and Olivier Danvy, BRICS
0945 - 1005    Position Paper:  A transformational approach which combines size inference and program optimization,
                        Christoph Herrmann, Christian Lengauer, Passau
1005 - 1030    Break
1030 - 1115    Invited Talk:  Accomplishments and Research Challenges in Meta-Programming
                        Tim Sheard, OGI
1115 - 1145    Integrating Partial Evaluators into Interpreters,
                        Kenichi Asai, Tokyo
1145 - 1215    A Unifying Approach to Goal-Directed Evaluation,
                        Olivier Danvy, Bernd Grobauer, and Morten Rhiger, BRICS
1215 - 1235    Position Paper:  MetaKlaim: Meta-Programming for Global Computing,
                        G. Ferrari, Pisa, E.Moggi, Genova, R.Pugliese, Firenze
1235 - 1400    Lunch
1400 - 1445    Invited Talk:  Generative Programming and Software System Families
                        Krzysztof Czarnecki, Daimler Chrysler Research
1445 - 1515    A Design Methodology for Haskell,
                        David Wakeling, Exeter
1515 - 1530    PC Report, Walid Taha
1530 - 1600    Break
1600 - 1630    Generation of Efficient Programs for Solving Maximum Multi-Marking Problems,
                        Isao Sasano, Zhenjiang Hu, Masato Takeichi, Tokyo
1630 - 1700    Dynamically Adaptable Software with Metacomputations in a Staged Language,
                        Bill Harrison and Tim Sheard, OGI
1700 - 1800    Panel Discusion

Abstracts available from list of accepted papers.

LNCS proceedings should be available online soon.