PLDI'96 Conference Program

Day 1, Wednesday, May 22, 1996

Continental breakfast, 7:15 am - 8:00 am

Plenary Session, 8:00 am - 9:00 am

Session S1, Instruction Scheduling, 9:30 am - 10:30 am

Session chair: Monica Lam (Stanford University)

• Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production Compiler,
  John Ruttenberg, W. Lichtenstein (Silicon Graphics),
  G.R. Gao, A. Stouchinin (McGill University)

• A Reduced Multipipeline Machine Description that Preserves Scheduling Constraints ,
  Alexandre E. Eichenberger , Edward S. Davidson (University of Michigan)

Coffee Break, 10:30 am - 11:00 am

Session S2, Debugging, 11:00 am - 12:30 pm

Session chair: Robert Halstead (DEC Cambridge Research Lab)

• Static Debugging: Browsing the Web of Program Invariants ,
  Cormac Flanagan , Matthew Flatt , Shriram Krishnamurthi , Stephanie Weirich , Matthias Felleisen (Rice University)
• Source-Level Debugging of Scalar Optimized Code,
  Ali-Reza Adl-Tabatabai, Thomas Gross (Carnegie Mellon University)
• Static Detection of Dynamic Memory Errors,
  David Evans (M.I.T. Laboratory for Computer Science)

Lunch, 12:30 pm - 2:00 pm

Session S3, Parallelizing Compilers, 2:00 pm - 3:30 pm

Session chair: Kathryn S. McKinley (University of Massachusetts)

• Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers,
  Martin C. Rinard, Pedro C. Diniz (University of California, Santa Barbara)
• Global Communication Analysis and Optimization,
  Soumen Chakrabarti (University of California, Berkeley),
  Manish Gupta, Jong-Deok Choi (IBM T.J. Watson Research Center)
• GUM: A Portable Parallel Implementation of Haskell,
  P.W. Trinder, K. Hammond, S.L. Peyton Jones (Glasgow University),
  J.S. Mattson Jr (Hewlett Packard),
  A.S. Partridge (University of Tasmania)
  

Coffee Break, 3:30 pm - 4:00 pm

Session S4, Implementation Techniques, 4:00 pm - 5:30 pm

Session chair: Robert Cartwright (Rice University)

• Simple Garbage-Collector-Safety,
  Hans-J. Boehm (Xerox PARC)
• Representing Control in the Presence of One-Shot Continuations,
  Carl Bruggeman, Oscar Waddell, and R. Kent Dybvig
  (Indiana University)
• Printing Floating-Point Numbers Quickly and Accurately,
  Robert G. Burger, R. Kent Dybvig (Indiana University)

Report by the Program Chair, 5:30 pm - 6:00 pm

Excursion, 6:00 pm - 10:00 pm

Day 2, Thursday, May 23, 1996

Continental breakfast, 7:15 am - 8:00 am

Plenary Session, 8:00 am - 9:00 am

Session S5, New Directions, 9:30 am - 10:30 am

Session chair: Michael Burke (IBM Thomas J. Watson Research Center)

• Practical Program Analysis Using General Purpose Logic Programming Systems --- A Case Study,
  Steven Dawson, C.R. Ramakrishnan, David S. Warren (SUNY, Stony Brook)
• Efficient and Language-Independent Mobile Programs,
  Ali-Reza Adl-Tabatabai, Geoff Langdale (Carnegie Mellon University),
  Steven Lucco, Robert Wahbe (Colusa Software)

Coffee Break, 10:30 am - 11:00 am

Session S6, Run-time Code Generation, 11:00 am - 12:30 pm

Session chair: Bernhard Steffen (University of Passau)

• Optimizing ML with Run-Time Code Generation,
  Peter Lee, Mark Leone (Carnegie Mellon University)
• Fast, Effective Dynamic Compilation,
  J. Auslander, M. Philipose, C. Chambers, S. Eggers, B. Bershad, (University of Washington)
• VCODE: a Retargetable, Extensible, Very Fast Dynamic Code Generation System,
  Dawson R. Engler (M.I.T. Laboratory for Computer Science)

Lunch, 12:30 pm - 2:00 pm

Session S7, Functional Language Implementation, 2:00 PM - 3:30 PM

Session chair: Fritz Henglein (DIKU, University of Copenhagen)

• Simple Objects for Standard ML,
  John Reppy (AT&T Research), Jon Riecke (Bell Laboratories)
• TIL: A Type-Directed Optimizing Compiler for ML,
  D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, P. Lee (Carnegie Mellon University)
• Flow-directed Inlining,
  Suresh Jagannathan, Andrew Wright (NEC Research Institute)

Coffee Break, 3:30 pm - 4:00 pm

Session S8, Currying/Partial Evaluation, 4:00 pm - 5:30 pm

• Realistic Compilation by Partial Evaluation,
  Michael Sperber, Peter Thiemann
  (University of Tübingen)
• Data Specialization,
  T. Knoblock, E. Ruf (Microsoft Research)
• RelocatingMachine Instructions by Currying,
  Norman Ramsey (Purdue University)

Open SIGPLAN Meeting, 5:30 pm - 6:00 pm

Joint reception with ICFP, 6:30 pm -8:30 pm

• SIGPLAN Distinguished Service Award Ceremony

Day 3, Friday, May 24, 1996

Continental breakfast, 7:15 am - 8:00 am

Plenary Session, 8:00 am - 9:00 am

Session S9, Testing and Verification, 9:30 am - 11:00 am

Session chair: Dirk Grunwald (University of Colorado)

• Teapot: Language Support for Writing Memory Coherence Protocols,
  Satish Chandra, Brad Richards, Jim Larus, (University of Wisconsin-Madison)
• Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators,
  Mark W. Bailey, Jack W. Davidson
• Replay For Concurrent Non-Deterministic Shared Memory Applications,
  Mark Russinovich, Bryce Cogswell (University of Oregon)

Coffee Break, 11:00 am - 11:30 am

Session S10, Program Analysis, 11:30 am - 1:00 pm

Session chair: William Landi (Siemens Corporate Research)

• Data Flow Frequency Analysis,
  G. Ramalingam (IBM T.J. Watson Research Center)
• A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs,
  Vugranam C. Sreedhar, Guang R. Gao (McGill University),
  Yong-fong Lee (Intel Corporation)
• Generalized Dominance and Control Dependence,
  Gianfranco Bilardi (Universita di Padova),
  Keshav Pingali (Cornell University)