| 2012 | Chaperones and impersonators: run-time support for reasonable interposition. | T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt |
| 2012 | Compilation queuing and graph caching for dynamic compilers. | Lukas Stadler, Gilles Duboscq, Hanspeter Mssenbck, Thomas Wrthinger |
| 2012 | Optimization coaching: optimizers learn to communicate with programmers. | Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2012 | Safe compiler-driven transaction checkpointing and recovery. | Jaswanth Sreeram, Santosh Pande |
| 2012 | Comparative language fuzz testing: programming languages vs. fat fingers. | Diomidis Spinellis, Vassilios Karakoidas, Panos Louridas |
| 2012 | Open and efficient type switch for C++. | Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup |
| 2012 | Automated behavioral testing of refactoring engines. | Gustavo Soares |
| 2012 | Automated behavioral testing of refactoring engines. | Gustavo Soares |
| 2012 | Is text search an effective approach for fault localization: a practitioners perspective. | Vibha Singhal Sinha, Senthil Mani, Debdoot Mukherjee |
| 2012 | Internet voting: an idea whose time has not come. | Barbara Simons |
| 2012 | 19th international workshop on foundations of object-oriented languages (FOOL'12). | Jeremy G. Siek, Jonathan Aldrich, John Tang Boyland |
| 2012 | Scaling symbolic execution using ranged analysis. | Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2012 | Programming language abstractions for self-reconfigurable robots. | Ulrik Pagh Schultz |
| 2012 | MySQL to NoSQL: data modeling challenges in supporting scalability. | Aaron Schram, Kenneth Mark Anderson |
| 2012 | Reducing the barriers to writing verified specifications. | Todd W. Schiller, Michael D. Ernst |
| 2012 | Alternative programming interfaces for alternative programmers. | Toby Schachman |
| 2012 | Exploring multi-threaded Java application performance on multicore hardware. | Jennifer B. Sartor, Lieven Eeckhout |
| 2012 | A methodology for managing database and code changes in a regression testing framework. | Roberto Salama, James McGuire, Michael K. Rosenberg |
| 2012 | Checking reachability using matching logic. | Grigore Rosu, Andrei Stefanescu |
| 2012 | From actors to agent-oriented programming abstractions in simpAL. | Alessandro Ricci, Andrea Santi |
| 2012 | AGERE!: programming based on actors, agents, and decentralized control. | Alessandro Ricci, Assaf Marron, Rafael H. Bordini, Gul Agha |
| 2012 | Programming with relaxed synchronization. | Lakshminarayanan Renganarayana, Vijayalakshmi Srinivasan, Ravi Nair, Daniel A. Prener |
| 2012 | Parallel gesture recognition with soft real-time guarantees. | Thierry Renaux |
| 2012 | 6th workshop on virtual machines and intermediate languages (VMIL'12). | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Stephen M. Blackburn |
| 2012 | Migration to model driven engineering in the development process of distributed scientific application software. | Daniel Rahon, Raphal Gayno, Jean-Marc Gratien, Goulwen Le Fur, Sbastien Schneider |