Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa
Proceedings of the 15th Conference on Programming Language Design and Implementation
PLDI, 1994.

@proceedings{PLDI-1994,
	acmid         = "178243",
	address       = "Orlando, Florida, USA",
	editor        = "Vivek Sarkar and Barbara G. Ryder and Mary Lou Soffa",
	isbn          = "0-89791-662-X",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 15th Conference on Programming Language Design and Implementation}",
	year          = 1994,
}

Contents (30 items)

5 ×#analysis
4 ×#pointer
4 ×#source code
3 ×#data flow
3 ×#optimisation
3 ×#performance
3 ×#using
2 ×#compilation
2 ×#debugging
2 ×#dependence

PLDI-1994-SabryF #analysis #continuation #data flow #question

Is Continuation-Passing Useful for Data Flow Analysis? (AS, MF), pp. 1–12.

PLDI-1994-AppelM #compilation #ml #standard

Separate Compilation for Standard ML (AWA, DBM), pp. 13–23.

PLDI-1994-LaunchburyJ #functional #lazy evaluation #thread

Lazy Functional State Threads (JL, SLPJ), pp. 24–35.

PLDI-1994-EbciogluGKSZ #compilation

VLIW Compilation Techniques in a Superscalar Environment (KE, RDG, KCK, GMS, IZ), pp. 36–48.

PLDI-1994-SrivastavaW #architecture #optimisation

Link-Time Optimization of Address Calculation on a 64-bit Architecture (AS, DWW), pp. 49–60.

PLDI-1994-GranlundM #integer #invariant #multi #using

Division by Invariant Integers using Multiplication (TG, PLM), pp. 61–72.

PLDI-1994-Wang #performance #precise #predict

Precise Compile-Time Performance Prediction for Superscalar-Based Computers (KYW), pp. 73–84.

PLDI-1994-WagnerMGH #optimisation

Accurate Static Estimators for Program Optimization (TAW, VM, SLG, MAH), pp. 85–96.

PLDI-1994-Krall #branch #predict #replication

Improving Semi-static Branch Prediction by Code Replication (AK), pp. 97–106.

PLDI-1994-HanxledenK #framework #named

GIVE-N-TAKE — A Balanced Code Placement Framework (RvH, KK), pp. 107–120.

PLDI-1994-Pugh #how #why

Counting Solutions to Presburger Formulas: How and Why (WP), pp. 121–134.

PLDI-1994-FisherG #reduction

Parallelizing Complex Scans and Reductions (ALF, AMG), pp. 135–146.

PLDI-1994-KnoopRS

Partial Dead Code Elimination (JK, OR, BS), pp. 147–158.

PLDI-1994-BriggsC #effectiveness

Effective Partial Redundancy Elimination (PB, KDC), pp. 159–170.

PLDI-1994-JohnsonPP #linear

The Program Structure Tree: Computing Control Regions in Linear Time (RJ, DP, KP), pp. 171–185.

PLDI-1994-DavidsonJ #memory management

Memory Access Coalescing: A technique for Eliminating Redundant memory Accesses (JWD, SJ), pp. 186–195.

PLDI-1994-SrivastavaE #named #program analysis #tool support

ATOM — A System for Building Customized Program Analysis Tools (AS, AE), pp. 196–205.

PLDI-1994-Reinhold #garbage collection #performance #source code

Cache Performance of Garbage-Collected Programs (MBR), pp. 206–217.

PLDI-1994-HummelHN #data flow #data type #dependence #pointer

A General Data Dependence Test for Dynamic, Pointer-Based Data Structures (JH, LJH, AN), pp. 218–229.

PLDI-1994-Deutsch #alias #analysis #interprocedural #pointer

Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting (AD), pp. 230–241.

PLDI-1994-EmamiGH #analysis #interprocedural #pointer #points-to

Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers (ME, RG, LJH), pp. 242–256.

PLDI-1994-KurlanderF #low cost

Zero-cost Range Splitting (SMK, CNF), pp. 257–265.

PLDI-1994-NorrisP #dependence #graph

Register Allocation over the Program Dependence Graph (CN, LLP), pp. 266–277.

PLDI-1994-Wismuller #analysis #data flow #debugging #source code #using

Debugging of Globally Optimized Programs Using Data Flow Analysis (RW), pp. 278–289.

PLDI-1994-AustinBS #array #detection #fault #performance #pointer

Efficient Detection of All Pointer and Array Access Errors (TMA, SEB, GSS), pp. 290–301.

PLDI-1994-Agrawal #on the #slicing #source code

On Slicing Programs with Jump Statements (HA), pp. 302–312.

PLDI-1994-NetzerW #debugging #incremental #source code

Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs (RHBN, MHW), pp. 313–325.

PLDI-1994-HolzleU #feedback #optimisation #runtime

Optimizing Dynamically-Dispatched Calls with Run-Time Type Feedback (UH, DU), pp. 326–336.

PLDI-1994-HentenryckCC #analysis #graph #prolog #using

Type Analysis of Prolog Using Type Graphs (PVH, AC, BLC), pp. 337–348.

PLDI-1994-HentenryckR #backtracking

Backtracking without Trailing in CLP(R_Lin) (PVH, VR), pp. 349–360.