Program

Saturday 16th February 2019

08:15 - 08:30 Opening — J Nelson Amaral (University of Alberta)
08:30 - 10:15 Keynote Chair: Bjoern Franke (University of Edinburgh)
  • The Sparse Tensor Algebra Compiler
    Saman Amarasinghe (MIT CSAIL, USA)
10:15 - 10:45 Coffee Break
10:45 - 12:00 Session 1: Accelerators and Vectorization
Chair: Louis-Noel Pouchet (Colorado State University)
  • PPOpenCL: A Performance-Portable OpenCL Compiler with Host and Kernel Thread Code Fusion
    Ying Liu1, Lei Huang1, Mingchuan Wu1, Huimin Cui1, Fang Lv1, Xiaobing Feng1, Jingling Xue2 (1 Chinese Academy of Sciences, China; 2 University of New South Wales, Australia)
  • Enabling Prefix Sum Parallelism Pattern for Recurrences with Principled Function Reconstruction
    Yang Xia, Peng Jiang, Gagan Agrawal (The Ohio State University, USA)
  • Revec: Program Rejuvenation through Revectorization
    Charith Mendis1, Ajay Jain1, Paras Jain2, Saman Amarasinghe1 (1 MIT CSAIL, USA; 2 UC Berkeley, USA)
12:00 - 13:30 Lunch
13:30 - 14:45 Session 2: Compilation
Chair: V Krishna Nandivada (IIT Madras)
  • To Unify or Not To Unify: A Case Study on Unified Builds (in WebKit)
    Takafumi Kubota, Yusuke Suzuki, Kenji Kono (Keio University, Japan)
  • A Static Slicing Method for Functional Programs and Its Incremental Version
    Prasanna Kumar1, Amitabha Sanyal1, Amey Karkare2, Saswat Padhi3 (1 IIT Bombay, India; 2 IIT Kanpur, India; 3 UCLA, USA)
  • Codestitcher: Inter-Procedural Basic Block Layout Optimization
    Rahman Lavaee1, John Criswell2, Chen Ding2 (1 Google, USA; 2 University of Rochester, USA)
14:45 - 15:15 Break
15:15 - 17:00 Session 3: Embedded, IoT, and Web Programming
Chair: J. Nelson Amaral (University of Alberta)
  • Low-cost Deterministic C++ Exceptions for Embedded Systems
    James Renwick, Tom Spink, Björn Franke (University of Edinburgh, UK)
  • Spinal Code: Automatic Code Extraction for Near-User Computation in Fogs
    Bongjun Kim1, Seonyeong Heo1, Gyeongmin Lee1, Seungbin Song2, Jong Kim1, Hanjun Kim2 (1 POSTECH, South Korea; 2 Yonsei University, South Korea)
  • Property Caches Revisited
    Manuel Serrano1, Marc Feely2 (1 INRIA, France; 2 Université de Montréal, Canada)
  • Accelerating Web Application Loading with Snapshot of Event and DOM Handling
    JiHwan Yeo, JinSeok Oh, Soo-Mook Moon (Seoul National University, South Korea)

Sunday 17th February 2019

8:30 - 10:15 Session 4: Static and Dynamic Analysis
Chair: Chen Ding (University of Rochester)
  • GPU-Accelerated Fixpoint Algorithms for Faster Compiler Analyses
    Thorsten Blaß, Michael Philippsen (FAU Erlangen-Nuremberg, Germany)
  • Compare less, Defer more: Scaling value-contexts based whole-program heap analyses
    Manas Thakur, V Krishna Nandivada (IIT Madras, India)
  • Valence: Variable Length Calling Context Encoding
    Tong Zhou1, Michael R. Jantz2, Prasad A. Kulkarni3, Kshitij A. Doshi4, Vivek Sarkar1 (1 Georgia Institute of Technology, USA; 2 University of Tennessee, USA; 3 University of Kansas, USA; 4 Intel Corporation, USA)
  • Path Sensitive MFP solutions in Presence of Intersecting Infeasible Control Flow Path Segments
    Komal Pathade, Uday P. Khedker (IIT Bombay, India)
10:15 - 10:45 Break
10:45 - 12:00 Session 5: Wild Cards
Chair: Albert Cohen (INRIA)
  • Automatic Adaptive Approximation for Stencil Computations
    Maxime Schmitt, Cédric Bastoul, Philippe Helluy (University of Strasbourg / Inria, France)
  • Efficiency and Expressiveness in UW-OpenMP
    Raghesh Aloor, V. Krishna Nandivada (IIT Madras, India)
  • Efficient Concolic Testing of MPI Applications
    Hongbo Li, Zizhong Chen, Rajiv Gupta (UC Riverside, USA)