BTH@IBM.COM (Brent Hailpern) (03/14/91)
Advance Program
ACM SIGPLAN '91 Conference on
Programming Language Design and Implementation
June 26-28, 1991
Toronto, Ontario, Canada,
=========================================================
Tutorial Program
Tutorials Chair: Robert R. Henry - Tera Computer Co.
Two, two-day tutorials will precede the conference, on Monday and
Tuesday, June 24-25. The four tutorials in the track Production
Compilers on Production Machines describe strategies for building
production compilers for mainstream languages targeted to production
machines. In contrast, the four tutorials in the track New
Language Designs and Experimental Implementations describe
techniques for implementing nontraditional languages, or compiling
techniques to expose parallelism.
Tutorial attendees should choose the track that best suits their
background and interest. Each attendee will receive a copy of the
speaker's viewgraphs for their track. A limited number of viewgraphs
will be available for sale to those not registered.
_______________________________________________________________
Track I: Production Compilers on
Production Machines
Compiler "Tail Ends" and The MIPS Compiler System
(Monday, June 24, 9:00-12:00 am)
Mark Himelstein, Mips Computer
Linking; pre-dynamic linking; binary to binary code
transformations for cache optimization, profiling
and position independent code; feedback techniques
and interfaces to improve code quality; design decisions
to reduce compilation time; specific examples
taken from the MIPS' compiler.
Lunch 12:00-1:30pm
Advanced Compiling Techniques for RISC Systems
(Monday, June 24, 1:30-4:30 pm)
Steven S. Muchnick, Sun Microsystems
Code generation and optimization issues for RISC systems;
introduction to RISC architectures; structure of RISC compilers;
code generation issues; data flow analysis and optimization
approaches and details; performance analysis; superscalar
implementations; exploiting instruction and data caches.
Debuggers and Programming Environments
(Tuesday, June 25, 9:00-12:00 am)
Samuel C. Kendall, Saber Software, Inc
Intrusive and nonintrusive debuggers; breakpoints and
watchpoints; object file formats; debugging optimized code and
parallel programs; incremental compilation and linking; static
analysis; runtime checking; user interfaces; integration of
multivendor programming environments.
Lunch 12:00-1:30pm
Fortran 90: Features and Compilation Issues
(Tuesday, June 25, 1:30-4:30 pm)
Paul St. Pierre, Compass, Inc
History of Fortran 90; language features including array
processing and numerical computation; implementations of
particular features, including vector-valued subscripts and
transformational intrinsics; code generation for vector
processors and massively parallel SIMD machines; pitfalls and
potential implementation inefficiencies.
_______________________________________________________________
Track II: New Language Designs and
Experimental Implementations
Haskell and the State of Functional Programming
(Monday, June 24, 9:00-12:00 am)
Paul Hudak, Yale University
Design of Haskell, a new purely functional programming language;
description of Haskell's innovative features, including type
classes, I/O, and array comprehensions; compilation techniques
for non-strict functional languages; new techniques for
dealing with "state" in purely functional languages.
Lunch 12:00-1:30pm
Implementing Object Oriented Languages
(Monday, June 24, 1:30-4:30 pm)
Dave Thomas, Object Technology Int. and Carleton University
Efficient implementation of object oriented languages,
including encapsulation, inheritance, polymorphism, and garbage
collection; how to support programming environments,
reflection, and incremental compilation/linking; why
traditional tricks like inlining don't work; compilers
versus interpreters; dynamic versus static typing.
Data Dependence Analysis and New Compiler Intermediate Representations
(Tuesday, June 25, 9:00-12:00 am)
Michael Wolfe, Oregon Graduate Institute
Dependence analysis for arrays and pointers; precision and
efficiency of dependence algorithms; dependence-driven
optimizations; intermediate representations, including data
dependence graphs, program dependence graphs and static single
assignment form.
Lunch 12:00-1:30pm
Implementing Lisp on Parallel Machines
(Tuesday, June 25, 1:30-4:30 pm)
Williams L. Harrison, III, U. of Illinois
Problems inherent in sequential and parallel dialects of Lisp on
parallel architectures; extending and amending Lisp for
parallelism; static analysis and program transformations;
automatic parallelization of Lisp at compile- and run-time;
parallel memory management; scheduling and load balancing;
continuations and parallelism; implementing Lisp on
distributed systems.
============================================================
Conference Program
Program Chair: Barbara Ryder - Rutgers University
Reception (Tuesday 7:00-9:00pm)
_______________________________________________________________
Wednesday, June 26, 1991
Session 1: (9:00am-10:30am) Chaired by: Vivek Sarkar,
IBM Palo Alto Scientific Center
An Efficient Method for Exact Data Dependence Analysis
by D.E. Maydan, J.L. Hennessy, M.S. Lam, (Stanford University)
Practical Dependence Testing
by G. Goff, K. Kennedy, C-W. Tseng, (Rice University)
A Data Locality Optimizing Algorithm
by M.E. Wolf, M.S. Lam, (Stanford University)
Session 2: (11:00am-12:30pm) Chaired by: Steven S. Muchnick,
SUN Microsystems
CCG: A Prototype Coagulating Code Generator
by W.G. Morris, (Software Options, Inc.)
Predicting Program Behavior Using Real or Estimated Profiles
by D.W. Wall, (Digital Equipment Corporation)
Procedure Merging with Instruction Caches
by S. McFarling, (Stanford University)
Lunch 12:30-2:00pm
Session 3: (2:00pm-3:30) Chaired by: Peter Lee,
Carnegie Mellon University
Strictness and Binding-Time Analyses: Two for the Price of One
by J. Launchbury, (University of Glasgow)
Parameterized Partial Evaluation
by C. Consel, S.C. Khoo, (Yale University)
A Semantic Approach to Program Slicing
by G.A. Venkatesh, (Bell Communications Research)
Session 4: (4:00pm-5:00) Chaired by: Jim Larus,
University of Wisconsin-Madison
Automatic Generation of Global Optimizations
by D. Whitfield, M.L. Soffa, (University of Pittsburgh)
Size and Access Inference for Data-Parallel Programs
by S. Chatterjee, G.E. Blelloch, A.L. Fisher,
(Carnegie Mellon University)
Fortran at Ten Gigaflops: The Connection Machine Convolution Compiler
by M. Bromley, S. Heller, T. McNerney, G.L. Steele Jr.,
(Thinking Machines Corporation)
Banquet - Ontario Science Center (7:00pm)
_______________________________________________________________
Thursday, June 27, 1991
SIGPLAN Members Open Forum (8:30-9:00am)
Session 5: (9:00am-10:30) Chaired by: Kent Dybvig,
Indiana University
Mostly Parallel Garbage Collection
by H-J. Boehm, A.J. Demers, S. Shenker, (Xerox PARC)
Tag-Free Garbage Collection for Strongly Typed Programming Languages
by B. Goldberg, (New York University)
Effective "Static-graph" Reorganization to Improve
Locality in Garbage-Collected Systems
by P.R. Wilson, M.S. Lam, T.G. Moher,
(University of Illinois at Chicago)
Session 6: (11:00am-12:30) Chaired by: William Weihl, MIT
Register Allocation via Hierarchical Tiling
by D. Callahan, B. Koblenz, (Tera Computer Company)
A Timed Petri Net Model for Fine-Grain Loop Scheduling
by G.R. Gao, Y-B Wong, Q. Ning, (McGill University)
Circular Scheduling: A New Technique to Perform Software Pipelining
by S. Jain, (MIPS Computer Systems, Inc.)
Lunch 12:30-2:00pm
Session 7: (2:00pm-3:30) Chaired by: Christopher Fraser,
AT&T Bell Laboratories
The Marion System for Retargetable Instruction Scheduling
by D. Bradlee, R.R. Henry, S.J. Eggers, (University of Washington)
Global Instruction Scheduling for Superscalar Machines
by D. Bernstein, M. Rodeh, (IBM Israel Scientific Center)
Linear-time Optimal Code Scheduling for Delayed-Load Architectures
by T.A. Proebsting, C.N. Fischer, (University of Wisconsin)
Session 8: (4:00pm-5:00) Chaired by: Andrew Black,
DEC Cambridge Research Laboratory
Refinement Types for ML
by T. Freeman, F. Pfenning, (Carnegie Mellon University)
Soft Typing
by R. Cartwright, M. Fagan, (Rice University)
Report of Program Chair 5:00-5:30
___________________________________________________________
Friday, June 28, 1991
Session 9: (9:00am-10:00) Chaired by: Bill Pugh,
University of Maryland
CML: A Higher-order Concurrent Language
by J.H. Reppy, (Cornell University)
A Methodology for Managing Hard Constraints in CLP Systems
by J. Jaffar, S. Michaylov, R. Yap,
(IBM T.J. Watson Research Center)
Session 10: (10:30-12:00) Chaired by: Jean-Jacques Levy,
INRIA-Rocquencourt
Generalized Algorithmic Debugging and Testing
by P. Fritzson, T. Gyimothy, M. Kamkar,
N.Shahmehri, (Linkoping University)
Occurrences in Debugger Specifications
by Y. Bertot, (INRIA Sophia-Antipolis)
Monitoring Semantics: A Formal Framework for
Specifying, Implementing and Reasoning About Execution Monitors
by A. Kishon, P. Hudak, C. Consel, (Yale University)
SIGPLAN Executive Committee Meeting (1:00-7:00)
===========================================================
Location
Sigplan '91 will be held at the Hilton Hotel,
145 Richmond Street West
Toronto, Ontario
M5H 2L2
telephone (416)869-3456
The conference hotel is situated in downtown
Toronto; most city attractions are within walking
distance of the hotel. Weather should be warm,
sunny and pleasant (although evenings may still be
somewhat cool).
Room reservations may be made by calling toll-
free, in Canada: 1-800-268-9275, in the USA: 1-800-
HILTONS. Attendees should ask for the SIGPLAN
conference rate, which is $95.00 (Can.) for single or
double, plus tax. This rate applies from June 21 to
June 30. Reservations should be made by May 24
to ensure room availability.
Banquet/SIGPLAN Birthday Party
The banquet, held on Wednesday June 26 at the
Ontario Science Center, will include a celebration
of SIGPLAN's 25th anniversary. Admission to the
OSC exhibits is included with the banquet ticket.
Local Arrangements
For additional information concerning local ar-
rangements contact: Shahram Javey
IBM Canada Lab
1150 Eglinton Ave.
Toronto, Ontario M3C1H7
Phone (416)448-4201
Email javey@torolab6.iinus1.ibm.com
Transportation
There are frequent airport buses between the air-
port and the downtown hotel district. The cost of
a taxi is about $35.00 (Can.) each way. Automobile
parking is $16.00 per day at the Hilton; outside
parking is often difficult to get.
US Air, Inc., in cooperation with ACM, is
offering special rates for travel to SIGPLAN '91. For
attendees traveling to and from Canada it affords
a 30% discount with no minimum stay or a 35%
discount with a two-night minimum stay requirement.
Additional restrictions apply for discounts
on international travel. It also offers a 5% bonus
off any of USAir's published promotional round-trip
fares within the continental United States excluding
First Class and Government Contract Fares, provided
that all rules and conditions of that fare are met.
To take advantage of either discount, follow
these simple steps. Call USAir for reservations,
or have your travel agent call, daily between 0800
and 2100 Eastern Time at1-800-344-8644 from the
United States and Atlantic islands, and 1-800-428-
4322 ext7702 from Canada. Refer to Gold File
Number 134541. These discounts are available only
through USAir's toll-free number, and are valid between
June 21 and July 1, 1991.
Conference Registration
Please make checks or money orders payable (in U.S.
or Canadian currency) to ACM SIGPLAN '91. Mail
with completed form to
SIGPLAN '91
c/o Prof. Gunnar Gottshalks
York University
N620 Ross Building
4700 Keele St.
North York, Ontario
Canada M3J 1P3
Requests for refunds must be received before June 7,
1991. Send electronic mail to sigplan@cs.yorku.ca if
you have any questions.
=====================================================================
Registration Form: SIGPLAN '91
June 24-28, 1991, Toronto, Ontario
Submit 1 photocopy form for each attendee. Please circle
fees you are paying. Advanced registration must be
received by May 20, 1991 to qualify for the lower rate.
Registration Fee Conference
______________________________________Advance____________Late________
US$ Can$ US$ Can$
ACM & SIGPLAN Member 210 245 260 305
ACM Member only 230 270 280 325
SIGPLAN Member only 230 270 280 325
Industrial sponsor 230 270 280 325
Non-member 260 305 310 360
Full-time student 90 110 90 110
---------------------------------------------------------------------
Tutorial
______________________________________Advance____________Late________
US$ Can$ US$ Can$
ACM & SIGPLAN Member 260 305 310 360
ACM Member only 260 305 310 360
SIGPLAN Member only 260 305 310 360
Industrial sponsor 260 305 310 360
Non-member 310 360 360 420
Full-time student 90 110 115 135
---------------------------------------------------------------------
Conference registration includes copy of proceedings, coffee
breaks, Tuesday night reception, lunches Wednesday
and Thursday, and Wednesday night banquet. Tutorial
registration includes copy of notes, coffee breaks, and
lunches Monday and Tuesday. The student fee does not
include lunches or banquet.
Tutorial (check one):
Track I (Production) ________
Track II (Nontraditional) ________
Number _______of additional banquet tickets @ US $40 (Can $50) each.
(Extra tickets not available at door.)
TOTAL amount enclosed:
Conference ________+
Tutorial ________+
Banquet ________= ________
Name: _____________________________________
Affiliation: ____________________________________
Address:___________________________________________
___________________________________________
Phone: ___________________ Fax:___________________
Email: ___________________
ACM Membership Number: __________________
Special meal requirements: Kosher Vegetarian
Other:___________________
===================================================================
Hotel Registration: SIGPLAN '91
Hilton Hotel
145 Richmond Street West
Toronto, Ontario, M5H 2L2
Canada
Please complete all information (type or print):
Group/Organization Name: ACM SIGPLAN 91
Rates: $95 (not including tax) for each room
(single or double occupancy).
Guest Name: ____________________
Address: _______________________________________
________________________________________
________________________________________
City: _________________
State: _________ Zip: __________________
Phone: ____________________
Arrival Date: ___________________
Departure Date: ____________________
Number in Party: _________
Number of One Bedded Rooms: _________
Number of Two Bedded Rooms: _________
All reservations will be held until 6:00 pm on the
date of arrival unless a one night deposit is
received or a major credit card is used to hold the
reservation.
Credit Card: _______________________________________
(card name/number/expiration date)
Signature: _______________________________________
==============================================================
Conference Chair: Brent Hailpern, IBM
Program Chair: Barbara Ryder, Rutgers University
Local Arrangements: Shahram Javey, IBM Canada Laboratory
Tutorials Chair: Robert R. Henry, Tera Computer Company
Treasurer: Charles H. Dana, California Polytechnic State University
Registrar: Gunnar Gottshalks, York University
Publicity: Jon Mauney, North Carolina State University
Book Exhibits: John Vlissides, Stanford University
Program Committee:
Andrew Black, DEC Cambridge Research Laboratory
Kent Dybvig, Indiana University
Christopher W. Fraser, AT&T Bell Laboratories
James Larus, University of Wisconsin - Madison
Peter Lee, Carnegie Mellon University
Jean-Jacques Levy, INRIA-Rocquencourt
Steven S. Muchnick, SUN Microsystems
William Pugh, University of Maryland
Vivek Sarkar, IBM T J Watson Research Center
Leon Sterling, Case Western Reserve University
William E. Weihl, MIT