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