PLDI 1991

29 papers

1. A Data Locality Optimizing Algorithm · Michael E. Wolf, Monica S. Lam
2. A Methodology for Managing Hard Constraints in CLP Systems · Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap
3. A Timed Petri-Net Model for Fine-Grain Loop Scheduling · Guang R. Gao, Yue-Bong Wong, Qi Ning
4. Advice to Authors of Extended Abstracts · William W. Pugh
5. Automatic Generation of Global Optimizers · Deborah Whitfield, Mary Lou Soffa
6. CCG: A Prototype Coagulating Code Generator · W. G. Morris
7. CML: A Higher-Order Concurrent Language · John H. Reppy
8. Circular Scheduling: A New Technique to Perform Software Pipelining · Suneel Jain
9. Effective "Static-Graph" Reorganization to Improve Locality in Garbage-Collected Systems · Paul R. Wilson, Michael S. Lam, Thomas G. Moher
10. Efficient and Exact Data Dependence Analysis · Dror E. Maydan, John L. Hennessy, Monica S. Lam
11. Fortran at Ten Gigaflops: The Connection Machine Convolution Compiler · Mark Bromley, Steven Heller, Timothy S. McNerney, Guy L. Steele Jr.
12. Generalized Algorithmic Debugging and Testing · Peter Fritzson, Tibor Gyimóthy, Mariam Kamkar, Nahid Shahmehri
13. Global Instruction Scheduling for Superscalar Machines · David Bernstein, Michael Rodeh
14. Linear-Time, Optimal Code Scheduling for Delayed-Load Architectures · Todd A. Proebsting, Charles N. Fischer
15. Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors · Amir Kishon, Paul Hudak, Charles Consel
16. Mostly Parallel Garbage Collection · Hans-Juergen Boehm, Alan J. Demers, Scott Shenker
17. Occurences in Debugger Specifications · Yves Bertot
18. Parameterized Partial Evaluation · Charles Consel, Siau-Cheng Khoo
19. Practical Dependence Testing · Gina Goff, Ken Kennedy, Chau-Wen Tseng
20. Predicting Program Behavior Using Real or Estimated Profiles · David W. Wall
21. Procedure Merging with Instruction Caches · Scott McFarling
22. Refinement Types for ML · Timothy S. Freeman, Frank Pfenning
23. Register Allocation via Hierarchical Graph Coloring · David Callahan, Brian D. Koblenz
24. Size and Access Inference for Data-Parallel Programs · Siddhartha Chatterjee, Guy E. Blelloch, Allan L. Fisher
25. Soft Typing · Robert Cartwright, Mike Fagan
26. Strictness and Binding-Time Analyses: Two for the Price of One · John Launchbury
27. Tag-Free Garbage Collection for Strongly Typed Programming Languages · Benjamin Goldberg
28. The Marion System for Retargetable Instruction Scheduling · David G. Bradlee, Robert R. Henry, Susan J. Eggers
29. The Semantic Approach to Program Slicing · G. A. Venkatesh