CC 2017
26th International Conference on Compiler Construction (CC 2017)

Title Page

Messages from the Chairs

Partially Redundant Fence Elimination for x86, ARM, and Power Processors
Robin Morisset and Francesco Zappa Nardelli
(ENS, France; Inria, France)

Publisher's Version Article Search

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)

Publisher's Version Article Search

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

Publisher's Version Article Search

Optimization Space Pruning without Regrets
Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques Pienaar , and Albert Cohen
(ENS, France; Google, USA; Inria, France)

Publisher's Version Article Search

Compile-Time Function Memoization
Arjun Suresh, Erven Rohou, and André Seznec
(Ohio State University, USA; Inria, France)

Publisher's Version Article Search

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)

Publisher's Version Article Search

Static Optimization in PHP 7
Nikita Popov, Biagio Cosenza, Ben Juurlink, and Dmitry Stogov
(TU Berlin, Germany; Zend Technologies, Russia)

Publisher's Version Article Search

From Functional Programs to Pipelined Dataflow Circuits
Richard Townsend, Martha A. Kim, and Stephen A. Edwards
(Columbia University, USA)

Publisher's Version Article Search

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

Publisher's Version Article Search

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

Publisher's Version Article Search

Data Structure-Aware Heap Partitioning
Nouraldin Jaber and Milind Kulkarni
(Purdue University, USA)

Publisher's Version Article Search

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)

Publisher's Version Article Search

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)

Publisher's Version Article Search Info