| 2012 | Understanding communication within pair programming. | Mark Zarb |
| 2012 | The United States of a meta-model build with MyDraft: an agile model-driven cloud-based platform for data-oriented rich web applications. | Michel Zam, Gilles Dodinet, Genevive Jomier |
| 2012 | Maple: a coverage-driven testing tool for multithreaded programs. | Jie Yu, Satish Narayanasamy, Cristiano Pereira, Gilles Pokam |
| 2012 | S-RVM: a secure design for a high-performance java virtual machine. | Yuval Yarom, Katrina Falkner, David S. Munro |
| 2012 | SCuV: a novel software clustering and visualization tool. | Xiaomin Xu, Sheng Huang, Yanghua Xiao, Wei Wang |
| 2012 | Finding reusable data structures. | Guoqing Xu |
| 2012 | Exploiting inter-sequence correlations for program behavior prediction. | Bo Wu, Zhijia Zhao, Xipeng Shen, Yunlian Jiang, Yaoqing Gao, Ral Silvera |
| 2012 | Truffle: a self-optimizing runtime system. | Christian Wimmer, Thomas Wrthinger |
| 2012 | Blended analysis for JavaScript: a practical framework to analyze dynamic features. | Shiyi Wei |
| 2012 | A programmatic introduction to Neo4j. | Jim Webber |
| 2012 | Migration and execution of JavaScript applications between mobile devices and cloud. | Xudong Wang, Xuanzhe Liu, Ying Zhang, Gang Huang |
| 2012 | How to achieve scalable fork/join on many-core architectures? | Mattias De Wael, Tom Van Cutsem |
| 2012 | JaDaRD: java data-race detector. | Filip Vorcek, Zdenek Troncek |
| 2012 | mbeddr: an extensible C-based programming language and IDE for embedded systems. | Markus Voelter, Daniel Ratiu, Bernhard Schtz, Bernd Kolb |
| 2012 | Programming language evolution via source code query languages. | Raoul-Gabriel Urma, Alan Mycroft |
| 2012 | Does better throughput require worse latency? | David M. Ungar, Doug Kimelman, Sam S. Adams, Mark N. Wegman |
| 2012 | UML4COP: UML-based DSML for context-aware systems. | Naoyasu Ubayashi, Yasutaka Kamei |
| 2012 | Software data-triggered threads. | Hung-Wei Tseng, Dean M. Tullsen |
| 2012 | The 12th workshop on domain-specific modeling. | Juha-Pekka Tolvanen, Jonathan Sprinkle, Matti Rossi, Jeff Gray |
| 2012 | Higher-order symbolic execution via contracts. | Sam Tobin-Hochstadt, David Van Horn |
| 2012 | Constrained kinds. | Olivier Tardieu, Nathaniel Nystrom, Igor Peshansky, Vijay A. Saraswat |
| 2012 | Understanding the behavior of database operations under program control. | Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv |
| 2012 | Gradual typing for first-class classes. | Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2012 | The VIVIDE programming environment: connecting run-time information with programmers' system knowledge. | Marcel Taeumel, Bastian Steinert, Robert Hirschfeld |
| 2012 | Type-based safe resource deallocation for shared-memory concurrency. | Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi |