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


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!


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