Accepted Papers

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)

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)

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)

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)

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)