| 2013 | Refactoring with synthesis. | Veselin Raychev, Max Schfer, Manu Sridharan, Martin T. Vechev |
| 2013 | Multiverse: efficiently supporting distributed high-level speculation. | Kaushik Ravichandran, Santosh Pande |
| 2013 | Python: the full monty. | Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi |
| 2013 | What programmers say about refactoring tools?: an empirical investigation of stack overflow. | Gustavo H. L. Pinto, Fernando Kamei |
| 2013 | On the implications of language constructs for concurrent execution in the energy efficiency of multicore applications. | Gustavo Pinto, Fernando Castor |
| 2013 | Do language constructs for concurrent execution have impact on energy efficiency? | Gustavo Pinto |
| 2013 | Refactoring multicore applications towards energy efficiency. | Gustavo Pinto |
| 2013 | Upgrading fortran source code using automatic refactoring. | Dominic A. Orchard, Andrew C. Rice |
| 2013 | Structured statistical syntax tree prediction. | Cyrus Omar |
| 2013 | KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework. | Yoshiki Ohshima, Aran Lunzer, Bert Freudenberg, Ted Kaehler |
| 2013 | CSI: crash scene investigation. | Peter Ohmann |
| 2013 | CDSchecker: checking concurrent data structures written with C/C++ atomics. | Brian Norris, Brian Demsky |
| 2013 | Online feedback-directed optimizations for parallel Java code. | Albert Noll, Thomas R. Gross |
| 2013 | Generating a ROS/JAUS bridge for an autonomous ground vehicle. | Patrick Morley, Alex Warren, Ethan Rabb, Sean Whitsitt, Matt Bunting, Jonathan Sprinkle |
| 2013 | On-the-fly capacity planning. | Nick Mitchell, Peter F. Sweeney |
| 2013 | Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. | Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky |
| 2013 | Model-based, event-driven programming paradigm for interactive web applications. | Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov |
| 2013 | Towards domain-specific property languages: the ProMoBox approach. | Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil |
| 2013 | Empirical analysis of programming language adoption. | Leo A. Meyerovich, Ariel S. Rabkin |
| 2013 | Ultimate architecture enforcement: custom checks enforced at code-commit time. | Paulo Merson |
| 2013 | On the customization of model management systems for file-centric IDEs. | David Mndez-Acua, Rubby Casallas, Anne Etien |
| 2013 | The yin and yang of hardware heterogeneity: can software survive? | Kathryn S. McKinley |
| 2013 | Usable live programming. | Sean McDirmid |
| 2013 | Building connections between theories of computing and physical systems. | Eric L. McCorkle |
| 2013 | Towards automated cross-language refactorings between Java and DSLs used by Java frameworks. | Philip Mayer, Andreas Schroeder |