CC 2017 – Proceedings

26th International Conference on Compiler Construction (CC 2017), February 5–6, 2017, Austin, TX, USA

Frontmatter

Messages from the Chairs
Article: cc17foreword-fm002-p doi:

Concurrency and Parallelism

Partially Redundant Fence Elimination for x86, ARM, and Power Processors
Robin Morisset and Francesco Zappa Nardelli
(ENS, France; Inria, France)
Article: cc17main-mainid13-p doi:

Lightweight Data Race Detection for Production Runs
Swarnendu Biswas, Man Cao, Minjia Zhang, Michael D. Bond, and Benjamin P. Wood
(University of Texas at Austin, USA; Ohio State University, USA; Microsoft Research, USA; Wellesley College, USA)
Article: cc17main-mainid49-p doi:

Optimized Two-Level Parallelization for GPU Accelerators using the Polyhedral Model
Jun Shirako, Akihiro Hayashi, and Vivek Sarkar
(Rice University, USA)
Article: cc17main-mainid56-p doi:

Optimization Space Pruning without Regrets
Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques Pienaar, and Albert Cohen
(ENS, France; Google, USA; Inria, France)
Article: cc17main-mainid27-p doi:

Compilers

Compile-Time Function Memoization
Arjun Suresh, Erven Rohou, and André Seznec
(Ohio State University, USA; Inria, France)
Article: cc17main-mainid8-p doi:

One Compiler: Deoptimization to Optimized Code
Christian Wimmer, Vojin Jovanovic, Erik Eckstein, and Thomas Würthinger
(Oracle Labs, USA; Oracle Labs, Switzerland; Oracle Labs, Austria)
Article: cc17main-mainid16-p doi:

Static Optimization in PHP 7
Nikita Popov, Biagio Cosenza, Ben Juurlink, and Dmitry Stogov
(TU Berlin, Germany; Zend Technologies, Russia)
Article: cc17main-mainid41-p doi:

From Functional Programs to Pipelined Dataflow Circuits
Richard Townsend, Martha A. Kim, and Stephen A. Edwards
(Columbia University, USA)
Article: cc17main-mainid35-p doi:

Types

Granullar: Gradual Nullable Types for Java
Dan Brotherston, Werner Dietl, and Ondřej Lhoták
(University of Waterloo, Canada)
Article: cc17main-mainid38-p doi:

Let It Recover: Multiparty Protocol-Induced Recovery
Rumyana Neykova and Nobuko Yoshida
(Imperial College London, UK)
Article: cc17main-mainid19-p doi:

Program Analysis

Dynamic Symbolic Execution for Polymorphism
Lian Li, Yi Lu, and Jingling Xue
(Oracle Labs, Australia; Institute of Computing Technology at Chinese Academy of Sciences, China; UNSW, Australia)
Article: cc17main-mainid7-p doi:

rev.ng: A Unified Binary Analysis Framework to Recover CFGs and Function Boundaries
Alessandro Di Federico, Mathias Payer, and Giovanni Agosta
(Politecnico di Milano, Italy; Purdue University, USA)
Article: cc17main-mainid37-p doi: