| 2014 | ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM. Keval Vora, Sai Charan Koduru, Rajiv Gupta |
| 2014 | Abstract semantic differencing via speculative correlation. Nimrod Partush, Eran Yahav |
| 2014 | Accelerating iterators in optimizing AST interpreters. Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz |
| 2014 | Adaptive LL(*) parsing: the power of dynamic analysis. Terence Parr, Sam Harwell, Kathleen Fisher |
| 2014 | Alembic: automatic locality extraction via migration. Brandon Holt, Preston Briggs, Luis Ceze, Mark Oskin |
| 2014 | An experimental survey of energy management across the stack. Melanie Kambadur, Martha A. Kim |
| 2014 | Atlas: leveraging locks for non-volatile memory consistency. Dhruva R. Chakrabarti, Hans-Juergen Boehm, Kumud Bhandari |
| 2014 | Automated migration of build scripts using dynamic analysis and search-based refactoring. Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits |
| 2014 | Bounded exhaustive test input generation from hybrid invariants. Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid |
| 2014 | Call sequence prediction through probabilistic calling automata. Zhijia Zhao, Bo Wu, Mingzhou Zhou, Yufei Ding, Jianhua Sun, Xipeng Shen, Youfeng Wu |
| 2014 | CheckCell: data debugging for spreadsheets. Daniel W. Barowy, Dimitar Gochev, Emery D. Berger |
| 2014 | Checking correctness of TypeScript interfaces for JavaScript libraries. Asger Feldthaus, Anders Møller |
| 2014 | Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard |
| 2014 | Compiler verification meets cross-language linking via data abstraction. Peng Wang, Santiago Cuéllar, Adam Chlipala |
| 2014 | Confined gradual typing. Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter |
| 2014 | Continuously measuring critical section pressure with the free-lunch profiler. Florian David, Gaël Thomas, Julia Lawall, Gilles Muller |
| 2014 | Cybertron: pushing the limit on I/O reduction in data-parallel programs. Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou |
| 2014 | Determinacy in static analysis for jQuery. Esben Andreasen, Anders Møller |
| 2014 | Distributed REScala: an update algorithm for distributed reactive programming. Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini |
| 2014 | Efficient subcubic alias analysis for C. Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su |
| 2014 | EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation. Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen |
| 2014 | Fast conservative garbage collection. Rifat Shahriyar, Stephen M. Blackburn, Kathryn S. McKinley |
| 2014 | Fast splittable pseudorandom number generators. Guy L. Steele Jr., Doug Lea, Christine H. Flood |
| 2014 | Finding minimum type error sources. Zvonimir Pavlinovic, Tim King, Thomas Wies |
| 2014 | Flint: fixing linearizability violations. Peng Liu, Omer Tripp, Xiangyu Zhang |
| 2014 | Foundations of path-dependent types. Nada Amin, Tiark Rompf, Martin Odersky |
| 2014 | From object algebras to attribute grammars. Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann |
| 2014 | GPS: navigating weak memory with ghosts, protocols, and separation. Aaron Turon, Viktor Vafeiadis, Derek Dreyer |
| 2014 | Late data layout: unifying data representation transformations. Vlad Ureche, Eugene Burmako, Martin Odersky |
| 2014 | MIX10: compiling MATLAB to X10 for high performance. Vineet Kumar, Laurie J. Hendren |
| 2014 | Multithreaded test synthesis for deadlock detection. Malavika Samak, Murali Krishna Ramanathan |
| 2014 | Natural proofs for asynchronous programs using almost-synchronous reductions. Ankush Desai, Pranav Garg, P. Madhusudan |
| 2014 | Phosphor: illuminating dynamic data flow in commodity jvms. Jonathan Bell, Gail E. Kaiser |
| 2014 | Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014 Andrew P. Black, Todd D. Millstein |
| 2014 | Rate types for stream programs. Thomas Bartenstein, Yu David Liu |
| 2014 | Refactoring Java generics by inferring wildcards, in practice. John Altidor, Yannis Smaragdakis |
| 2014 | Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host. Eric Holk, Ryan Newton, Jeremy G. Siek, Andrew Lumsdaine |
| 2014 | Rubah: DSU for Java on a stock JVM. Luís Pina, Luís Veiga, Michael W. Hicks |
| 2014 | Smten with satisfiability-based search. Richard Uhler, Nirav Dave |
| 2014 | Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations. Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Graham Yiu |
| 2014 | Staged parser combinators for efficient data processing. Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky |
| 2014 | Static analysis for independent app developers. Lucas Brutschy, Pietro Ferrara, Peter Müller |
| 2014 | Statistical debugging for real-world performance problems. Linhai Song, Shan Lu |
| 2014 | StreamJIT: a commensal compiler for high-performance stream programming. Jeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman P. Amarasinghe |
| 2014 | SurveyMan: programming and automatically debugging surveys. Emma Tosch, Emery D. Berger |
| 2014 | Symbolic execution of multithreaded programs from arbitrary program contexts. Tom Bergan, Dan Grossman, Luis Ceze |
| 2014 | Tardis: affordable time-travel debugging in managed runtimes. Earl T. Barr, Mark Marron |
| 2014 | The hiphop virtual machine. Keith Adams, Jason Evans, Bertrand Maher, Guilherme Ottoni, Andrew Paroski, Brett Simmers, Edwin Smith, Owen Yamauchi |
| 2014 | Translating imperative code to MapReduce. Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan |
| 2014 | Understanding energy behaviors of thread management constructs. Gustavo Pinto, Fernando Castor, Yu David Liu |
| 2014 | Using web corpus statistics for program analysis. Chun-Hung Hsiao, Michael J. Cafarella, Satish Narayanasamy |
| 2014 | Validation of memory accesses through symbolic analyses. Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira |
| 2014 | i3QL: language-integrated live data views. Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi |