File ftp.id.dth.dk:pub/sestoft/pepm94-pgm.asc, version 1994-04-18

Contents:

        1. Advance program for PEPM'94
        2. Registration information --> hotel DEADLINE May 27
        3. ftp site for PLDI'94
        4. PEPM'93 proceedings available


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

                           ADVANCE PROGRAM

                       ACM SIGPLAN Workshop on
     Partial Evaluation and Semantics-Based Program Manipulation

                        Saturday June 25, 1994
                           Orlando, Florida


9.00 - 10.30 Session 1: Partial Evaluation, Transformation

Improving CPS-Based Partial Evaluation: Writing Cogen by Hand
        Anders Bondorf and Dirk Dussart (CRI A/S, Denmark, and
        Katholieke Universiteit Leuven, Belgium)

The Essence of Eta-Expansion in Partial Evaluation
        Olivier Danvy, Karoline Malmkjaer and Jens Palsberg (Aarhus
        University, Denmark, and Northeastern University, USA)

Improving Programs Which Recurse over Multiple Inductive Structures
        Leonidas Fegaras, Tim Sheard and Tong Zhou (Oregon Graduate
        Institute, USA)


11.00 - 12.30 Session 2: Program Analyses -- Theory

Analysing Resource Use in the Lambda Calculus by Type Inference
        Simon A. Courtenage and Chris D. Clack (University College
        London, England)

Type Theory and Projections for Higher-Order Static Analysis
        Clem Baker-Finch (University of Canberra, Australia)

PERs from Projections for Binding-Time Analysis
        Kei Davis (University of Glasgow, Scotland)


14.00 - 15.30 Session 3: Program Analyses -- Applications

Typed Higher-Order Binding-Time Analysis
        Lars Birkedal and Morten Welinder (University of Copenhagen,
        Denmark)

Higher-Order Redundancy Elimination
        Peter Thiemann (University of Tuebingen, Germany)

Identifying Profitable Specialization in Object-Oriented Languages
        Jeffrey Dean, Craig Chambers, and David Grove (University of
        Washington, USA)


16.00 - 18.00 Session 4: Applications

Lightweight Run-Time Code Generation
        Mark Leone and Peter Lee (Carnegie Mellon University, USA)

Dictionary-Free Overloading by Partial Evaluation
        Mark P. Jones (Yale University, USA)

Partial Evaluation of Numerical Programs in Fortran
        Romana Baier, Robert Glueck, and Robert Zoechling (Vienna University
        of Technology, Austria, and University of Copenhagen, Denmark)

Partial Evaluation for Scientific Computing: The Supercomputer Toolkit
Experience
        Andrew A. Berlin and Rajeev J. Surati (MIT, USA)


The PEPM'94 proceedings will be distributed at the workshop, as a
technical report from the University of Melbourne, Australia.

PEPM'94 is held in conjunction with the ACM SIGPLAN '94 Conference on
Programming Language Design and Implementation (PLDI) and the 1994 ACM
Conference on Lisp and Functional Programming (LFP).

PEPM'94 Program committee:
Charles Consel, IRISA, Rennes, France
John Gallagher, Bristol University, UK
John Hannan, Pennsylvania State University, PA
John Hughes, Chalmers, Gothenburg, Sweden
Neil D. Jones, DIKU, Denmark
Patrick O'Keefe, Boston, MA
Sergei Romanenko, Academy of Sciences, Russia
Erik Ruf, Microsoft Research Laboratory, WA
Pascal Van Hentenryck, Brown University, RI
Wei-Ngan Chin, National University of Singapore

Program chairs:
Peter Sestoft (sestoft@id.dth.dk)     Harald Sondergaard (harald@cs.mu.oz.au)
Technical University of Denmark       University of Melbourne, Australia     
----------------------------------------------------------------------


2:  REGISTRATION INFORMATION  

The following message appeared March 24 on comp.lang.sigplan:

    ATTENTION all SIGPLAN June'94 Conference Attendees:

    If you are going to attend PLDI'94, LFP'94 and/or one of their three
    associated workshops (PEPM, ML, Real-time), it is imperative that you
    make your hotel reservations at the meeting hotel, the Hilton at Walt
    Disney World Village, as soon as possible.  The hotel has informed us
    that World Cup Soccer is coming to Orlando during the same weeks as
    our meetings; this will cause the hotel to release our block of rooms
    to World Cup attendees (at much higher prices, we expect), as soon as
    our reservation deadline of May 27,1994 is passed.

    Please make your hotel reservations as soon as possible to be assured 
    of the publicized conference rates. The reservation number is
    1-800-782-4414, or you can fax the registration form (obtainable at 
    our ftp site on speedy.cs.pitt.edu) to 1-407-827-3890.


3: FTP SITES

* ftp to speedy.cs.pitt.edu:pub/pldi94/ for information about PLDI,
  registration forms, hotels, room sharing, Walt Disney World etc.

* ftp to ftp.id.dth.dk:pub/sestoft/ for a latex version of this
  program (soon), and for the most recent information about PEPM'94.


4: PEPM'93 PROCEEDINGS AVAILABLE

I have a small stock of surplus PEPM'93 proceedings.  Contact me at
sestoft@id.dtu.dk if you desperately need one.