| 2012 | Lock Inference in the Presence of Large Libraries. | Khilan Gudka, Tim Harris, Susan Eisenbach |
| 2012 | Smaller Footprint for Java Collections. | Joseph Gil, Yuval Shimron |
| 2012 | Program Sliding. | Ran Ettinger |
| 2012 | Static Sessional Dataflow. | Dominic Duggan, Jianhua Yao |
| 2012 | McSAF: A Static Analysis Framework for MATLAB. | Jesse Doherty, Laurie J. Hendren |
| 2012 | Verification games: making verification fun. | Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Nathaniel Mote, Brian Walker, Seth Cooper, Timothy Pavlik, Zoran Popovic |
| 2012 | Verification of Snapshot Isolation in Transactional Memory Java Programs. | Ricardo J. Dias, Dino Distefano, Joo Costa Seco, Joo Loureno |
| 2012 | Enhancing JavaScript with Transactions. | Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy |
| 2012 | Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates. | Arnab De, Deepak D'Souza |
| 2012 | AmbientTalk: modern actors for modern networks. | Tom Van Cutsem |
| 2012 | LogicObjects: a linguistic symbiosis approach to bring the declarative power of Prolog to Java. | Sergio Castro, Kim Mens, Paulo Moura |
| 2012 | DynamicSchema: a lightweight persistency framework for context-oriented data management. | Sergio Castro, Sebastin Gonzlez, Kim Mens, Marcus Denker |
| 2012 | Uniting global and local context behavior with context Petri nets. | Nicols Cardozo, Sebastin Gonzlez, Kim Mens, Theo D'Hondt |
| 2012 | Cloud Types for Eventual Consistency. | Sebastian Burckhardt, Manuel Fhndrich, Daan Leijen, Benjamin P. Wood |
| 2012 | Magda: A New Language for Modularity. | Viviana Bono, Jarek Kusmierek, Mauro Mulatero |
| 2012 | Pause 'n' Play: Formalizing Asynchronous C#. | Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen |
| 2012 | Declarative layer composition in framework-based environments. | Malte Appeltauer, Robert Hirschfeld |
| 2012 | Corecursive Featherweight Java. | Davide Ancona, Elena Zucca |
| 2012 | Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. | Davide Ancona |
| 2012 | Java Wildcards Meet Definition-Site Variance. | John Altidor, Christoph Reichenbach, Yannis Smaragdakis |
| 2012 | Application-Only Call Graph Construction. | Karim Ali, Ondrej Lhotk |
| 2011 | Frequency Estimation of Virtual Call Targets for Object-Oriented Programs. | Cheng Zhang, Hao Xu, Sai Zhang, Jianjun Zhao, Yuting Chen |
| 2011 | The Beauty and the Beast: Separating Design from Algorithm. | Dmitrijs Zaparanuks, Matthias Hauswirth |
| 2011 | Gradual Typestate. | Roger Wolff, Ronald Garcia, ric Tanter, Jonathan Aldrich |
| 2011 | Related Types. | Johnni Winther, Michael I. Schwartzbach |