Proceedings of the 35th Conference on Programming Language Design and Implementation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.