| 2012 | The RPG DSL: a case study of language engineering using MDD for generating RPG games for mobile phones. | Eduardo Marques, Valter Balegas, Bruno Fontes Barroca, Ankica Barisic, Vasco Amaral |
| 2012 | Evaluation and usability of programming languages and tools (PLATEAU). | Shane Markstrum, Emerson R. Murphy-Hill, Caitlin Sadowski |
| 2012 | Workshop: what drives design? | Dennis Mancl, Steven Fraser, Gail E. Harris, Bill Opdyke |
| 2012 | The storyteller version control system: tackling version control, code comments, and team learning. | Mark Mahoney |
| 2012 | Automating object transformations for dynamic software updating. | Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley |
| 2012 | Domain specific modeling for operations research simulation in a large industrial context. | David Lugato, Marc Palyart, Christophe Engelvin |
| 2012 | Detecting problematic message sequences and frequencies in distributed systems. | Charles Lucas, Sebastian G. Elbaum, David S. Rosenblum |
| 2012 | Managed data: modular strategies for data abstraction. | Alex Loh, Tijs van der Storm, William R. Cook |
| 2012 | A semantic integrated development environment. | Francesco Logozzo, Michael Barnett, Manuel Fhndrich, Patrick Cousot, Radhia Cousot |
| 2012 | Modular and verified automatic program repair. | Francesco Logozzo, Thomas Ball |
| 2012 | From clarity to efficiency for distributed algorithms. | Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski |
| 2012 | Bypassing portability pitfalls of high-level low-level programming. | Yi Lin, Stephen M. Blackburn |
| 2012 | Bring your own device (BYOD) with Cloud 4 education. | Ruth G. Lennon |
| 2012 | Program extrapolation with jennisys. | K. Rustan M. Leino, Aleksandar Milicevic |
| 2012 | Staged program development. | K. Rustan M. Leino |
| 2012 | Work-stealing without the baggage. | Vivek Kumar, Daniel Frampton, Stephen M. Blackburn, David Grove, Olivier Tardieu |
| 2012 | Mitigating the compiler optimization phase-ordering problem using machine learning. | Sameer Kulkarni, John Cavazos |
| 2012 | The spoofax name binding language. | Gabril D. P. Konat, Vlad A. Vergu, Lennart C. L. Kats, Guido Wachsmuth, Eelco Visser |
| 2012 | Bolt: on-demand infinite loop escape in unmodified binaries. | Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard |
| 2012 | The JVM is not observable enough (and what to do about it). | Stephen Kell, Danilo Ansaloni, Walter Binder, Luks Marek |
| 2012 | DSMLs for enterprise architecture management: review of selected approaches. | Heiko Kattenstroth |
| 2012 | Software development environments on the web: a research agenda. | Lennart C. L. Kats, Richard G. Vogelij, Karl Trygve Kalleberg, Eelco Visser |
| 2012 | A variability-aware module system. | Christian Kstner, Klaus Ostermann, Sebastian Erdweg |
| 2012 | Formal specification of a JavaScript module system. | Seonghoon Kang, Sukyoung Ryu |
| 2012 | A black-box approach to understanding concurrency in DaCapo. | Tomas Kalibera, Matthew Mole, Richard E. Jones, Jan Vitek |