PEPM Program
ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation
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)
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