| 2014 | Wearable-based Mobile App for Decision Making: The Case of a Safe Workplace. | Yael Dubinsky, Lior Limonad, Nir Mashkif |
| 2014 | Distributed REScala: an update algorithm for distributed reactive programming. | Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini |
| 2014 | EUKLAS: Supporting Copy-and-Paste Strategies for Integrating Example Code. | Christian Drner, Andrew Faulring, Brad A. Myers |
| 2014 | Diagnosing degenerate forms in software. | Brian S. Dillon |
| 2014 | How Mobile Affects Business Processes?: The Research Perspective. | Danny Dig, Aharon Abadi |
| 2014 | Natural proofs for asynchronous programs using almost-synchronous reductions. | Ankush Desai, Pranav Garg, P. Madhusudan |
| 2014 | Continuously measuring critical section pressure with the free-lunch profiler. | Florian David, Gal Thomas, Julia Lawall, Gilles Muller |
| 2014 | Unifying Textual and Visual: A Theoretical Account of the Visual Perception of Programming Languages. | Stphane Conversy |
| 2014 | Considering Productivity Effects of Explicit Type Declarations. | Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine |
| 2014 | Language-based capabilities. | Stephen Chong |
| 2014 | Atlas: leveraging locks for non-volatile memory consistency. | Dhruva R. Chakrabarti, Hans-Juergen Boehm, Kumud Bhandari |
| 2014 | TouchGuru: Integrating Static Analysis with a Mobile Development Environment. | Lucas Brutschy, Pietro Ferrara, Peter Mller |
| 2014 | Static analysis for independent app developers. | Lucas Brutschy, Pietro Ferrara, Peter Mller |
| 2014 | StreamJIT: a commensal compiler for high-performance stream programming. | Jeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman P. Amarasinghe |
| 2014 | 2nd workshop on programming for mobile and touch: PROMOTO 2014. | Judith Bishop, Arno Puder, Nikolai Tillmann |
| 2014 | Symbolic execution of multithreaded programs from arbitrary program contexts. | Tom Bergan, Dan Grossman, Luis Ceze |
| 2014 | Phosphor: illuminating dynamic data flow in commodity jvms. | Jonathan Bell, Gail E. Kaiser |
| 2014 | Rate types for stream programs. | Thomas Bartenstein, Yu David Liu |
| 2014 | Tardis: affordable time-travel debugging in managed runtimes. | Earl T. Barr, Mark Marron |
| 2014 | CheckCell: data debugging for spreadsheets. | Daniel W. Barowy, Dimitar Gochev, Emery D. Berger |
| 2014 | Determinacy in static analysis for jQuery. | Esben Andreasen, Anders Mller |
| 2014 | Foundations of path-dependent types. | Nada Amin, Tiark Rompf, Martin Odersky |
| 2014 | Refactoring Java generics by inferring wildcards, in practice. | John Altidor, Yannis Smaragdakis |
| 2014 | Confined gradual typing. | Esteban Allende, Johan Fabry, Ronald Garcia, ric Tanter |
| 2014 | The hiphop virtual machine. | Keith Adams, Jason Evans, Bertrand Maher, Guilherme Ottoni, Andrew Paroski, Brett Simmers, Edwin Smith, Owen Yamauchi |