CC 2016 – Proceedings

25th International Conference on Compiler Construction (CC 2016), March 17–18, 2016, Barcelona, Spain

Frontmatter

Messages from the Chairs
Article: cc16foreword-fm001-p (type: Frontmatter) doi:

Sponsors and Supporters
Article: cc16foreword-fm003-p (type: Frontmatter) doi:

Keynote Abstract
Article: cc16foreword-fm004-p (type: Frontmatter) doi:

Speculation

Thread-Level Speculation with Kernel Support
Clemens Hammacher, Kevin Streit, Andreas Zeller, and Sebastian Hack
(Saarland University, Germany)
Article: cc16main-mainid56-p (type: Full Paper (11 pages)) doi:

Reducing Memory Buffering Overhead in Software Thread-Level Speculation
Zhen Cao and Clark Verbrugge
(McGill University, Canada)
Article: cc16main-mainid76-p (type: Full Paper (11 pages)) doi:

Performance Implications of Transient Loop-Carried Data Dependences in Automatically Parallelized Loops
Niall Murphy, Timothy Jones, Robert Mullins, and Simone Campanoni
(University of Cambridge, UK; Northwestern University, USA)
Article: cc16main-mainid30-p (type: Full Paper (11 pages)) doi:

Run-Time Techniques

Safe and Flexible Adaptation via Alternate Data Structure Representations
Amlan Kusum, Iulian Neamtiu, and Rajiv Gupta
(University of California at Riverside, USA; New Jersey Institute of Technology, USA)
Article: cc16main-mainid102-p (type: Full Paper (11 pages)) doi:

Relaxed Dependence Tracking for Parallel Runtime Support
Minjia Zhang, Swarnendu Biswas, and Michael D. Bond
(Ohio State University, USA)
Article: cc16main-mainid6-p (type: Full Paper (11 pages)) doi:

Kindergarten Cop: Dynamic Nursery Resizing for GHC
Henrique Ferreiro, Laura Castro, Vladimir Janjic, and Kevin Hammond
(Universidade da Coruña, Spain; University of St. Andrews, UK)
Article: cc16main-mainid94-p (type: Full Paper (11 pages)) doi:

Verified Compilation

Verified Construction of Static Single Assignment Form
Sebastian Buchwald, Denis Lohner, and Sebastian Ullrich
(KIT, Germany)
Article: cc16main-mainid43-p (type: Full Paper (11 pages)) doi:

Mechanizing Conventional SSA for a Verified Destruction with Coalescing
Delphine Demange and Yon Fernandez de Retana
(University of Rennes 1, France; IRISA, France; Inria, France)
Article: cc16main-mainid57-p (type: Full Paper (11 pages)) doi:

Reachability and Error Diagnosis in LR(1) Parsers
François Pottier
(Inria, France)
Article: cc16main-mainid10-p (type: Full Paper (11 pages)) doi:

Verification

Automatic Fault Location for Data Structures
Vineet Singh, Rajiv Gupta, and Iulian Neamtiu
(University of California at Riverside, USA; New Jersey Institute of Technology, USA)
Article: cc16main-mainid33-p (type: Full Paper (11 pages)) doi:

Sparse Representation of Implicit Flows with Applications to Side-Channel Detection
Bruno Rodrigues, Fernando Magno Quintão Pereira, and Diego F. Aranha
(Federal University of Minas Gerais, Brazil; UNICAMP, Brazil)
Article: cc16main-mainid26-p (type: Full Paper (11 pages)) doi:

Energy and Dynamic Checking

Multiversioned Decoupled Access-Execute: The Key to Energy-Efficient Compilation of General-Purpose Programs
Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean
(Uppsala University, Sweden; University of Lugano, Switzerland)
Article: cc16main-mainid3-p (type: Full Paper (11 pages)) doi:

Heap Bounds Protection with Low Fat Pointers
Gregory J. Duck and Roland H. C. Yap
(National University of Singapore, Singapore)
Article: cc16main-mainid89-p (type: Full Paper (11 pages)) doi:

Static and Dynamic Optimization

