[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Lisp & Functional Programming Conference
ACM Conference on Lisp and Functional Programming
June 22-24, 1992
San Francisco
Advance Program and Registration Information
****************************************************************
A brochure describing the ACM Conference on Lisp and Functional
Programming (L&FP) has been sent to all members of ACM SIGPLAN.
The brochure also contains information on:
ACM SIGPLAN '92 Conference on Programming Language Design
and Impelementation
Workshop on Partial Evaluation and Semantics-Based Program
Manipulation
Workshop on ML and its applications
Workshop on Continuations
If you would like a copy of this brochure, which contains the
official registration form for L&FP, please contact:
Dick Waters
MIT AI Lab
545 Technology Square
Cambridge MA 02139
tel: 617-253-6037;
email: dick@ai.mit.edi
Or you may contact either of:
General Chair: Jon L White
Lucid, Inc.
707 Laurel Street
Menlo Park CA 94025
tel: 415-329-8400, x5514
email: jonl@lucid.com
Program Chair: Will Clinger
Computer Science Department
University of Oregon
Eugene OR 97403
tel: 503-346-4411
email: will@cs.uoregon.edu
****************************************************************
1992 ACM Conference on Lisp and Functional Programming
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
rate....
Transportation
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.
Registration Fee (in US$) L&FP'92
Advance Late
ACM & SIGPLAN Member 295 345 (?)
ACM Member only 305 335
SIGPLAN Member only 305 335
Industrial sponsor 305 335
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_____
=
___________
Name:___________________________________________________
Affiliation:____________________________________________
Address:________________________________________________
________________________________________________
Phone:_____________________ Fax:_______________________
Email:_____________________
ACM Membership Number:__________________
Special meal requirements: Kosher Vegetarian
Other:_____________________
Special Needs or Accomodations (please specify below if any):