Benjamin G. Zorn, Alexander Aiken
Proceedings of the 31st Conference on Programming Language Design and Implementation
PLDI, 2010.

@proceedings{PLDI-2010,
	address       = "Toronto, Ontario, Canada",
	editor        = "Benjamin G. Zorn and Alexander Aiken",
	isbn          = "978-1-4503-0019-3",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 31st Conference on Programming Language Design and Implementation}",
	year          = 2010,
}

Contents (42 items)

14 ×#named
5 ×#detection
4 ×#memory management
4 ×#parallel
4 ×#performance
3 ×#compilation
3 ×#data type
3 ×#java
3 ×#object-oriented
3 ×#optimisation

PLDI-2010-RichardsLBV #analysis #behaviour #javascript #source code

An analysis of the dynamic behavior of JavaScript programs (GR, SL, BB, JV), pp. 1–12.

PLDI-2010-BondBG #analysis #context-sensitive grammar #debugging #detection #named #performance

Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses (MDB, GZB, SZG), pp. 13–24.

PLDI-2010-RuwaseCGM #correctness #optimisation #tool support

Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools (OR, SC, PBG, TCM), pp. 25–35.

PLDI-2010-LeeWHGM #debugging #detection #interface #named

Jinn: synthesizing dynamic bug detectors for foreign language interfaces (BL, BW, MH, RG, KSM), pp. 36–49.

PLDI-2010-PrabhuRV #parallel #programmable

Safe programmable speculative parallelism (PP, GR, KV), pp. 50–61.

PLDI-2010-TianFG #data type #parallel

Supporting speculative parallelization in the presence of dynamic data structures (CT, MF, RG), pp. 62–73.

PLDI-2010-KandemirYMSIZ #multi

Cache topology aware computation mapping for multicores (MTK, TY, SPM, SS, MJI, YZ), pp. 74–85.

PLDI-2010-YangXKZ #compilation #memory management #optimisation #parallel

A GPGPU compiler for memory optimization and parallelism management (YY, PX, JK, HZ), pp. 86–97.

PLDI-2010-Eggers

2010 Athena lecture (SJE), p. 98.

PLDI-2010-YangH #automation #operating system #type safety #verification

Safe to the last instruction: automated verification of a type-safe operating system (JY, CH), pp. 99–110.

PLDI-2010-TatlockL #compilation

Bringing extensibility to verified compilers (ZT, SL), pp. 111–121.

PLDI-2010-Chlipala #metaprogramming #named #static typing

Ur: statically-typed metaprogramming with type-level record computation (AC), pp. 122–133.

PLDI-2010-EmmiMM #transaction #verification

Parameterized verification of transactional memories (ME, RM, RM), pp. 134–145.

PLDI-2010-PizloZMHBV #garbage collection #named #realtime

Schism: fragmentation-tolerant real-time garbage collection (FP, LZ, PM, ALH, EB, JV), pp. 146–159.

PLDI-2010-XuR #detection

Detecting inefficiently-used containers to avoid bloat (G(X, AR), pp. 160–173.

PLDI-2010-XuMARSS #data type

Finding low-utility data structures (G(X, NM, MA, AR, ES, GS), pp. 174–186.

PLDI-2010-MytkowiczDHS #java

Evaluating the accuracy of Java profilers (TM, AD, MH, PFS), pp. 187–197.

PLDI-2010-BaekC #approximate #energy #framework #named #programming #using

Green: a framework for supporting energy-conscious programming using controlled approximation (WB, TMC), pp. 198–209.

PLDI-2010-RajanRY #collaboration #distributed #named #programming

GUESSTIMATE: a programming model for collaborative distributed systems (KR, SKR, SY), pp. 210–220.

PLDI-2010-XiW

A context-free markup language for semi-structured text (QX, DW), pp. 221–232.

PLDI-2010-Loitsch #float #integer

Printing floating-point numbers quickly and accurately with integers (FL), pp. 233–243.

PLDI-2010-FlanaganF #detection #memory management

Adversarial memory for detecting destructive races (CF, SNF), pp. 244–254.

PLDI-2010-BondCM #detection #named

PACER: proportional detection of data races (MDB, KEC, KSM), pp. 255–268.

PLDI-2010-NakaikeM #java

Lock elision for read-only critical sections in Java (TN, MMM), pp. 269–278.

PLDI-2010-ChaudhuriS

Smooth interpretation (SC, ASL), pp. 279–291.

PLDI-2010-GulwaniZ #bound #problem

The reachability-bound problem (SG, FZ), pp. 292–304.

PLDI-2010-MightSH #functional #object-oriented #program analysis

Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis (MM, YS, DVH), pp. 305–315.

PLDI-2010-KuncakMPS #functional #synthesis

Complete functional synthesis (VK, MM, RP, PS), pp. 316–329.

PLDI-2010-BurckhardtDMT #automation #named

Line-up: a complete and automatic linearizability checker (SB, CD, MM, RT), pp. 330–340.

PLDI-2010-TorlakVD #axiom #memory management #modelling #named #specification

MemSAT: checking axiomatic specifications of memory models (ET, MV, JD), pp. 341–350.

PLDI-2010-MarinoSMMN #concurrent #memory management #named #performance #programming language

DRFX: a simple and efficient memory model for concurrent programming languages (DM, AS, TDM, MM, SN), pp. 351–362.

PLDI-2010-ChambersRPAHBW #named #performance #pipes and filters

FlumeJava: easy, efficient data-parallel pipelines (CC, AR, FP, SA, RRH, RB, NW), pp. 363–375.

PLDI-2010-PanHA #parallel

Composing parallel software efficiently with lithe (HP, BH, KA), pp. 376–387.

PLDI-2010-ZhouD #approach #manycore #named #object-oriented

Bamboo: a data-centric, object-oriented approach to many-core software (JZ, BD), pp. 388–399.

PLDI-2010-WestbrookRIYAT #java #multi #named #programming #using

Mint: Java multi-stage programming using weak separability (EMW, MR, JI, YY, TA, WT), pp. 400–411.

PLDI-2010-ChenCS #compilation #security #verification

Type-preserving compilation of end-to-end verification of security enforcement (JC, RC, NS), pp. 412–423.

PLDI-2010-TateCH #assembly #object-oriented

Inferable object-oriented typed assembly language (RT, JC, CH), pp. 424–435.

PLDI-2010-KhooCF #execution #symbolic computation #type checking

Mixing type checking and symbolic execution (YPK, BYEC, JSF), pp. 436–447.

PLDI-2010-ChenHEFPTW #dataset #optimisation

Evaluating iterative optimization across 1000 datasets (YC, YH, LE, GF, LP, OT, CW), pp. 448–459.

PLDI-2010-KamruzzamanST #concurrent #distributed #performance #thread

Software data spreading: leveraging distributed caches to improve single thread performance (MK, SS, DMT), pp. 460–470.

PLDI-2010-SartorBFHM #array #flexibility #named

Z-rays: divide arrays and conquer speed and flexibility (JBS, SMB, DF, MH, KSM), pp. 471–482.

PLDI-2010-AcarBLTT #data type #self

Traceable data types for self-adjusting computation (UAA, GEB, RLW, KT, DT), pp. 483–496.