dswise@iuvax.cs.indiana.edu (David S. Wise) (11/29/88)
Program for Sixteenth Annual ACM SIGACT-SIGPLAN Symposium on
Principles of Programming Languages
Austin, Texas, January 11-13, 1989
Wednesday, January 11th
Tutorial: 8:30 - 9:30
Program Dependence Graphs
Susan Horowitz (or Jeanne Ferrante)
Session 1: 9:30 - 10:30
Chaired by Kenneth Zadeck
The Program Dependence Graph and Vectorization
William Baxter and Henry R. Bauer, III (University of Wyoming)
A rewriting semantics for program dependence graphs
Rebecca P. Selke (Rice University)
Session 2: 11:00 - 12:30
Chaired by Thomas Reps
An efficient method of computing static single assignment form
Ron Cytron, Jeanne Ferrante, Barry Rosen, Mark Wegman (IBM T. J. Watson Research Center)
Kenneth Zadeck (Brown University)
Resolving circularity in attribute grammars with applications to data flow analysis
S. Sagiv, N. Francez (Technion), O. Edelstein, M. Rodeh (IBM Israel Scientific Center)
Fast interprocedural alias analysis
Keith D. Cooper, Ken Kennedy (Rice University)
Session 3: 2:00 - 4:00
Chaired by David MacQueen
How to make ad-hoc polymorphism less ad hoc
Philip Wadler, Stephen Blott (University of Glasgow)
Typechecking records and variants in a natural extension of ML
Didier Re'my (INRIA)
Extracting {F sub omega}'s programs from proofs in the calculus of constructions
C. Paulin-Mohring (INRIA and LIENS)
Polymorphic unification and ML typing
Paris C. Kanellakis (Brown University), John C. Mitchell (Stanford University)
Session 4: 4:30 - 6:00
Chaired by Joseph Goguen
Moded type systems for logic programming
Katherine A. Yelick (MIT Laboratory for Computer Science),
Joseph Zachary (University of Utah)
CLP* and constraint abstraction
Timothy Hickey (Brandeis University)
Fully abstract compositional semantics for logic programs
Haim Gaifman (Hebrew University), Ehud Shapiro (Weizmann Institute)
Thursday, January 12th
Tutorial: 8:30 - 9:30
Concurrent programming
Christos Apt (Amsterdam)
Session 5: 9:30 - 10:30
Chaired by Moshe Vardi
A calculus of higher order communicating systems (#5)
Bent Thompson (Imperial College)
A fully abstract trace model for dataflow networks
Bengt Jonsson (Swedish Institute of Computer Science)
Session 6: 11:00 - 12:30
Chaired by Gerard Berry
Efficient temporal reasoning
E. Allen Emerson, Tom Sadler, and Jai Srinivasan (University of Texas at Austin)
On the synthesis of a reactive module
Amir Pnueli, Roni Rosner (Weizmann Institute of Science)
Synthesis of concurrent systems with many similar sequential processes
Paul C. Attie, E. Allen Emerson (University of Texas at Austin)
Session 7: 2:00 - 4:00
Chaired by John Mitchell
The Modula-3 type system
Luca Cardelli, Greg Nelson (DEC Systems Research Center)
Jim Donahue (Olivetti Labs)
Mick Jordan, Bill Kalsow
Dynamic typing in a statically-typed language
Martin Abadi, Luca Cardelli (DEC Systems Research Center)
Benjamin Pierce (Carnegie Mellon University)
Gordon Plotkin (University of Edinburgh)
Relating models of polymorphism
Jose' Meseguer (SRI International)
Generalized conjuctive types
Gennaro Monteleone (Carnegie Mellon University)
Session 8: 4:30 - 6:00
Chaired by Paul Hudak
Rewrite, rewrite, rewrite, rewrite, rewrite ...
Nachum Dershowitz, Ste'phane Kaplan (Hebrew University)
Partial order programming
D. Stott Parker (UCLA)
Temporal logic programming is complete and expressive
Marianne Baudinet (Stanford University)
Friday, January 13th
Session 9: 9:00 - 10:30
Chaired by Alan Demers
Realistic compilation by program transformation
Richard Kelsey, Paul Hudak (Yale University)
Continuation-passing, closure-passing style
Andrew Appel (Princeton University), Trevor Jim (AT&T Bell Laboratories)
Copy elimination in functional languages
K. Gopinath, John L. Hennessy (Stanford University)
Session 10: 11:00 - 12:30
Chaired by Butler Lampson
Incremental computation by function caching
William Pugh, Tim Teitelbaum (Cornell University)
Unified algebras and modules
Peter D. Mosses (Aarhus University)
Bisimulation through probabilistic testing
Kim G. Larsen, Arne Skou (Aalborg University)
________________________________________
General Information
Conference Registration
All applications for registration at the "early" rates must
be received by December 1, 1988. Notice of registration
will be mailed shortly after that date. Fill out the
attached registration form and mail with a check to Barbara
Ann Smith, MCC Software Technology Program, 3500 W. Balcones
Center Drive, Austin, Texas 78759-6509. Make checks payable
in U.S. dollars to POPL'89.
Registration packets will be available for pickup at the
Stouffer Hotel on Tuesday, January 10 from 6-10 pm or from 8
am - 5 pm on January 11, 1989.
Registration includes coffee breaks, 2 luncheons, banquet
and proceedings. For further information contact the
POPL'89 Local Arrangements Chair: Brian Fugate 512-338-
3330.
Hotel Reservations
A block of rooms has been reserved for conference partici-
pants at the Stouffer Hotel in Austin at special rates ($79
single, $89 double). Deluxe rooms are available on the Club
Bloor ($99 single, $109 double). The Stouffer is located at
9721 Arboretum Blvd., Austin, Texas 78759. Call the
Stouffer at (512) 343-2626 or send the attached reservation
form by December 10th to get those rates. Reservations
received after December 10, 1988 will be accepted on a
space-available basis. The Hotel will provide transporta-
tion from the airport to the Stouffer. Call the above phone
number when you arrive at the Austin Airport for service.
Rooms and Amenities - The rooms are spacious, quiet, private
and provide a comfortable sitting area for paperwork, dining
or reading. The amenities range from complimentary coffee
and newspapers with your wake-up call to resort type recrea-
tional and leisure activities.
* 24-hour room service
* direct dial phones with message alert
* complimentary movies, news and sports channels
* free transportation from airport
* 3 excellent restaurants in the hotel
* indoor and outdoor swimming pools
* a fully equipped exercise room with whirlpool and sauna.
Airline Information
American Airlines has been designated the official carrier
of POPL'89 orrering special round-trip fares to North Ameri-
can con- ferees. First, American will allow an additional
5% saving off published round-trip fares within the 48
contiguous United States, Hawaii, Puerto Rico, and the Vir-
gin Islands. For passengers not qualifying for any pub-
lished discounts, it will allow the following two fares: 40%
off full day coach (Y) fare from domestic cities and 35% off
the full coach fare from Canadian cities. Canadian fares
require a fouteen-day advance purchase; U.S. fares require a
seven-day advance purchase.
To take advantage of these discounts, call 800-345-1647
(within Indiana 800-822-4730; collect from Canda 812-333-
3360 and ask for Lana. The Internet address
"acmtravel@iuvax.cs.indiana.edu" may be used for initial
contact, as well; include daytime phone number and hours.
These fares are valid from January 7 to January 15, 1989.
For further local information contact:
Bryan Fugate
(512) 338-3330,
email fugate@mcc.com
or Barbara Smith
(512) 338-3336
email basmith@mcc.com
------------------------------------
POPL '89 REGISTRATION
Fee Schedule (Circle the appropriate entry below)
Category Early Late (after 12/1)
ACM & SIGACT/SIGPLAN Member $200 $250
ACM or SIGACT/SIGPLAN Member* $215 $275
Neither ACM nor SIG Member $250 $310
Full-time student $ 65 $ 85
*Those affiliated with SIG Institutional members also qualify
for SIG discount.
Registration includes 2 luncheons, banquet and proceedings.
Name ___________________________________
ACM/Student ID# ________________________
Title __________________________________
Company Name ___________________________
Address ________________________________
________________________________________
City ___________________________________
State _______________ Zip ______________
Country ________________________________
Phone __________________________________
E-mail _________________________________
Name to appear on badge ________________
________________________________________
Dietary restrictions ___________________
________________________________________
Fill out the above registration form and mail with a check to:
Barbara Ann Smith
MCC Software Technology Program
P.O. Box 200195
Austin, TX 78720
MAKE CHECK PAYABLE IN US DOLLARS TO POPL'89.
-------------------------------------------
HOTEL RESERVATION FORM
Association for Computing Machinery
POPL '89
January 10-13, 1989
Reservation cut-off date December 10, 1988
Please circle the preferred rate
Accommodations Single Double Triple Quad
# of people 1 2 3 4
Standard $79 $89 $99 $109
Deluxe (Club) $99 $109 N/A N/A
Name ________________________________
Sharing With ________________________
Company ____________________________
Address ____________________________
____________________________________
City _______________________________
State ______________ Zip ___________
Phone ______________________________
Additional Person(s) _______________
____________________________________
Signature __________________________
Please don't forget - the first night's room rental deposit must
accompany your request. Check or money order should be made
payable to the Stouffer Austin Hotel. Do not send currency.
CREDIT CARD GUARANTEE
Card Name _____________________________
Card Number ___________________________
Expiration Date _______________________
(Refundable if reservation is cancelled 24 hours prior
to arrival date)
Cardholder name ________________________
Arrival Date _____________ Arrival Time ___________
Dept. Date ______________ Dept. Time ______________
(Check in 3:00pm. Check-out 1:00pm)
Mail this form by Decemer 10, 1988 to:
The Stouffer Hotel
9721 Arboretum Blvd.
Austin, TX 78759