| 2014 | A framework for enhancing data reuse via associative reordering. Kevin Stock, Martin Kong, Tobias Grosser, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan |
| 2014 | A lightweight symbolic virtual machine for solver-aided host languages. Emina Torlak, Rastislav Bodík |
| 2014 | A model counter for constraints over unbounded strings. Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky |
| 2014 | A personal perspective on concurrency. Jayadev Misra |
| 2014 | A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation. Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann |
| 2014 | ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014 Michael F. P. O'Boyle, Keshav Pingali |
| 2014 | Accurate application progress analysis for large-scale parallel debugging. Subrata Mitra, Ignacio Laguna, Dong H. Ahn, Saurabh Bagchi, Martin Schulz, Todd Gamblin |
| 2014 | Adaptive, efficient, parallel execution of parallel programs. Srinath Sridharan, Gagan Gupta, Gurindar S. Sohi |
| 2014 | Adapton: composable, demand-driven incremental computation. Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster |
| 2014 | Atomicity refinement for verified compilation. Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte |
| 2014 | Automatic runtime error repair and containment via recovery shepherding. Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard |
| 2014 | Automating formal proofs for reactive systems. Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner |
| 2014 | Chlorophyll: synthesis-aided compiler for low-power spatial architectures. Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah E. Chasins, Rastislav Bodík |
| 2014 | Code completion with statistical language models. Veselin Raychev, Martin T. Vechev, Eran Yahav |
| 2014 | Commutativity race detection. Dimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen |
| 2014 | Compiler validation via equivalence modulo inputs. Vu Le, Mehrdad Afshari, Zhendong Su |
| 2014 | Compiler-assisted detection of transient memory errors. Sanket Tavarageri, Sriram Krishnamoorthy, P. Sadayappan |
| 2014 | Compositional solution space quantification for probabilistic software analysis. Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser |
| 2014 | Consolidation of queries with user-defined functions. Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis |
| 2014 | Don't sweat the small stuff: formal verification of C code without the pain. David Greenaway, Japheth Lim, June Andronick, Gerwin Klein |
| 2014 | Doppio: breaking the browser language barrier. John Vilk, Emery D. Berger |
| 2014 | DoubleChecker: efficient sound and precise atomicity checking. Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond |
| 2014 | Dynamic enforcement of determinism in a parallel scripting language. Li Lu, Weixing Ji, Michael L. Scott |
| 2014 | Dynamic space limits for Haskell. Edward Z. Yang, David Mazières |
| 2014 | End-to-end verification of stack-space bounds for C programs. Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro, Zhong Shao |
| 2014 | Expressing and verifying probabilistic assertions. Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze |
| 2014 | Fast: a transducer-based language for tree manipulation. Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar |
| 2014 | First-class runtime generation of high-performance types using exotypes. Zachary DeVito, Daniel Ritchie, Matthew Fisher, Alex Aiken, Pat Hanrahan |
| 2014 | FlashExtract: a framework for data extraction by examples. Vu Le, Sumit Gulwani |
| 2014 | FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick D. McDaniel |
| 2014 | Getting F-bounded polymorphism into shape. Ben Greenman, Fabian Muehlboeck, Ross Tate |
| 2014 | Globally precise-restartable execution of parallel programs. Gagan Gupta, Srinath Sridharan, Gurindar S. Sohi |
| 2014 | Herding cats: modelling, simulation, testing, and data-mining for weak memory. Jade Alglave, Luc Maranget, Michael Tautschnig |
| 2014 | Hybrid top-down and bottom-up interprocedural analysis. Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang |
| 2014 | Improving JavaScript performance by deconstructing the type system. Wonsun Ahn, Jiho Choi, Thomas Shull, María Jesús Garzarán, Josep Torrellas |
| 2014 | Introspective analysis: context-sensitivity, across the board. Yannis Smaragdakis, George Kastrinis, George Balatsouras |
| 2014 | Laws of concurrent programming. Tony Hoare |
| 2014 | Maximal sound predictive race detection with control flow abstraction. Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu |
| 2014 | Modular control-flow integrity. Ben Niu, Gang Tan |
| 2014 | Natural proofs for data structure manipulation in C using separation logic. Edgar Pek, Xiaokang Qiu, P. Madhusudan |
| 2014 | On abstraction refinement for program analyses in Datalog. Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang |
| 2014 | Optimal inference of fields in row-polymorphic records. Axel Simon |
| 2014 | Persistent pointer information. Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang |
| 2014 | Race detection for Android applications. Pallavi Maiya, Aditya Kanade, Rupak Majumdar |
| 2014 | Race detection for event-driven mobile applications. Chun-Hung Hsiao, Cristiano Pereira, Jie Yu, Gilles Pokam, Satish Narayanasamy, Peter M. Chen, Ziyun Kong, Jason Flinn |
| 2014 | Resugaring: lifting evaluation sequences through syntactic sugar. Justin Pombrio, Shriram Krishnamurthi |
| 2014 | SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien |
| 2014 | Selective context-sensitivity guided by impact pre-analysis. Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi |
| 2014 | Slicing probabilistic programs. Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel |
| 2014 | Specialization slicing. Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps |
| 2014 | Stochastic optimization of floating-point programs with tunable precision. Eric Schkufza, Rahul Sharma, Alex Aiken |
| 2014 | Surgical precision JIT compilers. Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun |
| 2014 | Taming the parallel effect zoo: extensible deterministic parallelism with LVish. Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton |
| 2014 | Test-driven repair of data races in structured parallel programs. Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John M. Mellor-Crummey, Vivek Sarkar |
| 2014 | Test-driven synthesis. Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost |
| 2014 | Tracelet-based code search in executables. Yaniv David, Eran Yahav |
| 2014 | VeriCon: towards verifying controller programs in software-defined networks. Thomas Ball, Nikolaj S. Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky |
| 2014 | Verification modulo versions: towards usable verification. Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear |
| 2014 | What exactly is inexact computation good for? Krishna V. Palem |
| 2014 | Æminium: a permission based concurrent-by-default programming language approach. Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich |