| 2012 | Static Detection of Loop-Invariant Data Structures. | Guoqing Xu, Dacong Yan, Atanas Rountev |
| 2012 | Structured Aliasing. | Tobias Wrigstad |
| 2012 | Practical Permissions for Race-Free Parallelism. | Edwin M. Westbrook, Jisheng Zhao, Zoran Budimlic, Vivek Sarkar |
| 2012 | Verifying backwards compatibility of object-oriented libraries using Boogie. | Yannick Welsch, Arnd Poetzsch-Heffter |
| 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 Schfer, Frank Tip |
| 2012 | A type system for regular expressions. | Eric Spishak, Werner Dietl, Michael D. Ernst |
| 2012 | Lightweight Polymorphic Effects. | Lukas Rytz, Martin Odersky, Philipp Haller |
| 2012 | Extensions during Software Evolution: Do Objects Meet Their Promise? | Romain Robbes, David Rthlisberger, ric Tanter |
| 2012 | PQL: A Purely-Declarative Java Extension for Parallel Programming. | Christoph Reichenbach, Yannis Smaragdakis, Neil Immerman |
| 2012 | Featherweight X10: a core calculus for async-finish parallelism. | Jens Palsberg |
| 2012 | Multiple Aggregate Entry Points for Ownership Types. | Johan stlund, Tobias Wrigstad |
| 2012 | Extensibility for the Masses - Practical Extensibility with Object Algebras. | Bruno C. d. S. Oliveira, William R. Cook |
| 2012 | When Compilers Are Mirrors. | Martin Odersky |
| 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 | Evaluating the Design of the R Language - Objects and Functions for Data Analysis. | Floral Morandat, Brandon Hill, Leo Osvald, Jan Vitek |
| 2012 | A data-parallel extension to Ruby for GPGPU: toward a framework for implementing domain-specific optimizations. | Hidehiko Masuhara, Yusuke Nishiguchi |
| 2012 | Encoding Featherweight Java with assignment and immutability using the Coq proof assistant. | Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron |
| 2012 | Scoping changes in self-supporting development environments using context-oriented programming. | Jens Lincke, Robert Hirschfeld |
| 2012 | Marco: Safe, Expressive Macros for Any Language. | Byeongcheol Lee, Robert Grimm, Martin Hirzel, Kathryn S. McKinley |
| 2012 | JavaScript as an Embedded DSL. | Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky |
| 2012 | An Analysis of the Mozilla Jetpack Extension Framework. | Rezwana Karim, Mohan Dhawan, Vinod Ganapathy, Chung-chieh Shan |
| 2012 | Bridging real-world contexts and units of behavioral variations by composite layers. | Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara |
| 2012 | Inference and Checking of Object Ownership. | Wei Huang, Werner Dietl, Ana L. Milanova, Michael D. Ernst |
| 2012 | Verifying the reflective visitor pattern. | Ben Horsfall, Nathaniel Charlton, Bernhard Reus |