-------++ Monday, January 15, 2006 ------+++ Opening: 8:45 - 9:00 ------+++ Session 1: 9:00 - 10:00 (Invited Talk) * Michael Schwartzbach. XML Graphs in Program Analysis _Coffee break_ ------+++ Session 2: 10:30 - 12:00 (XML) * Alcino Cunha and Joost Visser. Transformation of Structure-Shy Programs -- Applied to XPath Queries and Strategic Functions * Dongxi Liu, Zhenjiang Hu and Masato Takeichi. Bidirectional Interpretation of XQuery * Ralf Laemmel. Style normalization for canonical X-to-O mappings _Lunch_ ------+++ Session 3: 14:00 - 15:30 (Partial Evaluation 1) * Jacques Carette and Michael Kucera. Partial Evaluation for Maple * German Vidal. Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation * Geoff Hamilton. Distillation: Extracting the Essence of Programs _Coffee break_ ------+++ Session 4: 16:00 - 17:00 (Domain-Specific Optimization) * Kimberley Burchett, Gregory Cooper and Shriram Krishnamurthi. Lowering: A Static Optimization Technique for Functional Reactive Languages * Tom Rothamel and Annie Liu. Efficient Implementation of Tuple Pattern Retrieval -------++ Tuesday, January 16, 2006 ------+++ Session 5: 9:00 - 10:00 (Invited Talk) * Oege de Moor, Elnar Hajiyev, and Mathieu Verbaere. [[ObjectOrientedQueriesOverSoftwareSystems][Object-oriented Queries over Software Systems]] _Coffee break_ ------+++ Session 6: 10:30 - 12:00 (Meta-programming) * Coen De Roover, Johan Brichau, Carlos Noguera, Theo D'Hondt and Laurence Duchien. Behavioral Similarity Matching using Concrete Source Code Templates in Logic Queries * Joćo Fernandes and Joćo Saraiva. Tools and Libraries to Model and Manipulate Circular Programs * Emir Pasalic, Jeremy Siek, Walid Taha and Seth Fogarty. Concoqtion: Indexed Types Now! _Lunch_ ------+++ Session 7: 14:00 - 15:30 (Language design) * Walid Taha and Stephan Elnner. The Semantics of Graphical Languages * Jeffrey Fischer, Rupak Majumdar and Todd Millstein. Tasks: Language Support for Event-driven Programming * Tetsuo Yokoyama and Robert Glueck. A Reversible Programming Language and its Invertible Self-Interpreter _Coffee break_ ------+++ Session 8: 16:00 - 17:00 (Partial Evaluation 2) * Claudio Ochoa and German Puebla. Poly-Controlled Partial Evaluation In Practice * Ping Zhu and Siau-Cheng Khoo. Towards Constructing Reusable Specialization Components