Vivek Sarkar, Mary W. Hall
Proceedings of the 26th Conference on Programming Language Design and Implementation
PLDI, 2005.

@proceedings{PLDI-2005,
	address       = "Chicago, Illinois, USA",
	editor        = "Vivek Sarkar and Mary W. Hall",
	isbn          = "1-59593-056-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 26th Conference on Programming Language Design and Implementation}",
	year          = 2005,
}

Contents (29 items)

6 ×#named
4 ×#programming
3 ×#automation
3 ×#source code
2 ×#ad hoc
2 ×#detection
2 ×#network
2 ×#performance
2 ×#pipes and filters
2 ×#re-engineering

PLDI-2005-XuBH #detection #source code

A serializability violation detector for shared-memory server programs (MX, RB, MDH), pp. 1–14.

PLDI-2005-LiblitNZAJ #debugging #scalability #statistics

Scalable statistical bug isolation (BL, MN, AXZ, AA, MIJ), pp. 15–26.

PLDI-2005-ElmasTQ #concurrent #detection #named #runtime #source code #verification

VYRD: verifYing concurrent programs by runtime refinement-violation detection (TE, ST, SQ), pp. 27–37.

PLDI-2005-JhalaM #slicing

Path slicing (RJ, RM), pp. 38–47.

PLDI-2005-MandelinXBK #api #mining

Jungloid mining: helping to navigate the API jungle (DM, LX, RB, DK), pp. 48–61.

PLDI-2005-FurrF #type safety

Checking type safety of foreign function calls (MF, JSF), pp. 62–72.

PLDI-2005-SiekL #programming

Essential language support for generic programming (JGS, AL), pp. 73–84.

PLDI-2005-ChinMM #semantics

Semantic type qualifiers (BC, SM, TDM), pp. 85–95.

PLDI-2005-KrishnaswamiA #encapsulation #higher-order

Permission-based ownership: encapsulating state in higher-order typed languages (NRK, JA), pp. 96–106.

PLDI-2005-Jimenez #branch #predict

Code placement for improving dynamic branch prediction accuracy (DAJ), pp. 107–116.

PLDI-2005-AvgustinovCHKLLMSST #aspectj #optimisation

Optimising aspectJ (PA, ASC, LJH, SK, JL, OL, OdM, DS, GS, JT), pp. 117–128.

PLDI-2005-LattnerA #automation #data type #layout #performance

Automatic pool allocation: improving performance by controlling data structure layout in the heap (CL, VSA), pp. 129–142.

PLDI-2005-HertzFB #garbage collection

Garbage collection without paging (MH, YF, EDB), pp. 143–153.

PLDI-2005-RongDG #multi #pipes and filters

Register allocation for software pipelined multi-dimensional loops (HR, AD, GRG), pp. 154–167.

PLDI-2005-ZhuangP #difference

Differential register allocation (XZ, SP), pp. 168–179.

PLDI-2005-AletaCGK #on the fly

Demystifying on-the-fly spill code (AA, JMC, AG, DRK), pp. 180–189.

PLDI-2005-LukCMPKLWRH #named #program analysis #tool support

Pin: building customized program analysis tools with dynamic instrumentation (CKL, RSC, RM, HP, AK, PGL, SW, VJR, KMH), pp. 190–200.

PLDI-2005-AyersSMARW #control flow #distributed #fault #named #re-engineering

TraceBack: first fault diagnosis by reconstruction of distributed control flow (AA, RS, CM, AA, JR, EW), pp. 201–212.

PLDI-2005-GodefroidKS #automation #named #random testing #testing

DART: directed automated random testing (PG, NK, KS), pp. 213–223.

PLDI-2005-ChenLLLLLJ #named #network #performance #programming

Shangri-La: achieving high performance from compiled network applications while enabling ease of programming (MKC, XFL, RL, JHL, LL, TL, RJ), pp. 224–236.

PLDI-2005-DaiHLH #architecture #automation #clustering #pipes and filters

Automatically partitioning packet processing applications for pipelined architectures (JD, BH, LL, LH), pp. 237–248.

PLDI-2005-NiKSI #ad hoc #mobile #network #programming

Programming ad-hoc networks of mobile and resource-constrained devices (YN, UK, AS, LI), pp. 249–260.

PLDI-2005-Boehm #library #thread

Threads cannot be implemented as a library (HJB), pp. 261–268.

PLDI-2005-QuinonesMSMGT #compilation #framework #slicing #thread

Mitosis compiler: an infrastructure for speculative threading based on pre-computation slices (CGQ, CM, FJS, PM, AG, DMT), pp. 269–279.

PLDI-2005-Herlihy #re-engineering #transaction

The transactional manifesto: software engineering and non-blocking synchronization (MH), p. 280.

PLDI-2005-Solar-LezamaRBE #programming #sketching #source code

Programming by sketching for bit-streaming programs (ASL, RMR, RB, KE), pp. 281–294.

PLDI-2005-FisherG #ad hoc #domain-specific language #named

PADS: a domain-specific language for processing ad hoc data (KF, RG), pp. 295–304.

PLDI-2005-BauerLW #policy #security

Composing security policies with polymer (LB, JL, DW), pp. 305–314.

PLDI-2005-FranchettiVP

Formal loop merging for signal transforms (FF, YV, MP), pp. 315–326.