Program

Workshop/Tutorials Day One: Saturday 16th

08:00 - 12:00Science, Art, Voodoo: Using and Developing The Graal JIT Compiler. Room: George Washington University Room.
Tutorial: Vulkan: Graphics and compute compilation on GPU. Room: Magnolia Room.
12:00 - 13:00Lunch
13:00 - 17:00Science, Art, Voodoo: Using and Developing The Graal JIT Compiler. Room: George Washington University Room.
The First International Workshop on the Intersection of High Performance Computing and Machine Learning. Room: Magnolia Room.

Workshop/Tutorials Day Two: Sunday 17th

08:00 - 12:00LLVM Performance Workshop. Room: Georgetown University Room.
Optimization, Modeling, Auto-Tuning and Space Exploration (OMASE) Workshop. Room: George Washington University Room.
Workshop on Compilers for Machine Learning (C4ML). Room: Magnolia Room.
12:00 - 13:00Lunch
13:00 - 17:00LLVM Performance Workshop. Room: Georgetown University Room.
International Workshop On Code Optimisation For Multi And Many-Cores (COSMIC). Room: George Washington University Room.
Workshop on Compilers for Machine Learning (C4ML). Room: Magnolia Room.
18:00 - 20:00Conference reception and poster session. Room: Mezzanine Foyer

Main Conference Day One: Monday 18th

08:15 - 09:30Planery Session. Room: Salon 6
Towards Secure High-Performance Computer Architectures
Chairs’ welcome and HPCA Keynote: Srini Devadas (MIT)
09:35 - 10:25Session 1: Binary Optimization. Session Chair: Uma Srinivasan. Room: University of DC / Catholic University Room.
  • BOLT: A Practical Binary Optimizer for Data Centers and Beyond
    Maksim Panchenko, Rafael Auler, and Guilherme Ottoni (Facebook); Bill Nell (unaffiliated)
  • Janus: Statically-Driven and Profile-Guided Automatic Dynamic Binary Parallelization
    Ruoyu Zhou and Timothy M. Jones (University of Cambridge)
10:25 - 10:55Coffee Break
10:55 - 12:35Session 2: Bugs and Security. Session Chair: Ben Zorn. Room: University of DC / Catholic University Room.
  • Smokestack: Thwarting DOP Attacks with Runtime Stack Layout Randomization
    Misiker Tadesse Aga and Todd Austin (University of Michigan)
  • Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries
    Jay P. Lim and Santosh Nagarakatte (Rutgers University)
  • CSOD: Context-Sensitive Overflow Detection
    Hongyu Liu, Sam Silvestro, Xiaoyin Wang, Lide Duan, and Tongping Liu (the University of Texas at San Antonio)
  • Reasoning about the Node.js Event Loop Using Async Graphs
    Haiyang Sun (Università della Svizzera italiana); Daniele Bonetta (Oracle Labs); Filippo Schiavio and Walter Binder (Università della Svizzera italiana)
12:35 - 14:00Lunch
14:00 - 15:40Panel: From Research to Practice in Emerging Domains. Room: University of DC / Catholic University Room.
15:40 - 16:10Coffee Break
16:10 - 18:00SRC Presentations. Room: University of DC / Catholic University Room.
17:00 - 18:00CGO Artifact Evaluation session. Room: the Gallaudet University Room.
18:00 - 19:00CGO Business Meeting. Room: University of DC / Catholic University Room.

Main Conference Day Two: Tuesday 19th

08:15 - 09:30Planery Session. Room: Salon 6.
When Moore met Feynman: Ultra-dense data storage and extreme parallelism with electronic-molecular systems
PPoPP Keynote: Karin Strauss (Microsoft Research)
09:35 - 10:25Session 3: GPUs & Tensors. Session Chair: Michel Steuwer. Room: University of DC / Catholic University Room.
  • Automatic Generation of Warp-Level Primitives and Atomic Instructions for Fast and Portable Parallel Reduction on GPUs
    Simon Garcia De Gonzalo and Sitao Huang (University of Illinois at Urbana–Champaign); Juan Gomez-Luna (Swiss Federal Institute of Technology(ETH) Zurich); Simon Hammond (Sandia National Laboratories); Onur Mutlu (Swiss Federal Institute of Technology (ETH) Zurich); Wen-mei Hwu (University of Illinois at Urbana–Champaign)
  • A Code Generator for High-Performance Tensor Contractions on GPUs
    Jinsung Kim, Aravind Sukumaran-Rajam, and Vineeth Thumma (The Ohio State University); Sriram Krishnamoorthy and Ajay Panyala (Pacific Northwest National Laboratory); Louis-Noel Pouchet (Colorado State University); Atanas Rountev and P. Sadayappan (The Ohio State University)
