CC 2019 – Proceedings

Frontmatter

Keynote

The Sparse Tensor Algebra Compiler (Keynote)
Saman Amarasinghe
(Massachusetts Institute of Technology, USA)

Publisher's Version Article: cc19main-p65-p (type: Invited Talk Abstract) doi:10.1145/3302516.3307361

Vectors and Accelerators

PPOpenCL: A Performance-Portable OpenCL Compiler with Host and Kernel Thread Code Fusion
Ying Liu, Lei Huang, Mingchuan Wu, Huimin Cui, Fang Lv, Xiaobing Feng, and Jingling Xue
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; UNSW, Australia)

Publisher's Version Article: cc19main-p19-p (type: Full Paper) doi:10.1145/3302516.3307350

Enabling Prefix Sum Parallelism Pattern for Recurrences with Principled Function Reconstruction
Yang Xia, Peng Jiang, and Gagan Agrawal
(Ohio State University, USA)

Publisher's Version Article: cc19main-p42-p (type: Full Paper) doi:10.1145/3302516.3307354

Revec: Program Rejuvenation through Revectorization
Charith Mendis, Ajay Jain, Paras Jain, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; University of California at Berkeley, USA)

Publisher's Version Article: cc19main-p51-p (type: Full Paper) doi:10.1145/3302516.3307357

Effective Compilation

To Unify or Not to Unify: A Case Study on Unified Builds (in WebKit)
Takafumi Kubota, Yusuke Suzuki, and Kenji Kono
(Keio University, Japan)

Publisher's Version Article: cc19main-p12-p (type: Full Paper) doi:10.1145/3302516.3307347

A Static Slicing Method for Functional Programs and Its Incremental Version
Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, and Saswat Padhi
(IIT Bombay, India; IIT Kanpur, India; University of California at Los Angeles, USA)

Publisher's Version Article: cc19main-p4-p (type: Full Paper) doi:10.1145/3302516.3307345

Codestitcher: Inter-procedural Basic Block Layout Optimization
Rahman Lavaee, John Criswell, and Chen Ding
(University of Rochester, USA)

Publisher's Version Article: cc19main-p55-p (type: Full Paper) doi:10.1145/3302516.3307358

Embedded, IoT, and Web Programming

Low-Cost Deterministic C++ Exceptions for Embedded Systems
James Renwick, Tom Spink, and Björn Franke
(University of Edinburgh, UK)

Publisher's Version Article: cc19main-p6-p (type: Full Paper) doi:10.1145/3302516.3307346

Spinal Code: Automatic Code Extraction for Near-User Computation in Fogs
Bongjun Kim, Seonyeong Heo, Gyeongmin Lee, Seungbin Song, Jong Kim, and Hanjun Kim
(POSTECH, South Korea; Yonsei University, South Korea)

Publisher's Version Article: cc19main-p48-p (type: Full Paper) doi:10.1145/3302516.3307356

Property Caches Revisited
Manuel Serrano and Marc Feeley
(Inria, France; University of Côte d'Azur, France; Université de Montréal, Canada)

Publisher's Version Article: cc19main-p1-p (type: Full Paper) doi:10.1145/3302516.3307344

Accelerating Web Application Loading with Snapshot of Event and DOM Handling
JiHwan Yeo, JinSeok Oh, and Soo-Mook Moon
(Seoul National University, South Korea)

Publisher's Version Article: cc19main-p46-p (type: Full Paper) doi:10.1145/3302516.3307355

Static and Dynamic Analysis

GPU-Accelerated Fixpoint Algorithms for Faster Compiler Analyses
Thorsten Blaß and Michael Philippsen
(University of Erlangen-Nuremberg, Germany)

Publisher's Version Article: cc19main-p33-p (type: Full Paper) doi:10.1145/3302516.3307352

Compare Less, Defer More: Scaling Value-Contexts Based Whole-Program Heap Analyses
Manas Thakur and V. Krishna Nandivada
(IIT Madras, India)

Publisher's Version Article: cc19main-p57-p (type: Full Paper) doi:10.1145/3302516.3307359

Valence: Variable Length Calling Context Encoding
Tong Zhou, Michael R. Jantz, Prasad A. Kulkarni, Kshitij A. Doshi, and Vivek Sarkar
(Georgia Institute of Technology, USA; University of Tennessee, USA; University of Kansas, USA; Intel, USA)

Publisher's Version Article: cc19main-p21-p (type: Full Paper) doi:10.1145/3302516.3307351

Path Sensitive MFP Solutions in Presence of Intersecting Infeasible Control Flow Path Segments
Komal Pathade and Uday P. Khedker
(Tata Consultancy Services, India; IIT Bombay, India)

Publisher's Version Article: cc19main-p18-p (type: Full Paper) doi:10.1145/3302516.3307349

Scientific Computing Concerns

Automatic Adaptive Approximation for Stencil Computations
Maxime Schmitt, Philippe Helluy, and Cédric Bastoul
(University of Strasbourg, France; Inria, France)

Publisher's Version Article: cc19main-p13-p (type: Full Paper) doi:10.1145/3302516.3307348

Efficiency and Expressiveness in UW-OpenMP
Raghesh Aloor and V. Krishna Nandivada
(IIT Madras, India)

Publisher's Version Article: cc19main-p64-p (type: Full Paper) doi:10.1145/3302516.3307360

Efficient Concolic Testing of MPI Applications
Hongbo Li, Zizhong Chen, and Rajiv Gupta
(University of California at Riverside, USA)

Publisher's Version Article: cc19main-p36-p (type: Full Paper) doi:10.1145/3302516.3307353

proc time: 0.05