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
Article: cc18foreword-fm000-p doi:
Message from the General Chair
Article: cc18foreword-fm001-p doi:
Message from the Program Chair
Article: cc18foreword-fm004-p doi:
CC 2018 Conference Organization
Article: cc18foreword-fm002-p doi:
Sponsor
Article: cc18foreword-fm003-p doi:

Keynote

Rethinking Compilers in the Rise of Machine Learning and AI (Keynote)
Xipeng Shen
(North Carolina State University, USA)
Publisher's Version Article: cc18main-a1-p doi:10.1145/3178372.3183634
Compiler and Language Design for Quantum Computing (Keynote)
Bettina Heim
(Microsoft Research, USA)
Publisher's Version Article: cc18main-a2-p doi:10.1145/3178372.3183636

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: cc18main-p24-p doi:10.1145/3178372.3179507
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: cc18main-p32-p doi:10.1145/3178372.3179509
Polyhedral Expression Propagation
Johannes Doerfert, Shrey Sharma, and Sebastian Hack
(Saarland University, Germany)
Publisher's Version Article: cc18main-p73-p doi:10.1145/3178372.3179529

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: cc18main-p17-p doi:10.1145/3178372.3179497
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: cc18main-p51-p doi:10.1145/3178372.3179519
Parallel Sparse Flow-Sensitive Points-to Analysis
Jisheng Zhao, Michael G. Burke, and Vivek Sarkar
(Rice University, USA)
Publisher's Version Article: cc18main-p50-p doi:10.1145/3178372.3179517

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: cc18main-p62-p doi:10.1145/3178372.3179523
Finding Missed Compiler Optimizations by Differential Testing
Gergö Barany
(Inria, France)
Publisher's Version Article: cc18main-p57-p doi:10.1145/3178372.3179521
Fast and Flexible Instruction Selection with Constraints
Patrick Thier, M. Anton Ertl, and Andreas Krall
(Vienna University of Technology, Austria)
Publisher's Version Article: cc18main-p20-p doi:10.1145/3178372.3179501

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: cc18main-p23-p doi:10.1145/3178372.3179505
Termination Checking and Task Decomposition for Task-Based Intermittent Programs
Alexei Colin and Brandon Lucia
(Carnegie Mellon University, USA)
Publisher's Version Article: cc18main-p64-p doi:10.1145/3178372.3179525
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: cc18main-p15-p doi:10.1145/3178372.3179495

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: cc18main-p18-p doi:10.1145/3178372.3179499
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: cc18main-p41-p doi:10.1145/3178372.3179515
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: cc18main-p22-p doi:10.1145/3178372.3179503

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: cc18main-p38-p doi:10.1145/3178372.3179513
Generalized Profile-Guided Iterator Recognition
Stanislav Manilov, Christos Vasiladiotis, and Björn Franke
(University of Edinburgh, UK)
Publisher's Version Article: cc18main-p37-p doi:10.1145/3178372.3179511
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: cc18main-p69-p doi:10.1145/3178372.3179527

proc time: 0.03