| 2013 | An Incremental Points-to Analysis with CFL-Reachability. | Yi Lu, Lei Shang, Xinwei Xie, Jingling Xue |
| 2012 | Compiler Support for Fine-Grain Software-Only Checkpointing. | Chuck (Chengyan) Zhao, J. Gregory Steffan, Cristiana Amza, Allan Kielstra |
| 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 | Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality. | Swapneela Unkule, Christopher Shaltz, Apan Qasem |
| 2012 | Sambamba: A Runtime System for Online Adaptive Parallelization. | Kevin Streit, Clemens Hammacher, Andreas Zeller, Sebastian Hack |
| 2012 | Analytical Bounds for Optimal Tile Size Selection. | Jun Shirako, Kamal Sharma, Naznin Fauzia, Louis-Nol Pouchet, J. Ramanujam, P. Sadayappan, Vivek Sarkar |
| 2012 | Parallel Replication-Based Points-To Analysis. | Sandeep Putta, Rupesh Nasre |
| 2012 | GC-Safe Interprocedural Unboxing. | Leaf Petersen, Neal Glew |
| 2012 | Programming Paradigm Driven Heap Analysis. | Mark Marron, Ondrej Lhotk, Anindya Banerjee |
| 2012 | Static Detection of Unsafe Component Loadings. | Taeho Kwon, Zhendong Su |
| 2012 | Improving Performance of OpenCL on CPUs. | Ralf Karrenberg, Sebastian Hack |
| 2012 | VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework. | Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner, Philippe Clauss |
| 2012 | A New Method for Program Inversion. | Cong Hou, George Vulov, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc |
| 2012 | Compiler Support for Value-Based Indirect Branch Prediction. | Muhammad Umar Farooq, Lei Chen, Lizy Kurian John |
| 2011 | Probabilistic Points-to Analysis for Java. | Qiang Sun, Jianjun Zhao, Yuting Chen |
| 2011 | Dynamic Elimination of Overflow Tests in a Trace Compiler. | Rodrigo Sol, Christophe Guillon, Fernando Magno Quinto Pereira, Mariza Andrade da Silva Bigonha |
| 2011 | Actor-Based Parallel Dataflow Analysis. | Jonathan Rodriguez, Ondrej Lhotk |
| 2011 | Tainted Flow Analysis on e-SSA-Form Programs. | Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quinto Pereira |
| 2011 | JPure: A Modular Purity System for Java. | David J. Pearce |
| 2011 | Future-Proofing Collections: From Mutable to Persistent to Parallel. | Martin Odersky |
| 2011 | Faster Alias Set Analysis Using Summaries. | Nomair A. Naeem, Ondrej Lhotk |
| 2011 | Practical Loop Transformations for Tensor Contraction Expressions on Multi-level Memory Hierarchies. | Wenjing Ma, Sriram Krishnamoorthy, Gagan Agrawal |
| 2011 | Staged Static Techniques to Efficiently Implement Array Copy Semantics in a MATLAB JIT Compiler. | Nurudeen Lameed, Laurie J. Hendren |
| 2011 | Subregion Analysis and Bounds Check Elimination for High Level Arrays. | Mackale Joyner, Zoran Budimlic, Vivek Sarkar |
| 2011 | Using Disjoint Reachability for Parallelization. | James Christopher Jenista, Yong Hun Eom, Brian Demsky |