[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\