| 2009 | Daileon: a tool for enabling domain annotations. | Jos Roberto C. Perillo, Eduardo M. Guerra, Clovis T. Fernandes |
| 2009 | Modular Visitor Components. | Bruno C. d. S. Oliveira |
| 2009 | Declarative definition of contexts with polymorphic events. | Angel Nez, Jacques Noy, Vaidas Gasiunas |
| 2009 | The Myths of Object-Orientation. | James Noble |
| 2009 | Making Sense of Large Heaps. | Nick Mitchell, Edith Schonberg, Gary Sevitsky |
| 2009 | Detecting unanticipated aspect interferences at runtime with compositional intentions. | Antoine Marot, Roel Wuyts |
| 2009 | Understanding the dynamics of JavaScript. | Sylvain Lebresne, Gregor Richards, Johan stlund, Tobias Wrigstad, Jan Vitek |
| 2009 | Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. | Giovanni Lagorio, Marco Servetto, Elena Zucca |
| 2009 | Towards safe and flexible object adaptation. | Tetsuo Kamina, Tetsuo Tamai |
| 2009 | Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither. | Simon L. Peyton Jones |
| 2009 | Context-oriented programming with EventJava. | K. R. Jayaram, Patrick Eugster |
| 2009 | Checking Framework Interactions with Relationships. | Ciera Jaspan, Jonathan Aldrich |
| 2009 | Failboxes: Provably Safe Exception Handling. | Bart Jacobs, Frank Piessens |
| 2009 | Towards gradual typing for generics. | Lintaro Ina, Atsushi Igarashi |
| 2009 | Remote Batch Invocation for Compositional Object Services. | Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook |
| 2009 | On the interplay between the semantics of Java's finally clauses and the JML run-time checker. | Marieke Huisman |
| 2009 | Debugging Method Names. | Einar W. Hst, Bjarte M. stvold |
| 2009 | Supporting Framework Use via Automatically Extracted Concept-Implementation Templates. | Abbas Heydarnoori, Krzysztof Czarnecki, Thiago T. Bartolomei |
| 2009 | COPE - Automating Coupled Evolution of Metamodels and Models. | Markus Herrmannsdoerfer, Sebastian Benz, Elmar Jrgens |
| 2009 | Type-Based Object Immutability with Flexible Initialization. | Christian Haack, Erik Poll |
| 2009 | Strongest postcondition of unstructured programs. | Radu Grigore, Julien Charles, Fintan Fairmichael, Joseph Kiniry |
| 2009 | Towards a dynamic-update-enabled JVM. | Allan Raundahl Gregersen, Douglas Simon, Bo Nrregaard Jrgensen |
| 2009 | An efficient lock-aware transactional memory implementation. | Justin Emile Gottschlich, Jeremy G. Siek, Manish Vachharajani, Dwight Y. Winkler, Daniel A. Connors |
| 2009 | Transactional contexts: harnessing the power of context-oriented reflection. | Sebastin Gonzlez, Marcus Denker, Kim Mens |
| 2009 | Are We Ready for a Safer Construction Environment? | Joseph Gil, Tali Shragai |