Jens Knoop, Laurie J. Hendren
Proceedings of the 23rd Conference on Programming Language Design and Implementation
PLDI, 2002.

@proceedings{PLDI-2002,
	acmid         = "512529",
	address       = "Berlin, Germany",
	editor        = "Jens Knoop and Laurie J. Hendren",
	isbn          = "1-58113-463-0",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 23rd Conference on Programming Language Design and Implementation}",
	year          = 2002,
}

Contents (28 items)

5 ×#named
4 ×#performance
4 ×#source code
3 ×#garbage collection
2 ×#analysis
2 ×#compilation
2 ×#concurrent
2 ×#java
2 ×#optimisation
2 ×#parallel

PLDI-2002-FosterTA

Flow-Sensitive Type Qualifiers (JSF, TT, AA), pp. 1–12.

PLDI-2002-FahndrichD #imperative #linear #programming

Adoption and Focus: Practical Linear Types for Imperative Programming (MF, RD), pp. 13–24.

PLDI-2002-BudimlicCHKOR #identification #performance

Fast Copy Coalescing and Live-Range Identification (ZB, KDC, TJH, KK, TSO, SWR), pp. 25–32.

PLDI-2002-KosekiKN #graph

Preference-Directed Graph Coloring (AK, HK, TN), pp. 33–44.

PLDI-2002-Gargi #algorithm

A Sparse Algorithm for Predicated Global Value Numbering (KG), pp. 45–56.

PLDI-2002-DasLS #named #polynomial #verification

ESP: Path-Sensitive Program Verification in Polynomial Time (MD, SL, MS), pp. 57–68.

PLDI-2002-HallemCXE #analysis

A System and Language for Building System-Specific, Static Analyses (SH, BC, YX, DRE), pp. 69–82.

PLDI-2002-RamalingamWFGS #analysis #component #consistency

Deriving Specialized Program Analyses for Certifying Component-Client Conformance (GR, AV, JF, DG, SS), pp. 83–94.

PLDI-2002-DebrayE

Profile-Guided Code Compression (SKD, WSE), pp. 95–105.

PLDI-2002-RajagopalanDHS #optimisation #source code

Profile-Directed Optimization of Event-Based Programs (MR, SKD, MAH, RDS), pp. 106–116.

PLDI-2002-LiaoWWSHL #adaptation

Post-Pass Binary Adaptation for Software-Based Speculative Precomputation (SWL, PHW, HW, JPS, GH, DML), pp. 117–128.

PLDI-2002-OssiaBGKLO #concurrent #garbage collection #incremental #parallel

A Parallel, Incremental and Concurrent GC for Servers (YO, OBY, IG, EKK, VL, AO), pp. 129–140.

PLDI-2002-HallenbergET #garbage collection

Combining Region Inference and Garbage Collection (NH, ME, MT), pp. 141–152.

PLDI-2002-BlackburnJMM #garbage collection #named

Beltway: Getting Around Garbage Collection Gridlock (SB, REJ, KSM, JEBM), pp. 153–164.

PLDI-2002-SoHD #approach #compilation #design #hardware #performance

A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems (BS, MWH, PCD), pp. 165–176.

PLDI-2002-CociorvaBLSRNBH #optimisation #trade-off

Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations (DC, GB, CCL, PS, JR, MN, DEB, RJH), pp. 177–186.

PLDI-2002-KawahitoKN #effectiveness

Effective Sign Extension Elimination (MK, HK, TN), pp. 187–198.

PLDI-2002-ChilimbiH #data type #source code

Dynamic Hot Data Stream Prefetching for General-Purpose Programs (TMC, MH), pp. 199–209.

PLDI-2002-Wu #performance #source code

Efficient Discovery of Regular Stride Patterns in Irregular Programs (YW), pp. 210–221.

PLDI-2002-BurtscherDH #classification #predict

Static Load Classification for Improving the Value Predictability of Data-Cache Misses (MB, AD, MH), pp. 222–233.

PLDI-2002-FlanaganLLNSS #java #static analysis

Extended Static Checking for Java (CF, KRML, ML, GN, JBS, RS), pp. 234–245.

PLDI-2002-LeinoPZ #using

Using Data Groups to Specify and Check Side Effects (KRML, APH, YZ), pp. 246–257.

PLDI-2002-ChoiLLOSS #concurrent #detection #object-oriented #parallel #performance #precise #source code #thread

Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs (JDC, KL, AL, RO, VS, MS), pp. 258–269.

PLDI-2002-BakerH #java #multi #named #syntax

Maya: Multiple-Dispatch Syntax Extension in Java (JB, WCH), pp. 270–281.

PLDI-2002-GrossmanMJHWC #memory management

Region-Based Memory Management in Cyclone (DG, JGM, TJ, MWH, YW, JC), pp. 282–293.

PLDI-2002-AlmasiP #compilation #latency #matlab #named

MaJIC: Compiling MATLAB for Speed and Responsiveness (GSA, DAP), pp. 294–303.

PLDI-2002-JoshiNR #named

Denali: A Goal-directed Superoptimizer (RJ, GN, KHR), pp. 304–314.

PLDI-2002-HenzingerK #embedded #predict #realtime

The Embedded Machine: Predictable, Portable Real-Time Code (TAH, CMK), pp. 315–326.