PEPM 2000 call for participation

                                                      Call for Participation


                                                2000 ACM SIGPLAN Workshop on
          Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00)
                                  Boston, Massachusetts, January 22-23, 2000
                                          http://www.cs.brandeis.edu/~pepm00
                                                            Following POPL'00


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,
available through:


    http://www.research.ibm.com/people/w/wegman/POPL.html


Note that it is not necessary to attend POPL to register for PEPM, or
to receive the associated discount hotel rate.


-----------------------------------------------------------------


Preliminary schedule:


Saturday, January 22


8:00-8:50 Breakfast


8:50 Welcome


9:00-10:00
Invited talk: "Static Analysis of Large Programs: Some Experiences"
Manuvir Das (Microsoft Research)


10:00-10:30 Break


10:30-12:00


"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
University)


12:00-1:30 Lunch


1:30-2:30


Invited talk: On the Logical Foundations of Staged Computation
Frank Pfenning (Carnegie Mellon University)


2:30-3:00 Break


3:00-4:00


"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)


4:00-4:30 Break


4:30-6:00


"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


9:00-10:00


Invited talk: "Operating System Specialization: Experiences,
Opportunities and Challenges"
Jonathan Walpole (Oregon Graduate Institute)


10:00-10:30 Break


10:30-12:00


"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.
                          e-mail: pepm00@cs.brandeis.edu


Program committee:


      * 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 comp.compilers page.
Search the comp.compilers archives again.