PEPM'94 Advance program (Jun 94, Orlando) 
Author Message
 PEPM'94 Advance program (Jun 94, Orlando)


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


                           ADVANCE PROGRAM

                       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:

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{*filter*}version of this
  program (soon), and for the most recent information about PEPM'94.


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

Sat, 12 Oct 1996 21:46:25 GMT  
 [ 1 post ] 

 Relevant Pages 

1. PEPM'94 Advance program (Jun 94, Orlando)

2. PEPM'94 Advance program (Orlando, Florida, 25 June)

3. PEPM'94 Advance program (Orlando, Florida, 25 June)

4. PEPM'94 Advance program (Orlando, Florida, 25 June)

5. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94) Advance program

6. Important PLDI '94 Hotel Information (Mouse, Fla., JUn 94)

7. POPL '94 program and registration form (Portland OR, Jan 94)

8. ICLP'94: Final Program and Registration (Italy, Jun 13-18)

9. ML'94 Workshop: advance program and call for demos


11. ISIKNH'94 (Advance Program and Registration Information)



Powered by phpBB® Forum Software