10:25 - 10:55Coffee Break
10:55 - 12:35Session 4: Potpourri. Session Chair: Pavlos Petoumenos. Room: University of DC / Catholic University Room.
  • Transforming Query Sequences for High-Throughput B+ Tree Processing on Many-core Processors
    Ruiqin Tian (College of William and Mary); Junqiao Qiu and Zhijia Zhao (University of California, Riverside); Xu Liu and Bin Ren (College of William and Mary)
  • Quantifying and Reducing Execution Variance in STM via Model Driven Commit Optimization
    Girish Mururu, Ada Gavrilovska, and Santosh Pande (Georgia Institute of Technology)
  • White-Box Program Tuning
    Wen-Chuan Lee, Yingqi Liu, Peng Liu, Shiqing Ma, Hongjun Choi, and Xiangyu Zhang (Purdue University); Rajiv Gupta (UC Riverside)
  • Generation of In-Bounds Inputs for Arrays in Memory-Unsafe Languages
    Marcus Rodrigues, Breno Guimaraes, and Fernando Quintao (UFMG)
12:35 - 14:00Lunch
14:00 - 15:15Session 5: Code Generation. Session Chair: Santosh Pande. Room: University of DC / Catholic University Room.
  • Function Merging by Sequence Alignment
    Rodrigo C. O. Rocha and Pavlos Petoumenos (University of Edinburgh, UK); Zheng Wang (Lancaster University, UK); Murray Cole and Hugh Leather (University of Edinburgh, UK)
  • An Optimization-Driven Incremental Inline Substitution Algorithm for Just-In-Time Compilers
    Aleksandar Prokopec and Gilles Duboscq (Oracle Labs); David Leopoldseder (Johannes Kepler University Linz); Thomas Wuerthinger (Oracle Labs)
  • Tensor Algebra Compilation with Workspaces
    Fredrik Kjolstad, Peter Ahrens, Shoaib Kamil, and Saman Amarasinghe (MIT)
15:15 - 15:45Coffee Break
15:45 - 17:00Session 6: Kernel Optimization. Session Chair: Fredrik Kjolstad. Room: University of DC / Catholic University Room.
  • Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code
    Riyadh Baghdadi, Jessica Ray, and Malek Ben Romdhane (MIT); Emanuele Del Sozzo (Politecnico di Milano); Abdurrahman Akkas and Yunming Zhang (MIT); Patricia Suriana (Google); Shoaib Kamil (Adobe); Saman Amarasinghe (MIT)
  • Super-Node SLP: Optimized Vectorization for Code Sequences Containing Operators and their Inverse Elements
    Vasileios Porpodas (Intel Corporation); Rodrigo C. O. Rocha (University of Edinburgh); Evgueni Brevnov (Intel Corporation); Luis F. W. Goes (PUC Minas); Timothy Mattson (Intel Corporation)
  • Locus: a System and a Language for Program Optimization
    Thiago S F X Teixeira (University of Illinois at Urbana-Champaign); Corinne Ancourt (Mines ParisTech); David Padua and William Gropp (University of Illinois at Urbana-Champaign)
19:00 - 22:00Excursion and banquet dinner.

Main Conference Day Three: Wed 20th

08:15 - 09:30Planery Session. Room: Salon 6.
Rethinking Compilation in a Heterogeneous World
CGO Keynote: Michael O’Boyle (University of Edinburgh)
09:35 - 10:50Session 7: GPUs. Session Chair: Xu Liu. Room: University of DC / Catholic University Room.
  • Decoding CUDA Binary
    Ari B. Hayes, Fei Hua, Jin Huang, Yanhao Chen, and Eddy Z. Zhang (Rutgers University)
  • From Loop Fusion to Kernel Fusion: A Domain-specific Approach to Locality Optimization
    Bo Qiao, Oliver Reiche, Frank Hannig, and Jürgen Teich (Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU))
  • IGC: The Open Source Intel Graphics Compiler
    Weiyu Chen, Po-yu Chen, Guei-Yuan Lueh, Peng Guo, Wei Pan, Thomas F Raoux, Pankaj Mistry, Gang Y Chen, Shruthi Hebbur Prasanna Kumar, Junjie Gu, Konrad Trifunovic, and Anupama Chandrasekhar (Intel)
10:50 - 11:20Coffee Break
11:20 - 11:40Awards; Closing Remarks. Room: University of DC / Catholic University Room.