| 2012 | Elixir: a system for synthesizing concurrent graph programs. | Dimitrios Prountzos, Roman Manevich, Keshav Pingali |
| 2012 | Automated trendline generation for accurate software effort estimation. | Karthikeyan Ponnalagu, Nanjangud C. Narendra |
| 2012 | Progressive types. | Joe Gibbs Politz, Hannah Quay-de la Vallee, Shriram Krishnamurthi |
| 2012 | EA anamnesis: towards an approach for enterprise architecture rationalization. | Georgios Plataniotis, Sybren de Kinderen, Henderik A. Proper |
| 2012 | Go at Google. | Rob Pike |
| 2012 | Proactive modeling: auto-generating models from their semantics and constraints. | Tanumoy Pati, Dennis C. Feiock, James H. Hill |
| 2012 | Predicate abstraction of Java programs with collections. | Pavel Parzek, Ondrej Lhotk |
| 2012 | Approximate parallel sorting on a spatial computer. | Max OrHai, Andrew P. Black |
| 2012 | Active type-checking and translation. | Cyrus Omar |
| 2012 | Tracking human-centric controlled experiments with biscuit. | Fernando Olivero, Michele Lanza, Marco D'Ambros, Romain Robbes |
| 2012 | Mostly-strongly-timed programming. | Hiroki Nishino |
| 2012 | Developing a new computer music programming language in the 'research through design' context. | Hiroki Nishino |
| 2012 | Speculative analysis of integrated development environment recommendations. | Kivan Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
| 2012 | Towards a practical secure concurrent language. | Stefan K. Muller, Stephen Chong |
| 2012 | Typestate-based semantic code search over partial programs. | Alon Mishne, Sharon Shoham, Eran Yahav |
| 2012 | Dancing with uncertainty. | Sasa Misailovic, Stelios Sidiroglou, Martin C. Rinard |
| 2012 | How not to survey developers and repositories: experiences analyzing language adoption. | Leo A. Meyerovich, Ariel S. Rabkin |
| 2012 | Socio-PLT: principles for programming language adoption. | Leo A. Meyerovich, Ariel S. Rabkin |
| 2012 | Eval begone!: semi-automated removal of eval from javascript programs. | Fadi Meawad, Gregor Richards, Floral Morandat, Jan Vitek |
| 2012 | Beyond expert-only parallel programming? | Paul E. McKenney |
| 2012 | Heterogeneous multi-core systems: UML profiles vs. DSM approaches. | David McKean, Jonathan Sprinkle |
| 2012 | Escaping the maze of twisty classes. | Sean McDirmid |
| 2012 | The CloudBrowser web application framework. | Brian McDaniel, Godmar Back |
| 2012 | An empirical study of the influence of static type systems on the usability of undocumented software. | Clemens Mayer, Stefan Hanenberg, Romain Robbes, ric Tanter, Andreas Stefik |
| 2012 | Towards xMOF: executable DSMLs based on fUML. | Tanja Mayerhofer, Philip Langer, Manuel Wimmer |