| 2013 | Game programming by demonstration. | Mikal Mayer, Viktor Kuncak |
| 2013 | MDE-based sensor management and verification for a self-driving miniature vehicle. | Md. Abdullah Al Mamun, Christian Berger, Jrgen Hansson |
| 2013 | Source code management for projectional editing. | David H. Lorenz, Boaz Rosenan |
| 2013 | Steering symbolic execution to less traveled paths. | You Li, Zhendong Su, Linzhang Wang, Xuandong Li |
| 2013 | Panini: a capsule-oriented programming language for implicitly concurrent program design. | Eric Lin, Hridesh Rajan |
| 2013 | Hardware and software support for fine-grained memory access control and encapsulation in C++. | Eugen Leontie, Gedare Bloom, Rahul Simha |
| 2013 | VM-level memory monitoring for resolving performance problems. | Philipp Lengauer |
| 2013 | Orchestrating mobile application execution for performance and energy efficiency. | Young-Woo Kwon |
| 2013 | Effective fusion and separation of distribution, fault-tolerance, and energy-efficiency concerns. | Young-Woo Kwon |
| 2013 | Should software conferences respect software? | Shriram Krishnamurthi, James Noble, Jan Vitek |
| 2013 | Synthesis modulo recursive functions. | Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter |
| 2013 | Can undergraduates script their own refactorings? | Jongwook Kim, Don S. Batory, Danny Dig |
| 2013 | The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing. | Aman Kansal, T. Scott Saponas, A. J. Bernheim Brush, Kathryn S. McKinley, Todd Mytkowicz, Ryder Ziola |
| 2013 | Implementing a scripting language parser with self-extensible syntax. | Masahiro Ide |
| 2013 | On testing the source compatibility in Java. | Jan Hbl, Zdenek Troncek |
| 2013 | Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management. | Jipeng Huang, Michael D. Bond |
| 2013 | Do developers benefit from generic types?: an empirical comparison of generic and raw types in java. | Michael Hoppe, Stefan Hanenberg |
| 2013 | Cloud twin: interactive cross-platform replay for mobile applications. | Ethan Holder |
| 2013 | River trail: a path to parallelism in JavaScript. | Stephan Herhut, Richard L. Hudson, Tatiana Shpeisman, Jaswanth Sreeram |
| 2013 | OpenRefactory/C: an infrastructure for building correct and complex C transformations. | Munawar Hafiz, Jeffrey Overbey, Farnaz Behrang, Jillian Hall |
| 2013 | Finding the missing eclipse perspective: the runtime perspective. | Andrew Giang, Marwan Abi-Antoun |
| 2013 | Forsaking inheritance: supercharged delegation in DelphJ. | Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis |
| 2013 | Dictionary-based query recommendation for local code search. | Xi Ge |
| 2013 | Dictionary-based query recommendation for local code search. | Xi Ge |
| 2013 | TruSSCom: proposal for trustworthy service representation, selection and negotiation for integrating software systems. | Lahiru S. Gallege |