| 2012 | Language-based control and mitigation of timing channels. | Danfeng Zhang, Aslan Askarov, Andrew C. Myers |
| 2012 | Algorithmic profiling. | Dmitrijs Zaparanuks, Matthias Hauswirth |
| 2012 | Rethinking Soot for summary-based whole-program analysis. | Dacong Yan, Guoqing Xu, Atanas Rountev |
| 2012 | Identifying optimal multicore cache hierarchies for loop-based parallel programs via reuse distance analysis. | Meng-Ju Wu, Donald Yeung |
| 2012 | Sound and precise analysis of parallel programs through schedule specialization. | Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang |
| 2012 | Rank idle time prediction driven last-level cache writeback. | Zhe Wang, Samira Manabi Khan, Daniel A. Jimnez |
| 2012 | Parallel memory defragmentation on a GPU. | Ronald Veldema, Michael Philippsen |
| 2012 | Reagents: expressing and composing fine-grained concurrency. | Aaron Turon |
| 2012 | JANUS: exploiting parallelism via hindsight. | Omer Tripp, Roman Manevich, John Field, Mooly Sagiv |
| 2012 | Side-effect analysis with fast escape filter. | Binxian Tao, Ju Qian, Xiaoyu Zhou |
| 2012 | Synchronising C/C++ and POWER. | Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams |
| 2012 | Adaptive input-aware compilation for graphics engines. | Mehrzad Samadi, Amir Hormati, Mojtaba Mehrara, Janghaeng Lee, Scott A. Mahlke |
| 2012 | Test-case reduction for C compiler bugs. | John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang |
| 2012 | Scalable and precise dynamic datarace detection for structured parallelism. | Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav |
| 2012 | Parcae: a system for flexible parallel execution. | Arun Raman, Ayal Zaks, Jae W. Lee, David I. August |
| 2012 | Fully automatic and precise detection of thread safety violations. | Michael Pradel, Thomas R. Gross |
| 2012 | Race detection for web applications. | Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby |
| 2012 | Can parallel data structures rely on automatic memory managers? | Erez Petrank |
| 2012 | Type-directed completion of partial expressions. | Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman |
| 2012 | Analysis of pure methods using garbage collection. | Erik sterlund, Welf Lwe |
| 2012 | The implicit calculus: a new foundation for generic programming. | Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi |
| 2012 | Design and implementation of sparse global analyses for C-like languages. | Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi |
| 2012 | Logical inference techniques for loop parallelization. | Cosmin E. Oancea, Lawrence Rauchwerger |
| 2012 | Multicore acceleration of priority-based schedulers for concurrency bug detection. | Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi |
| 2012 | RockSalt: better, faster, stronger SFI for the x86. | Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, Edward Gan |