Rajiv Gupta, Saman P. Amarasinghe
Proceedings of the 29th Conference on Programming Language Design and Implementation
PLDI, 2008.

@proceedings{PLDI-2008,
	address       = "Tucson, Arizona, USA",
	editor        = "Rajiv Gupta and Saman P. Amarasinghe",
	isbn          = "978-1-59593-860-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 29th Conference on Programming Language Design and Implementation}",
	year          = 2008,
}

Contents (34 items)

6 ×#concurrent
6 ×#source code
5 ×#analysis
5 ×#named
3 ×#memory management
3 ×#scalability
3 ×#thread
2 ×#automation
2 ×#data flow
2 ×#data type

PLDI-2008-Terauchi #linear #programming

Checking race freedom via linear programming (TT), pp. 1–10.

PLDI-2008-Sen #concurrent #random testing #source code #testing

Race directed random testing of concurrent programs (KS), pp. 11–21.

PLDI-2008-BlackburnM #garbage collection #named #performance

Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance (SMB, KSM), pp. 22–32.

PLDI-2008-PizloPS #case study #concurrent #garbage collection #realtime

A study of concurrent real-time garbage collectors (FP, EP, BS), pp. 33–44.

PLDI-2008-WangXLGWZ #analysis #correlation #memory management

Conditional correlation analysis for safe region-based memory management (XW, ZX, XL, ZG, XW, ZZ), pp. 45–55.

PLDI-2008-AminTVWJ #automation #programmable

Automatic volume management for programmable microfluidics (AMA, MT, TNV, SW, SCJ), pp. 56–67.

PLDI-2008-BoehmA #c++ #concurrent #memory management

Foundations of the C++ concurrency memory model (HJB, SVA), pp. 68–78.

PLDI-2008-HuangS

Expressive and safe static reflection with MorphJ (SSH, YS), pp. 79–89.

PLDI-2008-PouchetBCC #multi #optimisation

Iterative optimization in the polyhedral model: part ii, multidimensional time (LNP, CB, AC, JC), pp. 90–100.

PLDI-2008-BondhugulaHRS #automation #locality

A practical automatic polyhedral parallelizer and locality optimizer (UB, AH, JR, PS), pp. 101–113.

PLDI-2008-KudlurM #execution #manycore #platform #source code

Orchestrating the execution of stream programs on multicore platforms (MK, SAM), pp. 114–124.

PLDI-2008-VechevY #concurrent #fine-grained

Deriving linearizable fine-grained concurrent objects (MTV, EY), pp. 125–135.

PLDI-2008-Solar-LezamaJB #concurrent #data type #sketching

Sketching concurrent data structures (ASL, CGJ, RB), pp. 136–148.

PLDI-2008-AndersonGEB #c #named #parallel #thread

SharC: checking data sharing strategies for multithreaded C (ZRA, DG, RE, EAB), pp. 149–158.

PLDI-2008-RondonKJ

Liquid types (PMR, MK, RJ), pp. 159–169.

PLDI-2008-FengSDG #hardware #low level #source code #thread

Certifying low-level programs with hardware interrupts and preemptive threads (XF, ZS, YD, YG), pp. 170–182.

PLDI-2008-ChenHPECCP #compilation #object-oriented #optimisation #scalability

Type-preserving compilation for large-scale optimizing object-oriented compilers (JC, CH, FP, ME, JC, DC, PP), pp. 183–192.

PLDI-2008-McCamantE #capacity #data flow #network

Quantitative information flow as network flow capacity (SM, MDE), pp. 193–205.

PLDI-2008-GodefroidKL #fuzzing #grammarware

Grammar-based whitebox fuzzing (PG, AK, MYL), pp. 206–215.

PLDI-2008-PereiraP

Register allocation by puzzle solving (FMQP, JP), pp. 216–226.

PLDI-2008-HackG #graph

Copy coalescing by graph recoloring (SH, GG), pp. 227–237.

PLDI-2008-XinSZ #execution #performance

Efficient program execution indexing (BX, WNS, XZ), pp. 238–248.

PLDI-2008-Kahlon #alias #analysis #named #pointer #scalability

Bootstrapping: a technique for scalable flow and context-sensitive pointer alias analysis (VK), pp. 249–259.

PLDI-2008-DincklageD #analysis

Explaining failures of program analyses (DvD, AD), pp. 260–269.

PLDI-2008-DilligDA #analysis #scalability

Sound, complete and scalable path-sensitive analysis (ID, TD, AA), pp. 270–280.

PLDI-2008-GulwaniSV #constraints #program analysis #theorem proving

Program analysis as constraint solving (SG, SS, RV), pp. 281–292.

PLDI-2008-FlanaganFY #named #parallel #source code #thread

Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs (CF, SNF, JY), pp. 293–303.

PLDI-2008-CheremCG

Inferring locks for atomic sections (SC, TMC, SG), pp. 304–315.

PLDI-2008-ChughVJL #analysis #concurrent #data flow #detection #source code #using

Dataflow analysis for concurrent programs using datarace detection (RC, JWV, RJ, SL), pp. 316–326.

PLDI-2008-WegielK #communication #coordination #memory management #named #type safety

XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination (MW, CK), pp. 327–338.

PLDI-2008-HalbwachsP #array #source code

Discovering properties about arrays in simple programs (NH, MP), pp. 339–348.

PLDI-2008-ZeeKR #data type #functional #linked data #open data #verification

Full functional verification of linked data structures (KZ, VK, MCR), pp. 349–361.

PLDI-2008-MusuvathiQ #model checking

Fair stateless model checking (MM, SQ), pp. 362–371.

PLDI-2008-GuerraouiHJS #model checking #transaction

Model checking transactional memories (RG, TAH, BJ, VS), pp. 372–382.