| 2012 | A New Method for Program Inversion. Cong Hou, George Vulov, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc |
| 2012 | Analytical Bounds for Optimal Tile Size Selection. Jun Shirako, Kamal Sharma, Naznin Fauzia, Louis-Noël Pouchet, J. Ramanujam, P. Sadayappan, Vivek Sarkar |
| 2012 | Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality. Swapneela Unkule, Christopher Shaltz, Apan Qasem |
| 2012 | Compiler Construction - 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings Michael F. P. O'Boyle |
| 2012 | Compiler Support for Fine-Grain Software-Only Checkpointing. Chuck (Chengyan) Zhao, J. Gregory Steffan, Cristiana Amza, Allan Kielstra |
| 2012 | Compiler Support for Value-Based Indirect Branch Prediction. Muhammad Umar Farooq, Lei Chen, Lizy Kurian John |
| 2012 | GC-Safe Interprocedural Unboxing. Leaf Petersen, Neal Glew |
| 2012 | Improving Performance of OpenCL on CPUs. Ralf Karrenberg, Sebastian Hack |
| 2012 | Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma |
| 2012 | Parallel Replication-Based Points-To Analysis. Sandeep Putta, Rupesh Nasre |
| 2012 | Programming Paradigm Driven Heap Analysis. Mark Marron, Ondrej Lhoták, Anindya Banerjee |
| 2012 | Sambamba: A Runtime System for Online Adaptive Parallelization. Kevin Streit, Clemens Hammacher, Andreas Zeller, Sebastian Hack |
| 2012 | Static Detection of Unsafe Component Loadings. Taeho Kwon, Zhendong Su |
| 2012 | VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework. Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner, Philippe Clauss |