PLDI 1991: Toronto, Ontario, Canada

Session 1

• Dror E. Maydan, John L. Hennessy, Monica S. Lam:
  Efficient and Exact Data Dependence Analysis. 1-14
  
• Gina Goff, Ken Kennedy, Chau-Wen Tseng:
  Practical Dependence Testing. 15-29
  
• Michael E. Wolf, Monica S. Lam:
  A Data Locality Optimizing Algorithm. 30-44
  

Session 2

• W. G. Morris:
  CCG: A Prototype Coagulating Code Generator. 45-58
  
• David W. Wall:
  Predicting Program Behavior Using Real or Estimated Profiles. 59-70
  
• Scott McFarling:
  Procedure Merging with Instruction Caches. 71-79
  

Session 3

• John Launchbury:
  Strictness and Binding-Time Analyses: Two for the Price of One. 80-91
  
• Charles Consel, Siau-Cheng Khoo:
  Parameterized Partial Evaluation. 92-106
  
• G. A. Venkatesh:
  The Semantic Approach to Program Slicing. 107-119
  

Session 4

• Deborah Whitfield, Mary Lou Soffa:
  Automatic Generation of Global Optimizers. 120-129
  
• Siddhartha Chatterjee, Guy E. Blelloch, Allan L. Fisher:
  Size and Access Inference for Data-Parallel Programs. 130-144
  
• Mark Bromley, Steven Heller, Timothy S. McNerney, Guy L. Steele Jr.:
  Fortran at Ten Gigaflops: The Connection Machine Convolution Compiler. 145-156
  

Session 5

• Hans-Juergen Boehm, Alan J. Demers, Scott Shenker:
  Mostly Parallel Garbage Collection. 157-164
  
• Benjamin Goldberg:
  Tag-Free Garbage Collection for Strongly Typed Programming Languages. 165-176
  
• Paul R. Wilson, Michael S. Lam, Thomas G. Moher:
  Effective ``Static-Graph'' Reorganization to Improve Locality in Garbage-Collected Systems. 177-191
  

Session 6

• David Callahan, Brian Koblenz:
  Register Allocation via Hierarchical Graph Coloring. 192-203
  
• Guang R. Gao, Yue-Bong Wong, Qi Ning:
  A Timed Petri-Net Model for Fine-Grain Loop Scheduling. 204-218
  
• Suneel Jain:
  Circular Scheduling: A New Technique to Perform Software Pipelining. 219-228
  

Session 7

• David G. Bradlee, Robert R. Henry, Susan J. Eggers:
  The Marion System for Retargetable Instruction Scheduling. 229-240
  
• David Bernstein, Michael Rodeh:
  Global Instruction Scheduling for Superscalar Machines. 241-255
  
• Todd A. Proebsting, Charles N. Fischer:
  Linear-Time, Optimal Code Scheduling for Delayed-Load Architectures. 256-267
  

Session 8

• Tim Freeman, Frank Pfenning:
  Refinement Types for ML. 268-277
  
• Robert Cartwright, Mike Fagan:
  Soft Typing. 278-292
  

Session 9

• John H. Reppy:
  CML: A Higher-Order Concurrent Language. 293-305
  
• Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap:
  A Methodology for Managing Hard Constraints in CLP Systems. 306-316
  

Session 10

• Peter Fritzson, Tibor Gyimóthy, Mariam Kamkar, Nahid Shahmehri:
  Generalized Algorithmic Debugging and Testing. 317-326
  
• Yves Bertot:
  Occurences in Debugger Specifications. 327-337
  
• Amir Kishon, Paul Hudak, Charles Consel:
  Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors. 338-352
  

Addendum

• William Pugh:
  Advice to Authors of Extended Abstracts. 353-356
  

Last update Tue May 21 00:03:05 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page