Ron Cytron, Rajiv Gupta
Proceedings of the 24th Conference on Programming Language Design and Implementation
PLDI, 2003.

@proceedings{PLDI-2003,
	address       = "San Diego, California, USA",
	editor        = "Ron Cytron and Rajiv Gupta",
	isbn          = "1-58113-662-5",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 24th Conference on Programming Language Design and Implementation}",
	year          = 2003,
}

Contents (28 items)

8 ×#optimisation
5 ×#analysis
5 ×#compilation
2 ×#c
2 ×#debugging
2 ×#detection
2 ×#java
2 ×#memory management
2 ×#multi
2 ×#predict

PLDI-2003-GayLBWBC #approach #embedded

The nesC language: A holistic approach to networked embedded systems (DG, PL, JRvB, MW, EAB, DEC), pp. 1–11.

PLDI-2003-LambTA #analysis #linear #optimisation #source code

Linear analysis and optimization of stream programs (AAL, WT, SPA), pp. 12–25.

PLDI-2003-GeorgeB #network

Taming the IXP network processor (LG, MB), pp. 26–37.

PLDI-2003-HsuK #algorithm #compilation #cpu #design #energy #evaluation #implementation #reduction

The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction (CHH, UK), pp. 38–48.

PLDI-2003-XieMM #scalability

Compile-time dynamic voltage scaling settings: opportunities and limits (FX, MM, SM), pp. 49–62.

PLDI-2003-YotovLRCDGPPSW #comparison #empirical #modelling #optimisation

A comparison of empirical and model-driven optimization (KY, XL, GR, MC, GD, MJG, DAP, KP, PS, PW), pp. 63–76.

PLDI-2003-StephensonAMO #compilation #heuristic #machine learning #optimisation

Meta optimization: improving compiler heuristics with machine learning (MS, SPA, MCM, UMO), pp. 77–90.

PLDI-2003-StroutCF #composition #runtime

Compile-time composition of run-time data and iteration reorderings (MMS, LC, JF), pp. 91–102.

PLDI-2003-BerndlLQHU #analysis #points-to #using

Points-to analysis using BDDs (MB, OL, FQ, LJH, NU), pp. 103–114.

PLDI-2003-PraunG #analysis #concurrent #multi #object-oriented #source code #thread

Static conflict analysis for multi-threaded object-oriented programs (CvP, TRG), pp. 115–128.

PLDI-2003-AikenFKT #alias

Checking and inferring local non-aliasing (AA, JSF, JK, TT), pp. 129–140.

PLDI-2003-LiblitAZJ #debugging

Bug isolation via remote program sampling (BL, AA, AXZ, MIJ), pp. 141–154.

PLDI-2003-DorRS #c #detection #named #towards

CSSV: towards a realistic tool for statically detecting all buffer overflows in C (ND, MR, SS), pp. 155–167.

PLDI-2003-HeineL #c #c++ #detection #memory management

A practical flow-sensitive and context-sensitive C and C++ memory leak detector (DLH, MSL), pp. 168–181.

PLDI-2003-AmmonsMBL #concept analysis #debugging #specification

Debugging temporal specifications with concept analysis (GA, DM, RB, JRL), pp. 182–195.

PLDI-2003-BlanchetCCFMMMR #safety #scalability

A static analyzer for large safety-critical software (BB, PC, RC, JF, LM, AM, DM, XR), pp. 196–207.

PLDI-2003-ChenWAF #optimisation

A provably sound TAL for back-end optimization (JC, DW, AWA, HF), pp. 208–219.

PLDI-2003-LernerMC #automation #compilation #correctness #optimisation #proving

Automatically proving the correctness of compiler optimizations (SL, TDM, CC), pp. 220–231.

PLDI-2003-ConditHMNW

CCured in the real world (JC, MH, SM, GCN, WW), pp. 232–244.

PLDI-2003-DingZ #analysis #distance #locality #predict #reuse

Predicting whole-program locality through reuse distance analysis (CD, YZ), pp. 245–257.

PLDI-2003-JoishaB #array #matlab #optimisation

Static array storage optimization in MATLAB (PGJ, PB), pp. 258–268.

PLDI-2003-InagakiOKN

Stride prefetching by dynamically inspecting objects (TI, TO, HK, TN), pp. 269–277.

PLDI-2003-ErtlG #branch #optimisation #predict #virtual machine

Optimizing indirect branch prediction accuracy in virtual machine interpreters (MAE, DG), pp. 278–288.

PLDI-2003-LinCHYJNC #analysis #compilation #framework #optimisation

A compiler framework for speculative analysis and optimizations (JL, TC, WCH, PCY, RDCJ, TFN, SC), pp. 289–299.

PLDI-2003-ChuFM #clustering #multi

Region-based hierarchical operation partitioning for multicluster processors (MLC, KF, SAM), pp. 300–311.

PLDI-2003-SuganumaYN #compilation #java

A region-based compilation technique for a Java just-in-time compiler (TS, TY, TN), pp. 312–323.

PLDI-2003-BoyapatiSBR #java #memory management #realtime

Ownership types for safe region-based memory management in real-time Java (CB, AS, WSB, MCR), pp. 324–337.

PLDI-2003-FlanaganQ

A type and effect system for atomicity (CF, SQ), pp. 338–349.