| 2009 | Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. | Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael Hicks |
| 2009 | Range parameterized types: use-site variance without the existential questions. | Bruno De Fraine |
| 2009 | Fine-Grained Access Control with Object-Sensitive Roles. | Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein |
| 2009 | EventJava: An Extension of Java for Event Correlation. | Patrick Th. Eugster, K. R. Jayaram |
| 2009 | Automatic vectorization using dynamic compilation and tree pattern matching technique in Jikes RVM. | Sara Elshobaky, Ahmed El-Mahdy, Ahmed El-Nahas |
| 2009 | Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective. | Gilles Dubochet, Martin Odersky |
| 2009 | Compiling generics through user-directed type specialization. | Iulian Dragos, Martin Odersky |
| 2009 | Security Monitor Inlining for Multithreaded Java. | Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens |
| 2009 | Adding State and Visibility Control to Traits Using Lexical Nesting. | Tom Van Cutsem, Alexandre Bergel, Stphane Ducasse, Wolfgang De Meuter |
| 2009 | Faster than C#: efficient implementation of dynamic languages on .NET. | Antonio Cuni, Davide Ancona, Armin Rigo |
| 2009 | Java on 1000 Cores: Tales of Hardware/Software Co-design. | Cliff Click |
| 2009 | A semantics for context-oriented programming with layers. | Dave Clarke, Ilya Sergey |
| 2009 | How should context-escaping closures proceed? | Dave Clarke, Pascal Costanza, ric Tanter |
| 2009 | A typed intermediate language for supporting interfaces. | Juan Chen |
| 2009 | On subtyping, wildcards, and existential types. | Nicholas Cameron, Sophia Drossopoulou |
| 2009 | Tracing the meta-level: PyPy's tracing JIT compiler. | Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Armin Rigo |
| 2009 | Practical API Protocol Checking with Access Permissions. | Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich |
| 2009 | A mechanism for flexible dynamic trait replacement. | Lorenzo Bettini, Sara Capecchi, Ferruccio Damiani |
| 2009 | CPA beats ∞-CFA. | Frdric Besson |
| 2009 | Semantic predicate types and approximation for class-based object oriented programming. | Steffen van Bakel, Reuben N. S. Rowe |
| 2009 | Towards context-aware propagators: language constructs for context-aware adaptation dependencies. | Engineer Bainomugisha, Wolfgang De Meuter, Theo D'Hondt |
| 2009 | Improving the development of context-dependent Java applications with ContextJ. | Malte Appeltauer, Robert Hirschfeld, Hidehiko Masuhara |
| 2009 | A comparison of context-oriented programming languages. | Malte Appeltauer, Robert Hirschfeld, Michael Haupt, Jens Lincke, Michael Perscheid |
| 2009 | Coinductive Type Systems for Object-Oriented Languages. | Davide Ancona, Giovanni Lagorio |
| 2009 | Minimize aspect interaction re-evaluation due to software evolution. | Zaid Altahat, Tzilla Elrad |