CC 2018 – Proceedings

Frontmatter

Keynote

Rethinking Compilers in the Rise of Machine Learning and AI (Keynote)
Xipeng Shen
(North Carolina State University, USA)


@InProceedings{CC18p1, author = {Xipeng Shen}, title = {Rethinking Compilers in the Rise of Machine Learning and AI (Keynote)}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3178372.3183634}, year = {2018}, } Publisher's Version

Compiler and Language Design for Quantum Computing (Keynote)
Bettina Heim
(Microsoft Research, USA)


@InProceedings{CC18p12, author = {Bettina Heim}, title = {Compiler and Language Design for Quantum Computing (Keynote)}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {12-11}, doi = {10.1145/3178372.3183636}, year = {2018}, } 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)


@InProceedings{CC18p23, author = {Oleksandr Zinenko and Sven Verdoolaege and Chandan Reddy and Jun Shirako and Tobias Grosser and Vivek Sarkar and Albert Cohen}, title = {Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3178372.3179507}, year = {2018}, } 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)


@InProceedings{CC18p34, author = {Jie Zhao and Michael Kruse and Albert Cohen}, title = {A Polyhedral Compilation Framework for Loops with Dynamic Data-Dependent Bounds}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {34-33}, doi = {10.1145/3178372.3179509}, year = {2018}, } Publisher's Version

Polyhedral Expression Propagation
Johannes Doerfert, Shrey Sharma, and Sebastian Hack
(Saarland University, Germany)


@InProceedings{CC18p45, author = {Johannes Doerfert and Shrey Sharma and Sebastian Hack}, title = {Polyhedral Expression Propagation}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3178372.3179529}, year = {2018}, } 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)


@InProceedings{CC18p57, author = {Komal Pathade and Uday P. Khedker}, title = {Computing Partially Path-Sensitive MFP Solutions in Data Flow Analyses}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {57-56}, doi = {10.1145/3178372.3179497}, year = {2018}, } Publisher's Version

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)


@InProceedings{CC18p68, author = {George Kastrinis and George Balatsouras and Kostas Ferles and Nefeli Prokopaki-Kostopoulou and Yannis Smaragdakis}, title = {An Efficient Data Structure for Must-Alias Analysis}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {68-67}, doi = {10.1145/3178372.3179519}, year = {2018}, } Publisher's Version

Parallel Sparse Flow-Sensitive Points-to Analysis
Jisheng Zhao, Michael G. Burke, and Vivek Sarkar
(Rice University, USA)


@InProceedings{CC18p79, author = {Jisheng Zhao and Michael G. Burke and Vivek Sarkar}, title = {Parallel Sparse Flow-Sensitive Points-to Analysis}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {79-78}, doi = {10.1145/3178372.3179517}, year = {2018}, } Publisher's Version

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)


@InProceedings{CC18p91, author = {Jacob Brock and Chen Ding and Xiaoran Xu and Yan Zhang}, title = {PAYJIT: Space-Optimal JIT Compilation and Its Practical Implementation}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3178372.3179523}, year = {2018}, } Publisher's Version

Finding Missed Compiler Optimizations by Differential Testing
Gergö Barany
(Inria, France)


@InProceedings{CC18p102, author = {Gergö Barany}, title = {Finding Missed Compiler Optimizations by Differential Testing}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {102-101}, doi = {10.1145/3178372.3179521}, year = {2018}, } Publisher's Version

Fast and Flexible Instruction Selection with Constraints
Patrick Thier, M. Anton Ertl, and Andreas Krall
(Vienna University of Technology, Austria)


@InProceedings{CC18p113, author = {Patrick Thier and M. Anton Ertl and Andreas Krall}, title = {Fast and Flexible Instruction Selection with Constraints}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {113-112}, doi = {10.1145/3178372.3179501}, year = {2018}, } 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
(TU Dresden, Germany)


@InProceedings{CC18p124, author = {Sebastian Ertel and Andrés Goens and Justus Adam and Jeronimo Castrillon}, title = {Compiling for Concise Code and Efficient I/O}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {124-123}, doi = {10.1145/3178372.3179505}, year = {2018}, } Publisher's Version

Termination Checking and Task Decomposition for Task-Based Intermittent Programs
Alexei Colin and Brandon Lucia
(Carnegie Mellon University, USA)


@InProceedings{CC18p136, author = {Alexei Colin and Brandon Lucia}, title = {Termination Checking and Task Decomposition for Task-Based Intermittent Programs}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {136-135}, doi = {10.1145/3178372.3179525}, year = {2018}, } Publisher's Version

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)


@InProceedings{CC18p148, author = {Rumyana Neykova and Raymond Hu and Nobuko Yoshida and Fahd Abdeljallal}, title = {A Session Type Provider: Compile-Time API Generation of Distributed Protocols with Refinements in F#}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {148-147}, doi = {10.1145/3178372.3179495}, year = {2018}, } 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
(Aalborg University, Denmark; University of Waterloo, Canada)


@InProceedings{CC18p159, author = {Magnus Madsen and Ramin Zarifi and Ondřej Lhoták}, title = {Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {159-158}, doi = {10.1145/3178372.3179499}, year = {2018}, } Publisher's Version

CAnDL: A Domain Specific Language for Compiler Analysis
Philip Ginsbach, Lewis Crawford, and Michael F. P. O'Boyle
(University of Edinburgh, UK)


@InProceedings{CC18p171, author = {Philip Ginsbach and Lewis Crawford and Michael F. P. O'Boyle}, title = {CAnDL: A Domain Specific Language for Compiler Analysis}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {171-170}, doi = {10.1145/3178372.3179515}, year = {2018}, } Publisher's Version

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)


@InProceedings{CC18p183, author = {Delphine Demange and Yon Fernández de Retana and David Pichardie}, title = {Semantic Reasoning about the Sea of Nodes}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {183-182}, doi = {10.1145/3178372.3179503}, year = {2018}, } 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, Murray Cole, and Björn Franke
(Qualcomm Innovation Center, USA; University of Edinburgh, UK)


@InProceedings{CC18p194, author = {Tobias J. K. Edler von Koch and Stanislav Manilov and Christos Vasiladiotis and Murray Cole and Björn Franke}, title = {Towards a Compiler Analysis for Parallel Algorithmic Skeletons}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {194-193}, doi = {10.1145/3178372.3179513}, year = {2018}, } Publisher's Version

Generalized Profile-Guided Iterator Recognition
Stanislav Manilov, Christos Vasiladiotis, and Björn Franke
(University of Edinburgh, UK)


@InProceedings{CC18p205, author = {Stanislav Manilov and Christos Vasiladiotis and Björn Franke}, title = {Generalized Profile-Guided Iterator Recognition}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {205-204}, doi = {10.1145/3178372.3179511}, year = {2018}, } Publisher's Version

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)


@InProceedings{CC18p216, author = {Haiyang Sun and Daniele Bonetta and Christian Humer and Walter Binder}, title = {Efficient Dynamic Analysis for Node.js}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {216-215}, doi = {10.1145/3178372.3179527}, year = {2018}, } Publisher's Version

proc time: 0.7