CALL FOR PARTICIPATION 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02) Portland, Oregon, USA, January 14-15, 2002 (colocated with POPL'02) http://www.informatik.uni-freiburg.de/~thiemann/pepm02 The PEPM'02 workshop will bring together researchers working in the areas of semantics-based program manipulation, partial evaluation, and program generation. The workshop focuses on techniques, supporting theory, and applications of the analysis and manipulation of programs. PRELIMINARY PROGRAM Monday, 14 January 2002 BREAKFAST 8:45 WELCOME (chair: PT) 9:00 Invited Talk: Staged Compilation Craig Chambers (U Washington) 10:00 BREAK 10:30 Towards Bridging the Gap Between Programming Languages and Partial Evaluation Anne-Francoise Le Meur, Julia L. Lawall, Charles Consel (INRIA/LaBRI, France) 11:00 Online Partial Evaluation for Shift and Reset Kenichi Asai (Ochanomizu University, Japan) 11:30 Growing Languages with Metamorphic Syntax Macros Claus Brabrand, Michael I. Schwartzbach (BRICS, University of Aarhus, Denmark) 12:00 LUNCH 14:00 From Checking to Inference via Driving and Dag Grammars Jens Peter Secher and Morten Heine Sørensen (DIKU, Denmark) 14:30 Cost-Augmented Narrowing-Driven Specialization Germán Vidal (DSIC, Technical University of Valencia, Spain) 15:00 Path Dependent Analysis of Logic Programs Lunjin Lu (Oakland University, USA) 15:30 BREAK 16:00 Automatic Time-Bound Analysis for a Higher-Order Language Gustavo Gómez and Yanhong A. Liu (Indiana University, USA) 16:30 Compositionality in the Puzzle of Semantics Roberto Giacobazzi, Isabella Mastroeni (Dipartimento di Informatica, Universita' degli studi di Verona, Italy) 17:00 PC REPORT Tuesday, 15 January 2002 BREAKFAST 9:00 shared WITS-Session "Non-Interference and Probability" 10:30 BREAK 11:00 Invited Talk: Implementation of Automatic Differentiation Tools Christian Bischof (Technical University of Aachen, Germany), Paul Hovland, Boyana Norris (Argonne National Laboratory, USA), 12:00 LUNCH 14:00 Program Optimization Using Indexed and Recursive Data Structures Yanhong A. Liu and Scott D. Stoller (State University of New York at Stony Brook, USA) 14:30 Mixed-Initiative Interaction = Mixed Computation Naren Ramakrishnan, Robert Capra, Manuel Perez-Quinones (Department of Computer Science, Virginia Tech, USA) 15:00 CPS Translating Inductive and Coinductive Types Gilles Barthe (INRIA, France), Tarmo Uustalu (University of Minho, Portugal) 15:30 CLOSING