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 Shen
(North Carolina State University, USA)
Publisher's Version Article Search
Compiler and Language Design for Quantum Computing (Keynote)
Bettina Heim
(Microsoft Research, USA)
Publisher's Version Article Search

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 Article Search
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 Article Search
Polyhedral Expression Propagation
Johannes Doerfert, Shrey Sharma, and Sebastian Hack
(Saarland University, Germany)
Publisher's Version Article Search

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 Article Search
An Efficient Data Structure for Must-Alias Analysis
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, and Yannis Smaragdakis
(University of Athens, Greece; University of Texas at Austin, USA)
Publisher's Version Article Search
Parallel Sparse Flow-Sensitive Points-to Analysis
Jisheng Zhao, Michael G. Burke, and Vivek Sarkar
(Rice University, USA)
Publisher's Version Article Search

Code Generation and Optimisation

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

Compilation for Specialised Domains

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

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
(Aalborg University, Denmark; University of Waterloo, Canada)
Publisher's Version Article Search
CAnDL: A Domain Specific Language for Compiler Analysis
Philip Ginsbach, Lewis Crawford, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
Publisher's Version Article Search
Semantic Reasoning about the Sea of Nodes
Delphine Demange, Yon Fernández de Retana, and David Pichardie
(Univ Rennes, France; Inria, France; CNRS, France; IRISA, France)
Publisher's Version Article Search

Compile- and Run-Time Analysis

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

proc time: 2.55