| 2012 | Automatically enhancing locality for tree traversals with traversal splicing. | Youngjoon Jo, Milind Kulkarni |
| 2012 | The dark side of agile software development. | Andrea Janes, Giancarlo Succi |
| 2012 | Domain-specific languages for composing signature discovery workflows. | Ferosh Jacob, Jeff Gray, Adam Wynne, Yan Liu, Nathan A. Baker |
| 2012 | Adaptive multi-level compilation in a trace-based Java JIT compiler. | Hiroshi Inoue, Hiroshige Hayashizaki, Peng Wu, Toshio Nakatani |
| 2012 | A trace-based Java JIT compiler for large-scale applications. | Hiroshi Inoue |
| 2012 | Integrating task parallelism with actors. | Shams Mahmood Imam, Vivek Sarkar |
| 2012 | CnC-Python: multicore programming with high productivity. | Shams Mahmood Imam |
| 2012 | Execution privatization for scheduler-oblivious concurrent programs. | Jeff Huang, Charles Zhang |
| 2012 | LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. | Jeff Huang, Charles Zhang |
| 2012 | Reim & ReImInfer: checking and inference of reference immutability and method purity. | Wei Huang, Ana L. Milanova, Werner Dietl, Michael D. Ernst |
| 2012 | A case for relativistic programming. | Philip W. Howard, Jonathan Walpole |
| 2012 | MOST-flexiPL: modular, statically typed, flexibly extensible programming language. | Christian Heinlein |
| 2012 | Kitsune: efficient, general-purpose dynamic software updating for C. | Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster |
| 2012 | Cognitive architectures: a way forward for the psychology of programming. | Michael E. Hansen, Andrew Lumsdaine, Robert L. Goldstone |
| 2012 | OpenRefactory/C: an infrastructure for developing program transformations for C programs. | Munawar Hafiz, Jeffrey Overbey |
| 2012 | Growing a pattern language (for security). | Munawar Hafiz, Paul Adamczyk, Ralph E. Johnson |
| 2012 | The nature of order: from security patterns to a pattern language. | Munawar Hafiz, Paul Adamczyk |
| 2012 | How FIFO is your concurrent FIFO queue? | Andreas Haas, Christoph M. Kirsch, Michael Lippautz, Hannes Payer |
| 2012 | JavaScript: the used parts. | Sharath Chowdary Gude |
| 2012 | Reusing debugging knowledge via trace-based bug search. | Zhongxian Gu, Earl T. Barr, Drew Schleck, Zhendong Su |
| 2012 | Uniqueness and reference immutability for safe parallelism. | Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy |
| 2012 | Reifying and optimizing collection queries for modularity. | Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Tillmann Rendel, Christian Kstner |
| 2012 | Reifying and optimizing collection queries for modularity. | Paolo G. Giarrusso |
| 2012 | The structure of a programming language revolution. | Richard P. Gabriel |
| 2012 | Security through extensible type systems. | Nathan Fulton |