| 2016 | Automatic data layout generation and kernel mapping for CPU+GPU architectures. Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, Vivek Sarkar |
| 2016 | Automatic fault location for data structures. Vineet Singh, Rajiv Gupta, Iulian Neamtiu |
| 2016 | Extended lattice-based memory allocation. Alain Darte, Alexandre Isoard, Tomofumi Yuki |
| 2016 | GreenThumb: superoptimizer construction framework. Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati |
| 2016 | Heap bounds protection with low fat pointers. Gregory J. Duck, Roland H. C. Yap |
| 2016 | Iguana: a practical data-dependent parsing framework. Ali Afroozeh, Anastasia Izmaylova |
| 2016 | Improved MHP Analysis. Aravind Sankar, Soham Chakraborty, V. Krishna Nandivada |
| 2016 | Input space splitting for OpenCL. Simon Moll, Johannes Doerfert, Sebastian Hack |
| 2016 | Kindergarten cop: dynamic nursery resizing for GHC. Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond |
| 2016 | Mapping deviation: a technique to adapt or to guard loop transformation intuitions for legality. Cédric Bastoul |
| 2016 | Mechanizing conventional SSA for a verified destruction with coalescing. Delphine Demange, Yon Fernández de Retana |
| 2016 | Multiversioned decoupled access-execute: the key to energy-efficient compilation of general-purpose programs. Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, Alexandra Jimborean |
| 2016 | On fast large-scale program analysis in Datalog. Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann |
| 2016 | On fusing recursive traversals of K-d trees. Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, P. Sadayappan |
| 2016 | Performance implications of transient loop-carried data dependences in automatically parallelized loops. Niall Murphy, Timothy M. Jones, Robert Mullins, Simone Campanoni |
| 2016 | Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016 Ayal Zaks, Manuel V. Hermenegildo |
| 2016 | Reachability and error diagnosis in LR(1) parsers. François Pottier |
| 2016 | Reducing memory buffering overhead in software thread-level speculation. Zhen Cao, Clark Verbrugge |
| 2016 | Register allocation and instruction scheduling in Unison. Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte |
| 2016 | Register allocation and promotion through combined instruction scheduling and loop unrolling. Lukasz Domagala, Duco van Amstel, Fabrice Rastello, P. Sadayappan |
| 2016 | Relaxed dependence tracking for parallel runtime support. Minjia Zhang, Swarnendu Biswas, Michael D. Bond |
| 2016 | Restrictification of function arguments. Victor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira |
| 2016 | SVF: interprocedural static value-flow analysis in LLVM. Yulei Sui, Jingling Xue |
| 2016 | SYCO: a systematic testing tool for concurrent objects. Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel |
| 2016 | Safe and flexible adaptation via alternate data structure representations. Amlan Kusum, Iulian Neamtiu, Rajiv Gupta |
| 2016 | Sparse representation of implicit flows with applications to side-channel detection. Bruno Rodrigues, Fernando Magno Quintão Pereira, Diego F. Aranha |
| 2016 | Static deadlock detection for concurrent go by global session graph synthesis. Nicholas Ng, Nobuko Yoshida |
| 2016 | Static detection of energy defect patterns in Android applications. Haowei Wu, Shengqian Yang, Atanas Rountev |
| 2016 | Thread-level speculation with kernel support. Clemens Hammacher, Kevin Streit, Andreas Zeller, Sebastian Hack |
| 2016 | Verified construction of static single assignment form. Sebastian Buchwald, Denis Lohner, Sebastian Ullrich |