| 2014 | Maximal sound predictive race detection with control flow abstraction. | Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu |
| 2014 | Co-dfns: Ancient Language, Modern Compiler. | Aaron W. Hsu |
| 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 | Laws of concurrent programming. | Tony Hoare |
| 2014 | Bounds Checking: An Instance of Hybrid Analysis. | Troels Henriksen, Cosmin E. Oancea |
| 2014 | SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. | Reinhard von Hanxleden, Bjrn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaqun Aguado, Stephen Mercer, Owen O'Brien |
| 2014 | Adapton: composable, demand-driven incremental computation. | Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster |
| 2014 | Globally precise-restartable execution of parallel programs. | Gagan Gupta, Srinath Sridharan, Gurindar S. Sohi |
| 2014 | Supporting Array Programming in X10. | David Grove, Josh Milthorpe, Olivier Tardieu |
| 2014 | Getting F-bounded polymorphism into shape. | Ben Greenman, Fabian Muehlboeck, Ross Tate |
| 2014 | Don't sweat the small stuff: formal verification of C code without the pain. | David Greenaway, Japheth Lim, June Andronick, Gerwin Klein |
| 2014 | O-structures: semantics for versioned memory. | Eran Gilad, Eric W. Mackay, Mark Oskin, Yoav Etsion |
| 2014 | Affinity-based hash tables. | Brian Gernhardt, Rahman Lavaee, Chen Ding |
| 2014 | Just-in-time shape inference for array-based languages. | Rahul Garg, Laurie J. Hendren |
| 2014 | Falsifiability of network security research: the good, the bad, and the ugly. | Dennis Gamayunov |
| 2014 | Community-driven reviewing and validation of publications. | Grigori Fursin, Christophe Dubach |
| 2014 | A Composable Array Function Interface for Heterogeneous Computing in Java. | Juan Jos Fumero, Michel Steuwer, Christophe Dubach |
| 2014 | Compiling a Subset of APL Into a Typed Intermediate Language. | Martin Elsman, Martin Dybdal |
| 2014 | A software product line for static analyses: the OPAL framework. | Michael Eichberg, Ben Hermann |
| 2014 | Commutativity race detection. | Dimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen |
| 2014 | First-class runtime generation of high-performance types using exotypes. | Zachary DeVito, Daniel Ritchie, Matthew Fisher, Alex Aiken, Pat Hanrahan |
| 2014 | Tracelet-based code search in executables. | Yaniv David, Eran Yahav |
| 2014 | Fast: a transducer-based language for tree manipulation. | Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar |
| 2014 | NOVA: A Functional Language for Data Parallelism. | Alexander Collins, Dominik Grewe, Vinod Grover, Sean Lee, Adriana Susnea |
| 2014 | End-to-end verification of stack-space bounds for C programs. | Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro, Zhong Shao |