Michael F. P. O'Boyle, Keshav Pingali
Proceedings of the 35th Conference on Programming Language Design and Implementation
PLDI, 2014.

@proceedings{PLDI-2014,
	acmid         = "2594291",
	address       = "Edinburgh, Scotland, United Kingdom",
	editor        = "Michael F. P. O'Boyle and Keshav Pingali",
	isbn          = "978-1-4503-2784-8",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 35th Conference on Programming Language Design and Implementation}",
	year          = 2014,
}

Contents (59 items)

11 ×#named
7 ×#source code
6 ×#analysis
6 ×#concurrent
6 ×#parallel
5 ×#detection
5 ×#verification
4 ×#compilation
4 ×#performance
4 ×#precise

PLDI-2014-Palem #question #what

What exactly is inexact computation good for? (KVP), p. 1.

PLDI-2014-KuperTTN #parallel

Taming the parallel effect zoo: extensible deterministic parallelism with LVish (LK, AT, STH, RRN), p. 2.

PLDI-2014-SurendranRCMS #parallel #source code #testing

Test-driven repair of data races in structured parallel programs (RS, RR, SC, JMMC, VS), p. 3.

PLDI-2014-StorkNSMFMA #approach #named #programming language

Æminium: a permission based concurrent-by-default programming language approach (SS, KN, JS, MM, AF, PM, JA), p. 4.

PLDI-2014-JagannathanPVPL #compilation #refinement

Atomicity refinement for verified compilation (SJ, GP, JV, DP, VL), p. 5.

PLDI-2014-BiswasHSB #named #performance #precise

DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.

PLDI-2014-AlglaveMT #memory management #modelling #simulation #testing

Herding cats: modelling, simulation, testing, and data-mining for weak memory (JA, LM, MT), p. 7.

PLDI-2014-RompfSBLCO #compilation #jit #precise

Surgical precision JIT compilers (TR, AKS, KJB, HL, HC, KO), p. 8.

PLDI-2014-Schkufza0A #float #optimisation #precise #probability #source code

Stochastic optimization of floating-point programs with tunable precision (ES, RS, AA), p. 9.

PLDI-2014-StockKGPRRS #framework #order #reuse

A framework for enhancing data reuse via associative reordering (KS, MK, TG, LNP, FR, JR, PS), p. 10.

PLDI-2014-DeVitoRFAH #generative #runtime #using

First-class runtime generation of high-performance types using exotypes (ZD, DR, MF, AA, PH), p. 11.

PLDI-2014-GreenmanMT #bound #morphism #polymorphism

Getting F-bounded polymorphism into shape (BG, FM, RT), p. 12.

PLDI-2014-Simon #polymorphism

Optimal inference of fields in row-polymorphic records (AS), p. 13.

PLDI-2014-SampsonPMMGC #probability #verification

Expressing and verifying probabilistic assertions (AS, PP, TM, KSM, DG, LC), p. 14.

PLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier

Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.

PLDI-2014-HurNRS #probability #slicing #source code

Slicing probabilistic programs (CKH, AVN, SKR, SS), p. 16.

PLDI-2014-CaiGRO #difference #formal method #higher-order #λ-calculus

A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation (YC, PGG, TR, KO), p. 17.

PLDI-2014-HammerKHF #adaptation #composition #incremental #named

Adapton: composable, demand-driven incremental computation (MAH, YPK, MH, JSF), p. 18.

PLDI-2014-AungHJR #slicing

Specialization slicing (MA, SH, RJ, TWR), p. 19.

PLDI-2014-Hoare #concurrent #programming

Laws of concurrent programming (CARH), p. 20.

PLDI-2014-SridharanGS #adaptation #execution #parallel #performance #source code

Adaptive, efficient, parallel execution of parallel programs (SS, GG, GSS), p. 21.

PLDI-2014-GuptaSS #execution #parallel #source code

Globally precise-restartable execution of parallel programs (GG, SS, GSS), p. 22.

PLDI-2014-MitraLABSG #analysis #debugging #parallel #scalability

Accurate application progress analysis for large-scale parallel debugging (SM, IL, DHA, SB, MS, TG), p. 23.

PLDI-2014-TavarageriKS #detection #fault #memory management

Compiler-assisted detection of transient memory errors (ST, SK, PS), p. 24.

PLDI-2014-LeAS #compilation #equivalence #validation

Compiler validation via equivalence modulo inputs (VL, MA, ZS), p. 25.

PLDI-2014-LongSR #automation #fault #runtime

Automatic runtime error repair and containment via recovery shepherding (FL, SSD, MCR), p. 26.

PLDI-2014-ZhangMGNY #abstraction #analysis #datalog #on the #refinement

On abstraction refinement for program analyses in Datalog (XZ, RM, RG, MN, HY), p. 27.

PLDI-2014-ZhangMNY #analysis #bottom-up #hybrid #interprocedural #top-down

Hybrid top-down and bottom-up interprocedural analysis (XZ, RM, MN, HY), p. 28.

PLDI-2014-ArztRFBBKTOM #analysis #android #named #precise

FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps (SA, SR, CF, EB, AB, JK, YLT, DO, PM), p. 29.

PLDI-2014-Carbonneaux0RS #bound #c #source code #verification

End-to-end verification of stack-space bounds for C programs (QC, JH, TR, ZS), p. 30.

PLDI-2014-BallBGIKSSV #named #network #source code #towards #verification

VeriCon: towards verifying controller programs in software-defined networks (TB, NB, AG, SI, AK, MS, MS, AV), p. 31.

PLDI-2014-LogozzoLFB #towards #verification

Verification modulo versions: towards usable verification (FL, SKL, MF, SB), p. 32.

PLDI-2014-DimitrovRVK #commutative #concurrent #detection

Commutativity race detection (DD, VR, MTV, EK), p. 33.

PLDI-2014-MaiyaKM #android #concurrent #detection

Race detection for Android applications (PM, AK, RM), p. 34.

PLDI-2014-HsiaoPYPNCKF #concurrent #detection #mobile

Race detection for event-driven mobile applications (CHH, CP, JY, GP, SN, PMC, ZK, JF), p. 35.

PLDI-2014-HuangMR #abstraction #concurrent #control flow #detection #predict

Maximal sound predictive race detection with control flow abstraction (JH, POM, GR), p. 36.

PLDI-2014-DavidY #bytecode #code search

Tracelet-based code search in executables (YD, EY), p. 37.

PLDI-2014-PombrioK #evaluation #named #sequence

Resugaring: lifting evaluation sequences through syntactic sugar (JP, SK), p. 38.

PLDI-2014-HanxledenDMSMAMO #named #safety

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts (RvH, BD, CM, SS, MM, JA, SM, OO), p. 39.

PLDI-2014-DAntoniVLM #named #performance #transducer

Fast: a transducer-based language for tree manipulation (LD, MV, BL, DM), p. 40.

PLDI-2014-Misra #concurrent

A personal perspective on concurrency (JM), p. 41.

PLDI-2014-PhothilimthanaJSTCB #architecture #compilation #named #power management

Chlorophyll: synthesis-aided compiler for low-power spatial architectures (PMP, TJ, RS, NT, SC, RB), p. 42.

PLDI-2014-PerelmanGGP #synthesis #testing

Test-driven synthesis (DP, SG, DG, PP), p. 43.

PLDI-2014-RaychevVY #code completion #modelling #statistics

Code completion with statistical language models (VR, MTV, EY), p. 44.

PLDI-2014-GreenawayLAK #c #verification

Don’t sweat the small stuff: formal verification of C code without the pain (DG, JL, JA, GK), p. 45.

PLDI-2014-PekQM #c #data type #logic #proving #using

Natural proofs for data structure manipulation in C using separation logic (EP, XQ, PM), p. 46.

PLDI-2014-RickettsRJTL #automation #proving

Automating formal proofs for reactive systems (DR, VR, DJ, ZT, SL), p. 47.

PLDI-2014-XiaoZZZ #persistent #pointer

Persistent pointer information (XX, QZ, JZ, CZ), p. 48.

PLDI-2014-OhLHYY #context-sensitive grammar

Selective context-sensitivity guided by impact pre-analysis (HO, WL, KH, HY, KY), p. 49.

PLDI-2014-SmaragdakisKB #analysis #context-sensitive grammar

Introspective analysis: context-sensitivity, across the board (YS, GK, GB), p. 50.

PLDI-2014-AhnCSGT #javascript #performance #type system

Improving JavaScript performance by deconstructing the type system (WA, JC, TS, MJG, JT), p. 51.

PLDI-2014-VilkB #named

Doppio: breaking the browser language barrier (JV, EDB), p. 52.

PLDI-2014-LuJS #parallel #scripting language

Dynamic enforcement of determinism in a parallel scripting language (LL, WJ, MLS), p. 53.

PLDI-2014-TorlakB #lightweight #virtual machine

A lightweight symbolic virtual machine for solver-aided host languages (ET, RB), p. 54.

PLDI-2014-LeG #framework #named

FlashExtract: a framework for data extraction by examples (VL, SG), p. 55.

PLDI-2014-SousaDVDG #query

Consolidation of queries with user-defined functions (MS, ID, DV, TD, CG), p. 56.

PLDI-2014-LuuSSD #bound #constraints #string

A model counter for constraints over unbounded strings (LL, SS, PS, BD), p. 57.

PLDI-2014-NiuT #composition #control flow

Modular control-flow integrity (BN, GT), p. 58.

PLDI-2014-YangM #haskell

Dynamic space limits for Haskell (EZY, DM), p. 59.