| 2012 | Effective parallelization of loops in the presence of I/O operations. | Min Feng, Rajiv Gupta, Iulian Neamtiu |
| 2012 | Self-stabilizing Java. | Yong Hun Eom, Brian Demsky |
| 2012 | Security correctness for secure nested transactions: position paper. | Dominic Duggan, Ye Wu |
| 2012 | Compiling a high-level language for GPUs: (via language support for architectures and compilers). | Christophe Dubach, Perry Cheng, Rodric M. Rabbah, David F. Bacon, Stephen J. Fink |
| 2012 | Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment. | Damien Doligez, Mathieu Jaume, Renaud Rioboo |
| 2012 | A higher order theory of locality. | Chen Ding, Xiaoya Xiang |
| 2012 | Automated error diagnosis using abductive inference. | Isil Dillig, Thomas Dillig, Alex Aiken |
| 2012 | Towards region-based memory management for Go. | Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Sndergaard |
| 2012 | Input-sensitive profiling. | Emilio Coppa, Camil Demetrescu, Irene Finocchi |
| 2012 | Collection disjointness analysis. | Hang Chu, Patrick Lam |
| 2012 | Diderot: a parallel DSL for image analysis and visualization. | Charisee Chiw, Gordon L. Kindlmann, John H. Reppy, Lamont Samuels, Nick Seltzer |
| 2012 | Type-directed automatic incrementalization. | Yan Chen, Jana Dunfield, Umut A. Acar |
| 2012 | Polyhedra scanning revisited. | Chun Chen |
| 2012 | Synthesising graphics card programs from DSLs. | Luke Cartey, Rune B. Lyngs, Oege de Moor |
| 2012 | Proving acceptability properties of relaxed nondeterministic approximate programs. | Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard |
| 2012 | Can seqlocks get along with programming language memory models? | Hans-Juergen Boehm |
| 2012 | InvokeDynamic support in Soot. | Eric Bodden |
| 2012 | Inter-procedural data-flow analysis with IFDS/IDE and Soot. | Eric Bodden |
| 2012 | Static flow-sensitive & context-sensitive information-flow analysis for software product lines: position paper. | Eric Bodden |
| 2012 | A dynamic program analysis to find floating-point accuracy problems. | Florian Benz, Andreas Hildebrandt, Sebastian Hack |
| 2012 | Towards a taint mode for cloud computing web applications. | Luciano Bello, Alejandro Russo |
| 2012 | Dexpler: converting Android Dalvik bytecode to Jimple for static analysis with Soot. | Alexandre Bartel, Jacques Klein, Yves Le Traon, Martin Monperrus |
| 2012 | Defensive loop tiling for multi-core processor. | Bin Bao, Xiaoya Xiang |
| 2012 | And then there were none: a stall-free real-time garbage collector for reconfigurable hardware. | David F. Bacon, Perry Cheng, Sunil Shukla |
| 2012 | Parallelizing top-down interprocedural analyses. | Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani |