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