David S. Wise
Proceedings of the 12th Conference on Programming Language Design and Implementation
PLDI, 1991.

@proceedings{PLDI-1991,
	acmid         = "113445",
	address       = "Toronto, Ontario, Canada",
	editor        = "David S. Wise",
	isbn          = "0-89791-428-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 12th Conference on Programming Language Design and Implementation}",
	year          = 1991,
}

Contents (29 items)

5 ×#scheduling
3 ×#garbage collection
2 ×#algorithm
2 ×#analysis
2 ×#debugging
2 ×#dependence
2 ×#locality
2 ×#named
2 ×#semantics
2 ×#specification

PLDI-1991-MaydanHL #analysis #data flow #dependence #performance

Efficient and Exact Data Dependence Analysis (DEM, JLH, MSL), pp. 1–14.

PLDI-1991-GoffKT #dependence #testing

Practical Dependence Testing (GG, KK, CWT), pp. 15–29.

PLDI-1991-WolfL #algorithm #locality #optimisation

A Data Locality Optimizing Algorithm (MEW, MSL), pp. 30–44.

PLDI-1991-Morris #code generation #named #prototype

CCG: A Prototype Coagulating Code Generator (WGM), pp. 45–58.

PLDI-1991-Wall #behaviour #predict #using

Predicting Program Behavior Using Real or Estimated Profiles (DWW), pp. 59–70.

PLDI-1991-McFarling

Procedure Merging with Instruction Caches (SM), pp. 71–79.

PLDI-1991-Launchbury #analysis #strict

Strictness and Binding-Time Analyses: Two for the Price of One (JL), pp. 80–91.

PLDI-1991-ConselK #partial evaluation

Parameterized Partial Evaluation (CC, SCK), pp. 92–106.

PLDI-1991-Venkatesh #approach #semantics #slicing

The Semantic Approach to Program Slicing (GAV), pp. 107–119.

PLDI-1991-WhitfieldS #automation #generative

Automatic Generation of Global Optimizers (DW, MLS), pp. 120–129.

PLDI-1991-ChatterjeeBF #source code

Size and Access Inference for Data-Parallel Programs (SC, GEB, ALF), pp. 130–144.

PLDI-1991-BromleyHMS #compilation #fortran

Fortran at Ten Gigaflops: The Connection Machine Convolution Compiler (MB, SH, TSM, GLSJ), pp. 145–156.

PLDI-1991-BoehmDS #garbage collection #parallel

Mostly Parallel Garbage Collection (HJB, AJD, SS), pp. 157–164.

PLDI-1991-Goldberg #garbage collection #programming language

Tag-Free Garbage Collection for Strongly Typed Programming Languages (BG), pp. 165–176.

PLDI-1991-WilsonLM #effectiveness #garbage collection #locality

Effective “Static-Graph” Reorganization to Improve Locality in Garbage-Collected Systems (PRW, MSL, TGM), pp. 177–191.

PLDI-1991-CallahanK #graph

Register Allocation via Hierarchical Graph Coloring (DC, BK), pp. 192–203.

PLDI-1991-GaoWN #petri net #scheduling

A Timed Petri-Net Model for Fine-Grain Loop Scheduling (GRG, YBW, QN), pp. 204–218.

PLDI-1991-Jain #pipes and filters #scheduling

Circular Scheduling: A New Technique to Perform Software Pipelining (SJ), pp. 219–228.

PLDI-1991-BradleeHE #scheduling

The Marion System for Retargetable Instruction Scheduling (DGB, RRH, SJE), pp. 229–240.

PLDI-1991-BernsteinR #scheduling

Global Instruction Scheduling for Superscalar Machines (DB, MR), pp. 241–255.

PLDI-1991-ProebstingF #architecture #linear #scheduling

Linear-Time, Optimal Code Scheduling for Delayed-Load Architectures (TAP, CNF), pp. 256–267.

PLDI-1991-FreemanP #ml #refinement

Refinement Types for ML (TF, FP), pp. 268–277.

PLDI-1991-CartwrightF #type system

Soft Typing (RC, MF), pp. 278–292.

PLDI-1991-Reppy #concurrent #higher-order #named

CML: A Higher-Order Concurrent Language (JHR), pp. 293–305.

PLDI-1991-JaffarMY #constraints

A Methodology for Managing Hard Constraints in CLP Systems (JJ, SM, RHCY), pp. 306–316.

PLDI-1991-FritzsonGKS #algorithm #debugging #testing

Generalized Algorithmic Debugging and Testing (PF, TG, MK, NS), pp. 317–326.

PLDI-1991-Bertot #debugging #specification

Occurences in Debugger Specifications (YB), pp. 327–337.

PLDI-1991-KishonHC #execution #framework #implementation #monitoring #reasoning #semantics #specification

Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors (AK, PH, CC), pp. 338–352.

PLDI-1991-Pugh

Advice to Authors of Extended Abstracts (WP), pp. 353–356.