| 2013 | MrCrypt: static analysis for secure cloud computations. | Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein |
| 2013 | Migration from deprecated API in Java. | Roman Strobl, Zdenek Troncek |
| 2013 | Befactoring: preserving non-functional properties under behavioural change. | Friedrich Steimann |
| 2013 | Content over container: object-oriented programming with multiplicities. | Friedrich Steimann |
| 2013 | Sensors, actuators and services: a distributed approach. | Tiago Boldt Sousa |
| 2013 | Open pattern matching for C++. | Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup |
| 2013 | PyLOM: a language and run-time system for planning applications. | Scotty Smith, Gedare Bloom, Rahul Simha |
| 2013 | PyLOM: an interpreted language for planning applications. | Scotty Smith |
| 2013 | Set-based pre-processing for points-to analysis. | Yannis Smaragdakis, George Balatsouras, George Kastrinis |
| 2013 | Code optimizations using formally verified properties. | Yao Shi, Bernard Blackham, Gernot Heiser |
| 2013 | Do computer programs have to be as dumb as they are?: input-centric dynamic program optimizations. | Xipeng Shen |
| 2013 | A secure play store for android. | Feng Shen |
| 2013 | Automated assessment of students' testing skills for improving correctness of their code. | Zalia Shams |
| 2013 | Taking off the gloves with reference counting Immix. | Rifat Shahriyar, Stephen M. Blackburn, Xi Yang, Kathryn S. McKinley |
| 2013 | Producing and delivering a coursera MOOC on pattern-oriented software architecture for concurrent and networked software. | Douglas C. Schmidt, Zach McCormick |
| 2013 | Characteristics of dynamic JVM languages. | Aibek Sarimbekov, Andrej Podzimek, Lubomr Bulej, Yudi Zheng, Nathan P. Ricci, Walter Binder |
| 2013 | Interacting with dead objects. | Robin Salkeld, Gregor Kiczales |
| 2013 | On the way of bottom-up designing textual domain-specific modelling languages. | Bastian Roth, Matthias Jahn, Stefan Jablonski |
| 2013 | What's wrong with git?: a conceptual design analysis. | Santiago Perez De Rosso, Daniel Jackson |
| 2013 | Flexible access control for javascript. | Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek |
| 2013 | Concurrent object-oriented programming with agents. | Alessandro Ricci, Andrea Santi |
| 2013 | Conversational programming: exploring interactive program analysis. | Alexander Repenning |
| 2013 | Client-aware checking and information hiding in interface specifications with JML/ajmlc. | Henrique Reblo, Gary T. Leavens, Ricardo Massa Ferreira Lima |
| 2013 | Identifying and specifying crosscutting contracts with AspectJML. | Henrique Reblo |
| 2013 | Effective race detection for event-driven programs. | Veselin Raychev, Martin T. Vechev, Manu Sridharan |