| TUESDAY 24 AUGUST 2004 | |
|---|---|
| 09:00-10:00 | Plenary Invited Talk: |
| Sheila McIlraith: Semantic Web | |
| 10:30-12:30 | K. Asai: Offline Partial Evaluation for Shift and Reset |
| A. Rigo: Representation-based Just-in-time Specialization and the Psyco prototype for Python | |
| H. M. Andersen and U. P. Schultz: Declarative Specialization for Object-Oriented-Program Specialization | |
| G. Bobeff and J. Noyé: Component Specialization | |
| 14:00-15:30 | Applications session: |
| Larry Akers: Rule-based Transformations of Large Legacy Systems | |
| Gary Daugherty: Specialization Opportunities in Middleware and Avionics Systems | |
| Sam Kamin: Frameworks for Run-time Code Generation in Java | |
| Julia Lawall: Specialization in Infrastructure for Operating Systems and Domain-specific Languages | |
| 16:00-17:30 | Applications session, continued |
| WEDNESDAY 25 AUGUST 2004 | |
| 09:00-10:00 | Plenary Invited Talk: |
| Yannis Smaragdakis: Program Generators and the Tools to Make Them | |
| 10:30-12:00 | S. Nishimura: Fusion with Stacks and Accumulating Parameters |
| S. Debois: Imperative Program Optimization by Partial Evaluation | |
| C. Ochoa, J. Silva and G. Vidal: Dynamic Slicing Based on Redex Trails | |
| 12:00-12:30 | PEPM business meeting (open to all) |
| 14:00-15:30 | C. Popeea and W.-N. Chin: A Type System for Resource Protocol Verification and its Correctness Proof |
| F. Duran, S. Lucas, J. Meseguer, C. Marché and X. Urbain: Termination of Membership Equational Programs | |
| A. Pettorossi and M. Proietti: A Theory of Totally Correct Logic Program Transformations | |
| 16:00-17:30 | J. Hulaas and W. Binder: Program Transformations for Portable CPU Accounting and Control in Java |
| Z. Hu, S.-C. Mu and M. Takeichi: A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations | |
| S. Barker, M. Leuschel and M. Varea: Efficient and Flexible Access Control via Logic Program Specialisation | |
| 17:30-18:00 | Wrap-up discussion and PEPM planning |
The PEPM'04 home page is http://profs.sci.univr.it/~pepm04/