Abstract is missing.
- Efficient and Exact Data Dependence AnalysisDror E. Maydan, John L. Hennessy, Monica S. Lam. 1-14
- Practical Dependence TestingGina Goff, Ken Kennedy, Chau-Wen Tseng. 15-29
- A Data Locality Optimizing AlgorithmMichael E. Wolf, Monica S. Lam. 30-44
- Predicting Program Behavior Using Real or Estimated ProfilesDavid W. Wall. 59-70
- Procedure Merging with Instruction CachesScott McFarling. 71-79
- Strictness and Binding-Time Analyses: Two for the Price of OneJohn Launchbury. 80-91
- Parameterized Partial EvaluationCharles Consel, Siau-Cheng Khoo. 92-106
- Automatic Generation of Global OptimizersDeborah Whitfield, Mary Lou Soffa. 120-129
- Fortran at Ten Gigaflops: The Connection Machine Convolution CompilerMark Bromley, Steven Heller, Timothy S. McNerney, Guy L. Steele Jr.. 145-156
- Mostly Parallel Garbage CollectionHans-Juergen Boehm, Alan J. Demers, Scott Shenker. 157-164
- Tag-Free Garbage Collection for Strongly Typed Programming LanguagesBenjamin Goldberg. 165-176
- Effective Static-Graph Reorganization to Improve Locality in Garbage-Collected SystemsPaul R. Wilson, Michael S. Lam, Thomas G. Moher. 177-191
- Register Allocation via Hierarchical Graph ColoringDavid Callahan, Brian Koblenz. 192-203
- A Timed Petri-Net Model for Fine-Grain Loop SchedulingGuang R. Gao, Yue-Bong Wong, Qi Ning. 204-218
- Circular Scheduling: A New Technique to Perform Software PipeliningSuneel Jain. 219-228
- The Marion System for Retargetable Instruction SchedulingDavid G. Bradlee, Robert R. Henry, Susan J. Eggers. 229-240
- Global Instruction Scheduling for Superscalar MachinesDavid Bernstein, Michael Rodeh. 241-255
- Linear-Time, Optimal Code Scheduling for Delayed-Load ArchitecturesTodd A. Proebsting, Charles N. Fischer. 256-267
- Refinement Types for MLTim Freeman, Frank Pfenning. 268-277
- CML: A Higher-Order Concurrent LanguageJohn H. Reppy. 293-305
- A Methodology for Managing Hard Constraints in CLP SystemsJoxan Jaffar, Spiro Michaylov, Roland H. C. Yap. 306-316
- Generalized Algorithmic Debugging and TestingPeter Fritzson, Tibor Gyimóthy, Mariam Kamkar, Nahid Shahmehri. 317-326
- Occurences in Debugger SpecificationsYves Bertot. 327-337
- Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution MonitorsAmir Kishon, Paul Hudak, Charles Consel. 338-352
- Advice to Authors of Extended AbstractsWilliam Pugh. 353-356