| 2010 | Contract-Based Data Structure Repair Using Alloy. | Razieh Nokhbeh Zaeem, Sarfraz Khurshid |
| 2010 | Improving aspect-oriented programming with dynamic code evolution in an enhanced Java virtual machine. | Thomas Wrthinger, Walter Binder, Danilo Ansaloni, Philippe Moret, Hanspeter Mssenbck |
| 2010 | ContextLua: dynamic behavioral variations in computer games. | Benjamin Wasty, Amir Semmo, Malte Appeltauer, Bastian Steinert, Robert Hirschfeld |
| 2010 | A Type System for Data-Centric Synchronization. | Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek |
| 2010 | Verifying Generics and Delegates. | Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |
| 2010 | Using reified contextual information for safe run-time adaptation of software product lines. | Sagar Sunkle, Mario Pukall |
| 2010 | Towards a semantic model for Java wildcards. | Alexander J. Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou |
| 2010 | Verifying Executable Object-Oriented Specifications with Separation Logic. | Stephan van Staden, Cristiano Calcagno, Bertrand Meyer |
| 2010 | Procedure-modular verification of control flow safety properties. | Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
| 2010 | Refactoring and representation independence for class hierarchies: extended abstract. | Leila Silva, David A. Naumann, Augusto Sampaio |
| 2010 | A graph-based operational semantics for context-oriented programming. | Hans Schippers, Tim Molderez, Dirk Janssens |
| 2010 | JCoBox: Generalizing Active Objects to Concurrent Components. | Jan Schfer, Arnd Poetzsch-Heffter |
| 2010 | Correct Refactoring of Concurrent Java Code. | Max Schfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip |
| 2010 | Falling Back on Executable Specifications. | Hesam Samimi, Ei Darli Aung, Todd D. Millstein |
| 2010 | Efficient compilation of .NET programs for embedded systems. | Olivier Sallenave, Roland Ducournau |
| 2010 | A theory of typestate-oriented programming. | Darpan Saini, Joshua Sunshine, Jonathan Aldrich |
| 2010 | Embedding Languages without Breaking Tools. | Lukas Renggli, Tudor Grba, Oscar Nierstrasz |
| 2010 | The Cartesian approach to context. | John Plaice, Blanca Mancilla |
| 2010 | Reasoning about the Implementation of Concurrency Abstractions on x86-TSO. | Scott Owens |
| 2010 | Self-Replicating Objects for Multicore Platforms. | Krzysztof Ostrowski, Chuck Sakoda, Ken Birman |
| 2010 | Tackling pointcut fragility with dynamic annotations. | Carlos Noguera, Andy Kellens, Dirk Deridder, Theo D'Hondt |
| 2010 | Empirical assessment of C++-like implementations for multiple inheritance. | Floral Morandat, Roland Ducournau |
| 2010 | Detecting Missing Method Calls in Object-Oriented Software. | Martin Monperrus, Marcel Bruch, Mira Mezini |
| 2010 | Aliasing control with view-based typestate. | Filipe Milito, Jonathan Aldrich, Lus Caires |
| 2010 | Intensional changes avoid co-evolution! | Bart Meyers, Peter Ebraert, Dirk Janssens |