Program

Saturday 24th Feburary 2018

08:30 - 08:45	Opening
08:45 - 10:00	Keynote Rethinking Compilers in the Rise of Machine Learning and AI Xipeng Shen (North Carolina State University, USA) Chair: Jingling Xue
10:00 - 10:30	Coffe Break
10:30 - 12:00	Session 1: Polyhedral Compilation Chair: Jeronimo Castrillon 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) A Polyhedral Compilation Framework for Loops with Dynamic Data-Dependent Bounds Jie Zhao, Michael Kruse, and Albert Cohen (Inria, France; ENS, France) Polyhedral Expression Propagation Johannes Doerfert, Shrey Sharma, and Sebastian Hack (Saarland University, Germany)
12:00 - 13:30	Lunch
13:30 - 15:00	Session 2: Data-Flow and Pointer/Alias Analysis Chair: Jose Nelson Amaral Computing Partially Path-Sensitive MFP Solutions in Data Flow Analyses Komal Pathade and Uday P. Khedker (Tata Consultancy Services, India; IIT Bombay, India) 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) Parallel Sparse Flow-Sensitive Points-to Analysis Jisheng Zhao, Michael G. Burke, and Vivek Sarkar (Rice University, USA)
15:00 - 15:30	Coffe Break
15:30 - 17:00	Session 3: Code Generation and Optimisation Chair: Xipeng Shen 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) Finding Missed Compiler Optimizations by Differential Testing Gergö Barany (Inria, France) Fast and Flexible Instruction Selection with Constraints Patrick Thier, M. Anton Ertl, and Andreas Krall (Vienna University of Technology, Austria)
18:15	Departure of the busses to the Socal Event: Heurigen
18:30 - 22:00	Social Event: Heurigen

Sunday 25th Feburary 2018

08:45 - 10:00	Keynote Compiler and Language Design for Quantum Computing Bettina Heim (Microsoft Research, USA) Chair: Christophe Dubach
10:00 - 10:30	Coffe Break
10:30 - 12:00	Session 4: Compilation for Specialised Domains Chair: Björn Franke Compiling for Concise Code and Efficient I/O Sebastian Ertel, Andrés Goens, Justus Adam, and Jeronimo Castrillon (TU Dresden, Germany) Termination Checking and Task Decomposition for Task-Based Intermittent Programs Alexei Colin and Brandon Lucia (Carnegie Mellon University, USA) 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)
12:00 - 13:30	Lunch
13:30 - 15:00	Session 5: Code Translation and Transformation Chair: Sebastian Hack 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) CAnDL: A Domain Specific Language for Compiler Analysis Philip Ginsbach, Lewis Crawford, and Michael F. P. O'Boyle (University of Edinburgh, UK) 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)
15:00 - 15:30	Coffe Break
15:30 - 17:00	Session 6: Compile- and Run-Time Analysis Chair: Michel Steuwer 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) Generalized Profile-Guided Iterator Recognition Stanislav Manilov, Christos Vasiladiotis, and Björn Franke (University of Edinburgh, UK) 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)