Links to accepted papers for the 35th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2014).
(You may also be interested in ICFP 2014 accepted papers.)
Status of links at last commit:
-
Adaptive, Efficient Parallel Execution of Parallel Programs
(paper)
by Srinath Sridharan, Gagan Gupta and Gurindar Sohi -
Doppio: Breaking the Browser Language Barrier
(paper)
by John Vilk and Emery Berger -
Expressing and Verifying Probabilistic Assertions
(paper)
by Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman and Luis Ceze -
Modular Control-Flow Integrity
(paper)
by Ben Niu and Gang Tan -
Don't Sweat the Small Stuff: Formal Verification of C Code Without the Pain
(paper)
by David Greenaway, Japheth Lim, June Andronick and Gerwin Klein -
Test-Driven Synthesis
(paper)
by Daniel Perelman, Sumit Gulwani, Dan Grossman and Peter Provost -
Compiler-Assisted Detection of Transient Memory Errors
by Sanket Tavarageri, Sriram Krishnamoorthy and P Sadayappan -
FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps
(paper)
by Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves le Traon, Damien Octeau and Patrick McDaniel -
Dynamic Enforcement of Determinism in a Parallel Scripting Language
(paper)
by Li Lu, Weixing Ji and Michael Scott -
End-to-End Verification of Stack-Space Bounds for C Programs
(paper)
by Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro and Zhong Shao -
Stochastic Optimization of Floating Point Programs using Tunable Precision
(paper)
by Eric Schkufza, Rahul Sharma and Alex Aiken -
Slicing Probabilistic Programs
(paper)
by Chung-Kil Hur, Aditya Nori, Sriram Rajamani and Selva Samuel -
A Theory of Changes for Higher-Order Languages — Incrementalizing λ-Calculi by Static Differentiation
(paper)
by Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel and Klaus Ostermann -
Program Consolidation
(paper)
by Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig and Christos Gkantsidis -
Globally Precise-restartable Execution of Parallel Programs
(paper)
by Gagan Gupta, Srinath Sridharan and Gurindar S. Sohi -
First-class Runtime Generation of High-performance Types using Exotypes
(paper)
by Zachary DeVito, Daniel Ritchie, Matt Fisher, Alex Aiken and Pat Hanrahan -
Getting F-Bounded Polymorphism Back into Shape
(paper)
by Benjamin Lee Greenman, Fabian Muehlboeck and Ross Tate -
Fast: a Transducer-Based Language for Tree Manipulation
(paper)
by Loris D'Antoni, Margus Veanes, Benjamin Livshits and David Molnar -
SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications
(paper)
by Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer and Owen O'Brien -
Race Detection for Android Applications
(paper)
by Pallavi Maiya, Aditya Kanade and Rupak Majumdar -
Taming the Parallel Effect Zoo: Extensible Deterministic Parallelism with Lvish
(paper)
by Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt and Ryan R. Newton -
Optimal Inference of Fields in Row-Polymorphic Records
(paper)
by Axel Simon -
Persistent Pointer Information
(paper)
by Xiao Xiao, Jinguo Zhou, Charles Zhang and Qirun Zhang -
Maximal Sound Predictive Race Detection With Control Flow Abstraction
(no preprint found)
by Jeff Huang, Patrick O'Neil Meredith and Grigore Rosu -
Surgical Precision JIT Compilers
(no preprint found)
by Tiark Rompf, Arvind K Sujeeth, Kevin J Brown, HyoukJoong Lee, Hassan Chafi and Kunle Olukotun -
VeriCon: Towards Verifying Controller Programs in Software-Defined Networks
(paper)
by Thomas Ball, Nikolaj Bjorner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira and Asaf Valadarsky -
Selective Context-Sensitivity Guided by Impact Pre-Analysis
(paper)
by Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang and Kwangkeun Yi -
Lifting Reduction Semantics through Syntactic Sugar
(paper)
by Justin Pombrio and Shriram Krishnamurthi -
Introspective Analysis: Context-Sensitivity, Across the Board
(paper)
by Yannis Smaragdakis, George Kastrinis and George Balatsouras -
Code Completion with Statistical Language Models
(paper)
by Veselin Raychev, Martin Vechev and Eran Yahav -
Commutativity Race Detection
(paper)
by Dimitar Dimitrov, Veselin Raychev, Martin Vechev and Eric Koskinen -
DoubleChecker: Efficient Sound and Precise Atomicity Checking
(paper)
by Swarnendu Biswas, Jipeng Huang, Aritra Sengupta and Michael D. Bond -
Adapton: Composable, Demand-Driven Incremental Computation
(paper)
by Matthew A. Hammer, Yit Phang Khoo, Michael Hicks and Jeffrey S. Foster -
Natural Proofs for Data-structure Manipulation in C
(paper)
by Edgar Pek, Xiaokang Qiu and Madhusudan Parthasarathy -
Verification Modulo Versions: Towards Usable Verification
(paper)
by Francesco Logozzo, Manuel Fahndrich, Shuvendu Lahiri and Sam Blackshear -
On Abstraction Refinement for Program Analyses in Datalog
(paper)
by Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik and Hongseok Yang -
Hybrid Top-down and Bottom-up Interprocedural Analysis
(paper)
by Xin Zhang, Ravi Mangal, Mayur Naik and Hongseok Yang -
Compositional Solution Space Quantification for Probabilistic Software Analysis
(paper)
by Mateus Borges, Marcelo D'Amorim, Corina S. Pasareanu and Willem Visser -
Race Detection for Event-Driven Mobile Applications
(paper)
by Chun-Hung Hsiao, Jie Yu, Satish Narayanasamy, Ziyun Kong, Cristiano L Pereira, Gilles A Pokam, Peter Chen and Jason Flinn -
A Model Counter For Constraints Over Unbounded Strings
(paper)
by Loi Luu, Shweta Shinde, Prateek Saxena and Brian Demsky -
Improving JavaScript Performance Through Predictable Type Specialization
(paper)
by Wonsun Ahn, Jiho Choi, Thomas Shull, Maria Garzaran and Josep Torrellas -
FlashExtract: A Framework for Data Extraction by Examples
(paper)
by Vu Le and Sumit Gulwani -
Compiler Validation via Equivalence Modulo Inputs
(paper)
by Vu Le, Mehrdad Afshari and Zhendong Su -
Test Driven Repair of Data Races in Structured Parallel Programs
(paper)
by Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John Mellor-Crummey and Vivek Sarkar -
Accurate Application Progress Analysis for Large-Scale Parallel Debugging
(paper)
by Subrata Mitra, Ignacio Laguna, Dong H. Ahn, Saurabh Bagchi, Martin Schulz and Todd Gamblin -
Automatic Runtime Error Repair and Containment via Recovery Shepherding
(paper)
by Fan Long, Stelios Sidiroglou-Douskos and Martin Rinard -
Automating Formal Proofs for Reactive Systems
(paper)
by Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock and Sorin Lerner -
Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures
(paper)
by Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah Chasins and Rastislav Bodik -
A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages
(paper)
by Emina Torlak and Ras Bodik -
Resource Limits for Haskell
(paper)
by Edward Z. Yang and David Mazières -
A Framework for Enhancing Data Reuse via Associative Reordering
(preprint)
by Kevin Stock, Louis-noël Pouchet, Fabrice Rastello, J. Ramanujam and P. Sadayappan -
Tracelet-Based Code Search in Executables
(paper)
by Yaniv David and Eran Yahav
Accepted papers for ACM Transactions on Programming Languages and Systems (TOPLAS).
-
AEminium: a permission based concurrent-by-default programming language approach
(paper)
by Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr and Alcides Fonseca -
Specialization Slicing
(paper)
by Min Aung and Susan Horwitz -
Atomicity Refinement for Verified Compilation
(paper)
by Suresh Jagannathan, Vincent Laporte and Gustavo Petri -
Herding cats: Modelling, simulation, testing, and data-mining for weak memory
(paper)
by Jade Alglave and Luc Maranget