PLDI A*

30 papers

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