[Prev][Next][Index][Thread]
POPL '92: Advance Program
Date: Thu, 5 Dec 91 17:20:08 EST
POPL '92: Advance Program
The Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages
Albuquerque, New Mexico
January 19-22, 1992
Sponsored by ACM SIGPLAN and SIGACT
-----------------------------o/___________________________
-----------------------------O\
CONTENTS OF THIS MESSAGE
TALKS
TRANSPORTATION FROM THE AIRPORT
GENERAL DIRECTIONS FOR DRIVING
RECEPTION, JANUARY 19
EXCURSION, JANUARY 21
SPORTS AND RECREATION
WEATHER
UNITED AIRLINES AND UNITED EXPRESS
DELTA AIR LINES
CONFERENCE COMMITTEE
HOTEL RESERVATION FORM
CONFERENCE REGISTRATION FORM
-----------------------------o/___________________________
-----------------------------O\
TALKS
8:30-9:30, January 20, Monday. TUTORIAL
The Essence of Functional Programming.
Philip Wadler, Univ. of Glasgow
9:30-10:30, Monday. Session Chair: Hassan Ait-Kaci
The Geometry of Optimal Lambda Reduction.
Georges Gonthier, INRIA Rocquencourt
Martin Abadi, DEC SRC
Jean-Jacques Levy, INRIA Rocquencourt
Linear Continuations.
Andrzej Filinski, Carnegie Mellon Univ.
11:00-12:30, Monday. Session Chair: Andrew Koenig
Distributed and Fault-Tolerant Garbage Collection by Hierarchical Federation
of Local Collectors.
Christian Queinnec, Ecole Polytechnique
Bernard Lang, INRIA Rocquencourt
Jose Piquer, Univ. de Chile
A Mark-and-Sweep Collector for C++.
Daniel R. Edelson, Univ. of California, Santa Cruz
Optimally Profiling and Tracing Programs.
Thomas Ball and James R. Larus, Univ. of Wisconsin, Madison
2:00-3:30, Monday. Session Chair: Samuel Kamin
Bounded Fixed Point Iteration.
Hanne Riis Nielson and Flemming Nielson, Aarhus Univ.
Inductive Definitions, Semantics, and Abstract Interpretation.
Patrick Cousot and Radhia Cousot, Ecole Polytechnique
Modelling Prolog Control.
Roberto Barbuti, Michael Codish, Roberto Giacobazzi, and Giorgio Levi,
Univ. di Pisa
4:00-6:00, Monday. Session Chair: Robert Halstead
Semantic Foundations of Jade.
Martin C. Rinard and Monica S. Lam, Stanford Univ.
A Semantics for ML Concurrency Primitives.
Dave Berry, Robin Milner, and David N. Turner, Univ. of Edinburgh
Compile-time Analysis of Parallel Programs that Share Memory.
Jyh-Herng Chow and Williams Ludwell Harrison III,
Univ. of Illinois, Urbana-Champaign
A Comprehensive Study of the Complexity of Multiparty Interaction.
Yuh-Jzer Joung and Scott A. Smolka, SUNY, Stony Brook
8:30-9:30, January 21, Tuesday. TUTORIAL
Typed foundations of object-oriented programming
Luca Cardelli, DEC SRC
9:30-10:30, Tuesday. Session Chair: Michael Spivey
A Compilation Method for Implicitly Typed Polymorphic Record Calculi.
Atsushi Ohori, Oki Electric
Typing Record Concatenation for Free.
Didier Remy, INRIA Rocquencourt
11:00-12:30, Tuesday. Session Chair: Andrew Appel
Unboxed Objects and Polymorphic Typing.
Xavier Leroy, Ecole Normale Superieure and INRIA Rocquencourt
Principal Signatures for Higher-order ML Functors.
Mads Tofte, Univ. of Copenhagen
Type Isomorphisms in a Type-assignment Framework.
Roberto Di Cosmo, Ecole Normale Superieure & Univ. di Pisa
2:00-3:30, Tuesday. Session Chair: Alan Demers
Pattern-based Tree Attribution.
Charles Farnum, Wright State Univ.
Composable Attribute Grammars.
R. Farrow, Declarative Systems
T. J. Marlowe, Seton Hall Univ.
D. M. Yellin, IBM T.J. Watson Research Center
Recognizing Substrings of LR(k) Languages in Linear Time.
Joseph Bates and Alon Lavie, Carnegie Mellon Univ.
4:00-5:30, Tuesday. Session Chair: Edith Schonberg
Generalized Dominators and Post-Dominators.
Rajiv Gupta, Univ. of Pittsburgh
Generating a Compiler for a Lazy Language by Partial Evaluation.
Jesper Jorgensen, Univ. of Copenhagen
Partial Evaluation of High-Level Imperative Programming Languages
with Applications in Hard Real-Time Systems.
Vivek Nirkhe and William Pugh, Univ. of Maryland
8:30-10:30, January 22, Wednesday. Session Chair: Robert Harper
Parametricity as Subtyping.
QingMing Ma, Carnegie Mellon Univ.
Algorithmic Problems for Type Inference with Subtypes.
Patrick Lincoln and John Mitchell, Stanford Univ.
Bounded Quantification is Undecidable.
Benjamin C. Pierce, Carnegie Mellon Univ.
PER Models of Subtyping, Recursive Types, and Higher-Order Polymorphism.
Kim Bruce, Williams College
John Mitchell, Stanford Univ.
11:00-12:30, Wednesday. Session Chair: Mary Lou Soffa
Observable Sequentiality and Full Abstraction.
Robert Cartwright and Matthias Felleisen, Rice Univ.
Model Checking and Abstraction.
Edmund M. Clarke, Carnegie Mellon Univ.
Orna Grumberg, The Technion
David E. Long, Carnegie Mellon Univ.
Abstract Semantics for a Higher-Order Functional Language with Logic Variables.
Radha Jagadeesan and Keshav Pingali, Cornell Univ.
TRANSPORTATION FROM THE AIRPORT
Shuttle
The Hyatt provides a courtesy shuttle that leaves the airport
every half hour at roughly quarter-past and quarter-til the hour.
Meet the shuttle outside luggage claim on the outer curb. If you
have trouble connecting with the shuttle, call the hotel. There
is a courtesy phone near luggage claim. Return shuttles are also
available.
Cab
Fare will be $8--$10, and should take about 15 minutes.
By car
Take the Yale Avenue exit to Gibson Avenue. Turn left (west,
downhill) on Gibson, and get onto I-25 North. Exit at Grand Ave.
Turn left (west) on Grand. Follow the general instructions from
I-25 and Grand.
GENERAL DIRECTIONS FOR DRIVING
From I-40: Take I-25 south to the Grand/Central exit. Turn
right (west) on Grand.
From I-25 and Grand: Proceed west (downhill) on Grand to Third
St. Turn left (south) on Third. You'll pass the hotel on your
right between Tijeras and Copper. It is one of two copper-colored
towers. Turn right on Copper; the parking entrance will be on your
right just down the street. To reach the main entrance of the hotel,
turn right on Fifth, and right again on Tijeras.
RECEPTION, JANUARY 19
There will be a no-host reception on Sunday evening.
Hors d'oeurves will be served; cash bar.
EXCURSION, JANUARY 21
On Tuesday evening, the annual POPL outing and dinner is
scheduled for the New Mexico Museum of Natural History, near Old
Town in Albuquerque. The Museum opened in 1986, making it the
newest museum of natural history in the US. Museum exhibits will
be open during the outing.
SPORTS AND RECREATION
The Hyatt provides a health-club. Tennis, racquetball, and
skiing are available nearby. Skiers might want to arrive early.
Downhill skiers: Sandia Peak (505/292-9052) is the closest
area; more remote areas include Santa Fe Ski Area (505/982-4429,
1.5 hrs away) and Taos Ski Valley (505/776-2291, 3 hrs distant).
Cross-country skiing is good at Sandia Peak. Hikers might want
to visit the Petroglyph National Monument, located across the Rio
Grande and north of I-40.
Local Attractions: Believe it or not, you can start with the
airport. Recently renovated, it houses a large collection of
Southwestern art. Albuquerque's Old Town (about 3 miles from the
Hyatt) contains a wide variety of shopping, galleries centered on
the 400-year old plaza. The Pueblo Indian Cultural Center is also
worth visiting. Santa Fe is an hour away by car, or you can catch
a shuttle from the airport.
WEATHER
January in Albuquerque is cool with low humidity.
Average daily temperatures range from 47 F daytime to 22 F at night.
UNITED AIRLINES AND UNITED EXPRESS
United Airlines offers a 45% discount off unrestricted coach fares
or 5% off lowest applicable fares, including first class.
This special offer available only to attendees of POPL '92,
applies to travel on domestic segments of all United Airlines and
United Express flights. These fares are available only through
United's Meeting Plus Desk with all rules applying. Various
restrictions may apply.
Call 1-800-521-4041 in the United States and Canada.
Seats may be limited. Call today. Refer to account number 513UV.
DELTA AIR LINES
Delta Air Lines in cooperation with POPL '92 is offering
special rates to Albuquerque.
Arrangements have been made to allow a 5% discount off any
Delta published round trip fare within the continental U.S.
and San Juan if all applicable restrictions are met. This
includes the already deeply discounted super saver and other
promotional airfares.
An optional 45% discount on Delta's domestic round trip day
coach fare is offered when the following ticketing and
booking requirements are met:
Valid travel dates January 16-25, 1992.
Tickets must be purchased at least 7 days prior to
departure.
Changes to the original flight must be made 7 days in
advance; returns may be changed at any time.
Round trip on Delta only; 2 stopovers are permitted.
To take advantage of these discounts, follow these simple
steps:
Call 1-800-221-1212 for your reservations, 8:30am -
11:30 pm (Eastern time) daily.
Ask for Special Meetings Network Department and refer to
File Reference P14020.
Or, have your travel agent call Delta's toll-free number
to obtain the same advantage for you.
Travel within the continental U.S. and San Juan only. A
35% discount is applicable to travel from Canada.
These discounts are available only through Delta's
toll-free telephone number. Tickets must be purchased
through your local travel agency, or Delta Air Lines' ticket
by mail. Canadian residents should call Delta's local
telephone number.
CONFERENCE COMMITTEE
General Chair:
Ravi Sethi (AT&T Bell Laboratories)
ravi@research.att.com
Program Committee:
Andrew Appel (Princeton University) Chair,
Hassan Ait-Kaci (DEC Paris Research Lab),
Alan Demers (Xerox PARC),
Robert Halstead (DEC Cambridge Research Lab),
Robert Harper (Carnegie-Mellon University),
Samuel Kamin (University of Illinois),
Andrew Koenig (AT&T Bell Laboratories),
Edith Schonberg (IBM Yorktown),
Mary Lou Soffa (University of Pittsburgh),
Michael Spivey (Rutherford Appleton Labs),
Local Arrangements:
Robert A. Ballance (Univ. of New Mexico)
popl@unmvax.cs.unm.edu
505-277-6509
Treasurer:
Prateek Mishra (SUNY, Stony Brook)
-----------------------------o/___________________________
-----------------------------O\
HOTEL RESERVATION FORM
Mention ``Association for Computing Machinery'' to
get the POPL rates, valid if you register by December 18, 1991
(check one):
[] Single, $77 [] Double, $87
mail by Dec. 18, 1991 to:
Hyatt Regency Albuquerque
330 Tijeras, NW
Albuquerque, NM 87102
800-233-1234, 505-842-1234
Name ______________________________________________
Address ___________________________________________
City _____________________ State ________ Zip _____
Country ___________________________________________
Phone _____________________________________________
Arrive on ________ Time _______ Depart on _________
Late Arrival Guarantee on Credit Card _____________
Card Number _______________________ Expires _______
Signature _________________________________________
-----------------------------o/___________________________
-----------------------------O\
CONFERENCE REGISTRATION FORM
Name ______________________________________________
Name (on name tag) ________________________________
Affiliation _______________________________________
Address ___________________________________________
City _____________________ State ________ Zip _____
Country ___________________________________________
Phone _____________________________________________
Electronic Mail ___________________________________
Please make checks payable in US Dollars to
POPL 92
The registration fee includes the proceedings, Sunday reception,
Tuesday excursion, 3 continental breakfasts, and 2 lunches.
MEMBER BY DEC. 18 AFTER DEC. 18
ACM and SIGACT/SIGPLAN: [] 275 [] 325
SIGACT or SIGPLAN only: [] 300 [] 350
NonMember: [] 350 [] 400
Full-Time Student: [] 110 [] 135
mail by Dec. 18, 1991 to:
POPL '92 Registration
c/o Department of Computer Science
The University of New Mexico
Albuquerque, NM, USA 87131-1386
popl@unmvax.cs.unm.edu
505-277-6509
Special Meal Preferences:
[] Vegetarian? _____ [] Kosher? _____ [] Other? _____
May we include your name on the list of attendees? Yes___ No___
Speaker? Yes ___ No ____
-----------------------------o/___________________________
-----------------------------O\