| 2011 | Pattern matching for object-like structures in the Go programming language. | Chanwit Kaewkasi, Pitchaya Kaewkasi |
| 2011 | A Featherweight Approach to FOOL. | Atsushi Igarashi |
| 2011 | Fractional permissions without the fractions. | Stefan Heule, K. Rustan M. Leino, Peter Mller, Alexander J. Summers |
| 2011 | Atomic Boxes: Coordinated Exception Handling with Transactional Memory. | Derin Harmanci, Vincent Gramoli, Pascal Felber |
| 2011 | Predicate-C: an efficient and generic runtime system for predicate dispatch. | Friedrich Grter, Sebastian Gtz, Julian Stecklina |
| 2011 | Using Structure-Based Recommendations to Facilitate Discoverability in APIs. | Ekwa Duala-Ekoko, Martin P. Robillard |
| 2011 | Tunable Static Inference for Generic Universe Types. | Werner Dietl, Michael D. Ernst, Peter Mller |
| 2011 | Verifying traits: a proof system for fine-grained reuse. | Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer |
| 2011 | Patterns of Memory Inefficiency. | Adriana E. Chis, Nick Mitchell, Edith Schonberg, Gary Sevitsky, Patrick O'Sullivan, Trevor Parsons, John Murphy |
| 2011 | Expressiveness, Simplicity, and Users. | Craig Chambers |
| 2011 | A tracing technique using dynamic bytecode instrumentation of Java applications and libraries at basic block level. | Pierre Caserta, Olivier Zendra |
| 2011 | Safer context (de)activation: through the prompt-loyal strategy. | Nicols Cardozo, Sebastin Gonzlez, Kim Mens, Theo D'Hondt |
| 2011 | Detecting and Escaping Infinite Loops with Jolt. | Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard |
| 2011 | Improving the Tokenisation of Identifier Names. | Simon Butler, Michel Wermelinger, Yijun Yu, Helen Sharp |
| 2011 | Runtime feedback in a meta-tracing JIT for efficient dynamic languages. | Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo |
| 2011 | Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks. | Robert L. Bocchino Jr., Vikram S. Adve |
| 2011 | Reuse, Recycle to De-bloat Software. | Suparna Bhattacharya, Mangala Gowri Nanda, Kanchi Gopinath, Manish Gupta |
| 2011 | Counting Messages as a Proxy for Average Execution Time in Pharo. | Alexandre Bergel |
| 2011 | An Empirical Study of Object Protocols in the Wild. | Nels E. Beckman, Duri Kim, Jonathan Aldrich |
| 2011 | Verifying Multi-object Invariants with Relationships. | Stephanie Balzer, Thomas R. Gross |
| 2011 | Maintaining Database Integrity with Refinement Types. | Ioannis G. Baltopoulos, Johannes Borgstrm, Andrew D. Gordon |
| 2011 | Automatic inference of model fields and their representation. | Mihai Balint, Marius Minea |
| 2011 | Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition. | Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara |
| 2011 | Coinductive big-step operational semantics for type soundness of Java-like languages. | Davide Ancona |
| 2011 | Application optimization when using gradual typing. | Esteban Allende, Johan Fabry |