PEPM 2000 call for participation (ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation)
20 Dec 1999 23:32:55 -0500

          From comp.compilers

Related articles
PEPM 2000 call for participation (1999-12-20)
| List of all articles for this month |

From: (ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation)
Newsgroups: comp.compilers
Date: 20 Dec 1999 23:32:55 -0500
Organization: University of Aarhus, Department of Computer Science (DAIMI)
Keywords: conference, semantics

                                                      Call for Participation

                                                2000 ACM SIGPLAN Workshop on
          Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00)
                                  Boston, Massachusetts, January 22-23, 2000
                                                            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:

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

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

10:00-10:30 Break


"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

12:00-1:30 Lunch


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

2:30-3:00 Break


"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


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

10:00-10:30 Break


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

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)

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.