CC 2018
27th International Conference on Compiler Construction (CC 2018)
Powered by
Conference Publishing Consulting

27th International Conference on Compiler Construction (CC 2018), February 24–25, 2018, Vienna, Austria

CC 2018 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the General Chair
Message from the Program Chair
CC 2018 Conference Organization
Sponsor

Keynote

Rethinking Compilers in the Rise of Machine Learning and AI (Keynote)
Xipeng ShenORCID logo
(North Carolina State University, USA)
Publisher's Version
Compiler and Language Design for Quantum Computing (Keynote)
Bettina Heim
(Microsoft Research, USA)
Publisher's Version

Polyhedral Compilation

Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, and Albert Cohen
(Inria, France; ENS, France; KU Leuven, Belgium; Polly Labs, Belgium; Georgia Tech, USA; ETH Zurich, Switzerland)
Publisher's Version
A Polyhedral Compilation Framework for Loops with Dynamic Data-Dependent Bounds
Jie Zhao, Michael Kruse, and Albert Cohen
(Inria, France; ENS, France)
Publisher's Version
Polyhedral Expression Propagation
Johannes Doerfert, Shrey Sharma, and Sebastian HackORCID logo
(Saarland University, Germany)
Publisher's Version

Data-Flow and Pointer/Alias Analysis

Computing Partially Path-Sensitive MFP Solutions in Data Flow Analyses
Komal Pathade and Uday P. Khedker
(Tata Consultancy Services, India; IIT Bombay, India)
Publisher's Version
An Efficient Data Structure for Must-Alias Analysis
George Kastrinis, George Balatsouras, Kostas FerlesORCID logo, Nefeli Prokopaki-Kostopoulou, and Yannis Smaragdakis ORCID logo
(University of Athens, Greece; University of Texas at Austin, USA)
Publisher's Version
Parallel Sparse Flow-Sensitive Points-to Analysis
Jisheng Zhao, Michael G. Burke, and Vivek Sarkar
(Rice University, USA)
Publisher's Version

Code Generation and Optimisation

PAYJIT: Space-Optimal JIT Compilation and Its Practical Implementation
Jacob Brock, Chen DingORCID logo, Xiaoran Xu, and Yan Zhang
(University of Rochester, USA; Rice University, USA; Futurewei Technologies, USA)
Publisher's Version
Finding Missed Compiler Optimizations by Differential Testing
Gergö Barany
(Inria, France)
Publisher's Version Info
Fast and Flexible Instruction Selection with Constraints
Patrick Thier, M. Anton Ertl, and Andreas Krall ORCID logo
(Vienna University of Technology, Austria)
Publisher's Version

Compilation for Specialised Domains

Compiling for Concise Code and Efficient I/O
Sebastian Ertel, Andrés Goens, Justus Adam, and Jeronimo Castrillon ORCID logo
(TU Dresden, Germany)
Publisher's Version
Termination Checking and Task Decomposition for Task-Based Intermittent Programs
Alexei Colin and Brandon Lucia ORCID logo
(Carnegie Mellon University, USA)
Publisher's Version Info
A Session Type Provider: Compile-Time API Generation of Distributed Protocols with Refinements in F#
Rumyana Neykova, Raymond Hu, Nobuko Yoshida ORCID logo, and Fahd Abdeljallal
(Imperial College London, UK)
Publisher's Version

Code Translation and Transformation

Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine
Magnus Madsen, Ramin Zarifi, and Ondřej Lhoták ORCID logo
(Aalborg University, Denmark; University of Waterloo, Canada)
Publisher's Version
CAnDL: A Domain Specific Language for Compiler Analysis
Philip Ginsbach, Lewis Crawford, and Michael F. P. O'Boyle ORCID logo
(University of Edinburgh, UK)
Publisher's Version
Semantic Reasoning about the Sea of Nodes
Delphine Demange ORCID logo, Yon Fernández de Retana, and David Pichardie ORCID logo
(Univ Rennes, France; Inria, France; CNRS, France; IRISA, France)
Publisher's Version

Compile- and Run-Time Analysis

Towards a Compiler Analysis for Parallel Algorithmic Skeletons
Tobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis ORCID logo, Murray Cole, and Björn Franke ORCID logo
(Qualcomm Innovation Center, USA; University of Edinburgh, UK)
Publisher's Version
Generalized Profile-Guided Iterator Recognition
Stanislav Manilov, Christos Vasiladiotis ORCID logo, and Björn Franke ORCID logo
(University of Edinburgh, UK)
Publisher's Version
Efficient Dynamic Analysis for Node.js
Haiyang Sun, Daniele Bonetta ORCID logo, Christian Humer, and Walter Binder ORCID logo
(University of Lugano, Switzerland; Oracle Labs, USA; Oracle Labs, Switzerland)
Publisher's Version

proc time: 3.75