default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPLDI 1991: Toronto, Ontario, Canada
- David S. Wise:
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28, 1991. ACM 1991, ISBN 0-89791-428-7
SIGPLAN Notices 26(6) (June 1991)
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 D. 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
- Timothy S. 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 W. Pugh:
Advice to Authors of Extended Abstracts. 353-356
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
