| 2012 | An Analysis of the Mozilla Jetpack Extension Framework. Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan |
| 2012 | Application-Only Call Graph Construction. Karim Ali, Ondrej Lhoták |
| 2012 | Cloud Types for Eventual Consistency. Sebastian Burckhardt, Manuel Fähndrich, Daan Leijen, Benjamin P. Wood |
| 2012 | Constraint-Based Refactoring with Foresight. Friedrich Steimann, Jens von Pilgrim |
| 2012 | Correlation Tracking for Points-To Analysis of JavaScript. Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip |
| 2012 | ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings James Noble |
| 2012 | Enhancing JavaScript with Transactions. Mohan Dhawan, Chung-chieh Shan, Vinod Ganapathy |
| 2012 | Evaluating the Design of the R Language - Objects and Functions for Data Analysis. Floréal Morandat, Brandon Hill, Leo Osvald, Jan Vitek |
| 2012 | Extensibility for the Masses - Practical Extensibility with Object Algebras. Bruno C. d. S. Oliveira, William R. Cook |
| 2012 | Extensions during Software Evolution: Do Objects Meet Their Promise? Romain Robbes, David Röthlisberger, Éric Tanter |
| 2012 | Inference and Checking of Object Ownership. Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst |
| 2012 | Is It Dangerous to Use Version Control Histories to Study Source Code Evolution? Stas Negara, Mohsen Vakilian, Nicholas Chen, Ralph E. Johnson, Danny Dig |
| 2012 | Java Wildcards Meet Definition-Site Variance. John Altidor, Christoph Reichenbach, Yannis Smaragdakis |
| 2012 | JavaScript as an Embedded DSL. Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky |
| 2012 | Lightweight Polymorphic Effects. Lukas Rytz, Martin Odersky, Philipp Haller |
| 2012 | Lock Inference in the Presence of Large Libraries. Khilan Gudka, Tim Harris, Susan Eisenbach |
| 2012 | Magda: A New Language for Modularity. Viviana Bono, Jarek Kusmierek, Mauro Mulatero |
| 2012 | Marco: Safe, Expressive Macros for Any Language. ByeongCheol Lee, Robert Grimm, Martin Hirzel, Kathryn S. McKinley |
| 2012 | McSAF: A Static Analysis Framework for MATLAB. Jesse Doherty, Laurie J. Hendren |
| 2012 | Multiple Aggregate Entry Points for Ownership Types. Johan Östlund, Tobias Wrigstad |
| 2012 | Object Initialization in X10. Yoav Zibin, David Cunningham, Igor Peshansky, Vijay A. Saraswat |
| 2012 | PQL: A Purely-Declarative Java Extension for Parallel Programming. Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman |
| 2012 | Pause 'n' Play: Formalizing Asynchronous C#. Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen |
| 2012 | Practical Permissions for Race-Free Parallelism. Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar |
| 2012 | Program Sliding. Ran Ettinger |
| 2012 | Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates. Arnab De, Deepak D'Souza |
| 2012 | Smaller Footprint for Java Collections. Joseph Gil, Yuval Shimron |
| 2012 | Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics. Davide Ancona |
| 2012 | Static Detection of Loop-Invariant Data Structures. Guoqing Xu, Dacong Yan, Atanas Rountev |
| 2012 | Static Sessional Dataflow. Dominic Duggan, Jianhua Yao |
| 2012 | Structured Aliasing. Tobias Wrigstad |
| 2012 | Verification of Snapshot Isolation in Transactional Memory Java Programs. Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço |
| 2012 | When Compilers Are Mirrors. Martin Odersky |