[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

L&FP'92 Registration: an update

This year is the first year that ACM has tried out a combined "Advance 
Program" and "Registration" brochure---the several SIGPLAN summer 
SIGPLAN-sponsored conferences were all advertised in one mailer.  
And as with all such first cracks, you might expect a bug or two.

It seems as though the brochure didn't make it crystal clear just
where you should send in your registration form and check (or money
order) if you wanted to register only for the L&FP'92 conference.
A number have come to me rather than to the cited place; and some 
folks have simply held off, expectiong to pay the late fee "at the door"

So we will hold the "advance registration" offering open for another 
week, to compensate for these confusions.  Here below is an abbreviated
version of the (now corrected) brochure, with just the L&FP'92
information.  [Note however that this extension of the "advance 
registration" period doesn't affect the deadlines for the group
rate hotel bookings.]

       ACM Conference on Lisp and Functional Programming

                      June 22-24, 1992
                       San Francisco

         Advance Program and Registration Information


                        Advance Program

Session 1: 8:30--10:00, Monday, June 22
Improving Binding Times Without Explicit CPS-Conversion
  Anders Bondorf
Safe Fusion of Functional Expressions
  Wei-Ngan Chin
Compiling Lazy Pattern Matching
  Luc Maranget

Session 2: 10:30--12:00, Monday, June 22
Caching Considerations for Generational Garbage Collection
  Paul R. Wilson, Michael S. Lam, and Thomas G. Moher
Improving the Performance of SML Garbage Collection
    using Application-Specific Virtual Memory Management
  Eric Cooper, Scott Nettles, Indira Subramanian
Polymorphic Type Reconstruction for Garbage Collection
    without Tags
  Benjamin Goldberg and Michael Gloger

Session 3: 1:30--3:00, Monday, June 22
Projective ML
  Didier R\'emy
Parsers in ML
  Michel Mauny and Daniel de Rauglaudre
Interactive Modular Programming in Scheme
  Sho-Huan Simon Tung

Session 4: 3:30--5:30, Monday, June 22
Finiteness Conditions for Fixed Point Iteration
  Flemming Nielson and Hanne Riis Nielson
A Syntactic Approach to Fixed Point Computation on Finite Domains
  Tyng-Ruey Chuang and Benjamin Goldberg
Abstract Interpretation in Weak Powerdomains
  Robert Muller and Yuli Zhou
A Precise Relationship Between the Deductive Power
    of Forward and Backward Strictness Analysis
  Marc Neuberger

Session 5: 8:30--10:00, Tuesday, June 23
Proving Memory Management Invariants for a Language
    Based on Linear Logic
  Jawahar Chirimar, Carl A. Gunter, and Jon G. Riecke
Proving the Correctness of Storage Representations
  Mitchell Wand and Dino P. Oliva
On Extending Computational Adequacy by Data Abstraction
  Val Breazu-Tannen and Ramesh Subrahmanyam

Session 6: 10:30--12:00, Tuesday, June 23
Parametric Type Classes
  Kung Chen, Paul Hudak, and Martin Odersky
A Calculus for Overloaded Functions with Subtyping
  Giuseppe Castagna, Giorgio Ghelli, and Giuseppe Longo
Type Inference in the Presence of Overloading, Subtyping,
    and Recursive Types
  Stefan Kaes

Session 7: 1:30--3:00, Tuesday, June 23
Global Tagging Optimization by Type Inference
  Fritz Henglein
Analysis of Recursive Types in Lisp-like Languages
  Edward Wang and Paul N. Hilfinger
Taming the Y Operator
  Guillermo Juan Rozas

Session 8: 3:30--5:30, Tuesday, June 23
The Python Compiler for CMU Common Lisp
  Robert A. MacLachlan
Integrating the Scheme and C Languages
  Hans Muller and John R. Rose
WCL: Delivering Efficient Common Lisp Applications Under Unix
  Wade Hennessey
Tachyon Common Lisp: An Efficient and Portable Implementation of CLtL2
  Atsushi Nagasaka, Yoshihiro Shintani, Tanji Ito, Hiroshi Gomi,
    and Junichi Takahashi

Session 9: 8:30--10:30, Wednesday, June 24
A Confluent Calculus of Macro Expansion and Evaluation
  Ana Bove and Laura Arbilla
Reasoning About Continuation-Passing Style Programs
  Amr Sabry and Matthias Felleisen
Back to Direct Style II: First-Class Continuations
  Olivier Danvy and Julia Lawall

Session 10: 11:00--12:30, Wednesday, June 24
Dynamic Program Parallelization
  Lorenz Huelsbergen and James R. Larus
Global Analysis for Partitioning Non-Strict Programs
    into Sequential Threads
  Kenneth R. Traub, David E. Culler, and Klaus E. Schauser
Fast Parallel Implementation of Lazy Languages - The EQUALS Experience
  Owen Kaser, Shaunak Pawagi, C. R. Ramakrishnan,
    I. V. Ramakrishnan, and R. C. Sekar
A Foundation for an Efficient Multi-Threaded Scheme System
  Suresh Jagannathan and Jim Philbin

Program committee:

    William Clinger, University of Oregon
    R. Kent Dybvig, Indiana University
    Thomas Johnsson, Chalmers Institute of Technology
    Richard B. Kieburtz, Oregon Graduate Institute
    Joachim Laubsch, HP
    David Moon, Apple Computer
    Rishiyur Nikhil, DEC
    Christian Queinnec, Ecole Polytechnique & INRIA-Rocquencourt
    Guy L. Steele Jr., Thinking Machines
    Carolyn Talcott, Stanford University
    William Wadge, University of Victoria


                      Hotel Accommodation

All conferences, workshops and tutorials will be held at the
Fairmont Hotel, in downtown San Francisco, CA.  The five-diamonds
rated Fairmont is one of the historic hotels located atop scenic
Nob Hill on California Street....

Room reservations at the Fairmont Hotel may be made by calling
toll-free, (800) 527-4727 or (415) 772-5000.  The fax number is
(415) 772-5086....The conference rates...are identified by the
group names ACM/SIGPLAN for PLDI'92 and ACM/L&FP for L&FP'92....

The conference rates (in US$) for the Fairmont Hotel are as follows
(Rooms differ mainly in the quality of the view):

    Room Type                   Single    Double
    Main Bldg. Interior           95        105
    Main Bldg. Exterior          110        125
    Tower with City view         150        165
    Tower with Bay view          170        185

....Reservations must be made 30 days prior to arrival to obtain
the group rate.  After the 30 day cut-off, reservations will be
confirmed on a space available basis, at the special conference


United Airlines is offering a 45% discount off applicable United
or United Express unrestricted coach fares...or 5% discount off
any United or United Express published fare....These fares are
available through United's Meeting Plus Desk (1-800-521-4041)...
This special offer is available only to attendees of the summer
SIGPLAN conferences and workshops and applies to travel on
domestic segments only....Refer to the account number 513UV when
you make reservation to take advantage of this offer.

Attendees outside the USA should contact Hoffman Travel to arrange
for discounted international fares on United Airlines, 1-212-688-4444.

The "Super Shuttle" service is the recommended way to get to the
Fairmont Hotel from the San Francisco airport....

Many public parking garages are located within the same block as
the hotels and in the surrounding blocks.  The hotels do not
provide free parking for guests.


     1992 ACM Conference on Lisp and Functional Programming
                   Registration Information

[If possible, please use the official registration form from the
ACM SIGPLAN brochure instead of the following subset of that form.]

Submit 1 form for each attendee.  Please circle fees you are paying.
Advanced registration must be received by May 20, 1992 to qualify for
the lower rate.  

Please make checks or money orders payble in U.S. currency to 
ACM SIGPLAN 92, and mail to 
	c/o Stan Osborne
	SFSU Computer Science
	1600 Holloway Avenue
	San Francisco CA 94132

Registration Fee (in US$)                L&FP'92
                                    Advance    Late
ACM & SIGPLAN Member                  295       345
ACM Member only                       305       355
SIGPLAN Member only                   305       355
Non-member                            355       405
Full-time student                     150       200

L&FP conference registration includes copy of proceedings,
coffee breaks, continental breakfasts, Monday night reception,
and lunches on Monday and Tuesday.  The student fee does not
include lunches.

TOTAL amount enclosed: PLDI'92____________
                     + L&FP'92____________
                     + Tutorials__________
                     + Workshops__________
                     + Tutorial notes_____

Phone:_____________________  Fax:_______________________
ACM Membership Number:__________________
Special meal requirements:    Kosher    Vegetarian
Special Needs or Accomodations (please specify below if any):