Accepted Papers

ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation
The following papers have been accepted for presentation at the workshop:

  • Jacques Carette and Michael Kucera. Partial Evaluation for Maple
  • Ping Zhu and Siau-Cheng Khoo. Towards Constructing Reusable Specialization Components
  • Kimberley Burchett, Gregory Cooper and Shriram Krishnamurthi. Lowering: A Static Optimization Technique for Functional Reactive Languages
  • Geoff Hamilton. Distillation: Extracting the Essence of Programs
  • Tom Rothamel and Annie Liu. Efficient Implementation of Tuple Pattern Retrieval
  • Jeffrey Fischer, Rupak Majumdar and Todd Millstein. Tasks: Language Support for Event-driven Programming
  • Dongxi Liu, Zhenjiang Hu and Masato Takeichi. Bidirectional Interpretation of XQuery
  • Claudio Ochoa and German Puebla. Poly-Controlled Partial Evaluation In Practice
  • Alcino Cunha and Joost Visser. Transformation of Structure-Shy Programs -- Applied to XPath Queries and Strategic Functions
  • German Vidal. Quasi-Terminating Logic Programs for Ensuring the Termination of Partial Evaluation
  • 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
  • Tetsuo Yokoyama and Robert Glueck. A Reversible Programming Language and its Invertible Self-Interpreter
  • Emir Pasalic, Jeremy Siek, Walid Taha and Seth Fogarty. Concoqtion: Indexed Types Now!
  • Ralf Laemmel. Style normalization for canonical X-to-O mappings
  • Walid Taha and Stephan Elnner. The Semantics of Graphical Languages