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)