Register Allocation and Promotion through Combined Instruction Scheduling and Loop Unrolling
Łukasz Domagała, Duco van Amstel, Fabrice Rastello, and P. Sadayappan
(Inria, France; Ohio State University, USA)
Article: cc16main-mainid63-p (type: Full Paper (11 pages)) doi:

On Fusing Recursive Traversals of K-d Trees
Samyam Rajbhandari, Jinsung Kim, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, Robert J. Harrison, and P. Sadayappan
(Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France; Stony Brook University, USA)
Article: cc16main-mainid83-p (type: Full Paper (11 pages)) doi:

Restrictification of Function Arguments
Victor Hugo Sperle Campos, Péricles Rafael Alves, Henrique Nazaré Santos, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil)
Article: cc16main-mainid28-p (type: Full Paper (11 pages)) doi:

Static Analysis

Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis
Nicholas Ng and Nobuko Yoshida
(Imperial College London, UK)
Article: cc16main-mainid59-p (type: Full Paper (11 pages)) doi:

Static Detection of Energy Defect Patterns in Android Applications
Haowei Wu, Shengqian Yang, and Atanas Rountev
(Ohio State University, USA)
Article: cc16main-mainid50-p (type: Full Paper (11 pages)) doi:

On Fast Large-Scale Program Analysis in Datalog
Bernhard Scholz, Herbert Jordan, Pavle Subotić, and Till Westmann
(Oracle Labs, Australia; University College London, UK; Oracle Labs, USA)
Article: cc16main-mainid37-p (type: Full Paper (11 pages)) doi:

Improved MHP Analyses
Aravind Sankar, Soham Chakraborty, and V. Krishna Nandivada
(IIT Madras, India; MPI-SWS, Germany)
Article: cc16main-mainid32-p (type: Full Paper (11 pages)) doi:

Data Layout and Polyhedral Techniques

Extended Lattice-Based Memory Allocation
Alain Darte, Alexandre Isoard, and Tomofumi Yuki
(CNRS, France; ENS de Lyon, France; Inria, France)
Article: cc16main-mainid96-p (type: Full Paper (11 pages)) doi:

Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality
Cédric Bastoul
(University of Strasbourg, France; Inria, France)
Article: cc16main-mainid36-p (type: Full Paper (11 pages)) doi:

Automatic Data Layout Generation and Kernel Mapping for CPU+GPU Architectures
Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik, and Vivek Sarkar
(Rice University, USA; Intel, USA)
Article: cc16main-mainid25-p (type: Full Paper (11 pages)) doi:

Input Space Splitting for OpenCL
Simon Moll, Johannes Doerfert, and Sebastian Hack
(Saarland University, Germany)
Article: cc16main-mainid41-p (type: Full Paper (11 pages)) doi:

Tool Demonstrations

GreenThumb: Superoptimizer Construction Framework
Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodik, and Dinakar Dhurjati
(University of California at Berkeley, USA; Google, USA; University of Washington, USA; Qualcomm Research, USA)
Article: cc16main-mainid85-p (type: Short Paper (2 pages)) doi:

Register Allocation and Instruction Scheduling in Unison
Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, and Christian Schulte
(Swedish Institute of Computer Science, Sweden; KTH, Sweden)
Article: cc16main-mainid7-p (type: Short Paper (2 pages)) doi:

SVF: Interprocedural Static Value-Flow Analysis in LLVM
Yulei Sui and Jingling Xue
(UNSW, Australia)
Article: cc16main-mainid12-p (type: Short Paper (2 pages)) doi:

Iguana: A Practical Data-Dependent Parsing Framework
Ali Afroozeh and Anastasia Izmaylova
(CWI, Netherlands)
Article: cc16main-mainid78-p (type: Short Paper (2 pages)) doi:

SYCO: A Systematic Testing Tool for Concurrent Objects
Elvira Albert, Miguel Gómez-Zamalloa, and Miguel Isabel
(Complutense University of Madrid, Spain)
Article: cc16main-mainid93-p (type: Short Paper (2 pages)) doi: