PEPM'94 Advance program (Jun 94, Orlando) (Peter Sestoft)
Tue, 26 Apr 1994 13:46:25 GMT

          From comp.compilers

Related articles
PEPM'94 Advance program (Jun 94, Orlando) (1994-04-26)
| List of all articles for this month |

Newsgroups: comp.lang.scheme,comp.lang.functional,,comp.compilers
From: (Peter Sestoft)
Summary: advance program for partial evaluation workshop June 25
Keywords: conference, optimize
Organization: Department of Computer Science, U of Copenhagen
Date: Tue, 26 Apr 1994 13:46:25 GMT


1. Advance program for PEPM'94
2. Registration information --> HOTEL DEADLINE May 27
3. ftp site for PLDI'94



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

Saturday June 25, 1994
Orlando, Florida

Held in conjunction with
PLDI, LFP, the real-time workshop, and the ML workshop

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,

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

Deferred Compilation: The Automation of 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
                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 ( Harald Sondergaard (
Technical University of Denmark University of Melbourne, Australia


The registration fee is USD 70 for ACM and/or SIGPLAN members, and USD
80 for non-members. Registration forms and hotel reservation forms
can be obtained by ftp from

>From comp.lang.sigplan on March 24:

        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 to 1-407-827-3890.


* ftp to for information about PLDI,
    registration forms, hotels, room sharing, Walt Disney World etc.

* ftp to for a latex version of this
    program (soon), and for the most recent information about PEPM'94.

Peter Sestoft * * Department of Computer Science
Technical University of Denmark, Building 344 DK-2800 Lyngby, Denmark
Tel: +45 45 93 33 32 * Direct: +45 45 93 12 22/3749 * Fax: +45 42 88 45 30

Post a followup to this message

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