|PEPM 2000 call for participation firstname.lastname@example.org (1999-12-20)|
|From:||email@example.com (ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation)|
|Date:||20 Dec 1999 23:32:55 -0500|
|Organization:||University of Aarhus, Department of Computer Science (DAIMI)|
Call for Participation
2000 ACM SIGPLAN Workshop on
Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00)
Boston, Massachusetts, January 22-23, 2000
The PEPM'00 workshop will bring together researchers working in the
areas of semantics-based program manipulation and partial
evaluation. The workshop focuses on techniques, supporting theory, and
applications of the analysis and manipulation of programs. Eleven
papers will be presented, and there will be invited talks by Manuvir
Das (Microsoft Research), Frank Pfenning (Carnegie Mellon University),
and Jonathan Walpole (Oregon Graduate Institute).
To register for the workshop, use the standard POPL registration form,
Note that it is not necessary to attend POPL to register for PEPM, or
to receive the associated discount hotel rate.
Saturday, January 22
Invited talk: "Static Analysis of Large Programs: Some Experiences"
Manuvir Das (Microsoft Research)
"Towards Partially Evaluating Reflection in Java"
Mathias Braux and Jacques Noye (Ecole des Mines de Nantes)
"Online-and-Offline Partial Evaluation: A Mixed Approach"
Eijiro Sumii and Naoki Kobayashi (The University of Tokyo)
"The Second Futamura Projection for Type-Directed Partial Evaluation"
Bernd Grobauer (BRICS, University of Aarhus) and Zhe Yang (New York
Invited talk: On the Logical Foundations of Staged Computation
Frank Pfenning (Carnegie Mellon University)
"A Sound Reduction Semantics for Untyped CBN Multi-Stage Computation"
Walid Taha (Chalmers University of Technology)
"Using Regular Approximations for Generalisation During Partial Evaluation"
John P. Gallagher and Julio C. Peralta (University of Bristol)
"Non Pair-Sharing and Freeness Analysis through Linear Refinement"
Giorgio Levi and Fausto Spoto (Universita di Pisa)
"Calculating Sized Types"
Wei-Ngan Chin and Siau-Cheng Khoo (National University of Singapore)
"From Recursion to Iteration: What are the Optimizations?"
Annie Liu and Scott Stoller (Indiana University)
Sunday, January 23
Invited talk: "Operating System Specialization: Experiences,
Opportunities and Challenges"
Jonathan Walpole (Oregon Graduate Institute)
"Type-based useless variable elimination"
Naoki Kobayashi (The University of Tokyo)
"Program Analysis with Partial Transfer Functions"
Brian R. Murphy and Monica S. Lam (Stanford University)
"Symbolic Pointer Analysis for Detecting Memory Leaks"
Bernhard Scholz (University of Vienna), Johann Blieberger (Technical
University of Vienna), and Thomas Fahringer (University of Vienna)
Chairperson: Julia Lawall, Boston University.
* Zino Benaissa (Oregon Graduate Institute)
* Andrzej Filinski (BRICS, University of Aarhus)
* John Hatcliff (Kansas State University)
* Luke Hornof (University of Pennsylvania)
* Laura Lafave (University of Bristol)
* Sheng Liang (Sun Microsystems)
* Gilles Muller (INRIA/Rennes)
* Norman Ramsey (Harvard University)
* Jon Riecke (Lucent/Bell Labs, New Jersey)
* Olin Shivers (MIT)
* Morten Heine Sorensen (DIKU, University of Copenhagen, and
TERMA Elektronik AS, Denmark)
Return to the
Search the comp.compilers archives again.