Powered by
28th International Conference on Compiler Construction (CC 2019), February 16–17, 2019,
Washington, DC, USA
Frontmatter
Keynote
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)
@InProceedings{CC19p17,
author = {Ying Liu and Lei Huang and Mingchuan Wu and Huimin Cui and Fang Lv and Xiaobing Feng and Jingling Xue},
title = {PPOpenCL: A Performance-Portable OpenCL Compiler with Host and Kernel Thread Code Fusion},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3302516.3307350},
year = {2019},
}
Publisher's Version
Enabling Prefix Sum Parallelism Pattern for Recurrences with Principled Function Reconstruction
Yang Xia,
Peng Jiang, and
Gagan Agrawal
(Ohio State University, USA)
@InProceedings{CC19p33,
author = {Yang Xia and Peng Jiang and Gagan Agrawal},
title = {Enabling Prefix Sum Parallelism Pattern for Recurrences with Principled Function Reconstruction},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3302516.3307354},
year = {2019},
}
Publisher's Version
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)
@InProceedings{CC19p49,
author = {Charith Mendis and Ajay Jain and Paras Jain and Saman Amarasinghe},
title = {Revec: Program Rejuvenation through Revectorization},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3302516.3307357},
year = {2019},
}
Publisher's Version
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)
@InProceedings{CC19p65,
author = {Takafumi Kubota and Yusuke Suzuki and Kenji Kono},
title = {To Unify or Not to Unify: A Case Study on Unified Builds (in WebKit)},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3302516.3307347},
year = {2019},
}
Publisher's Version
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)
@InProceedings{CC19p81,
author = {Prasanna Kumar K. and Amitabha Sanyal and Amey Karkare and Saswat Padhi},
title = {A Static Slicing Method for Functional Programs and Its Incremental Version},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3302516.3307345},
year = {2019},
}
Publisher's Version
Codestitcher: Inter-procedural Basic Block Layout Optimization
Rahman Lavaee,
John Criswell, and
Chen Ding
(University of Rochester, USA)
@InProceedings{CC19p97,
author = {Rahman Lavaee and John Criswell and Chen Ding},
title = {Codestitcher: Inter-procedural Basic Block Layout Optimization},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {97-96},
doi = {10.1145/3302516.3307358},
year = {2019},
}
Publisher's Version
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)
@InProceedings{CC19p113,
author = {James Renwick and Tom Spink and Björn Franke},
title = {Low-Cost Deterministic C++ Exceptions for Embedded Systems},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3302516.3307346},
year = {2019},
}
Publisher's Version
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)
@InProceedings{CC19p129,
author = {Bongjun Kim and Seonyeong Heo and Gyeongmin Lee and Seungbin Song and Jong Kim and Hanjun Kim},
title = {Spinal Code: Automatic Code Extraction for Near-User Computation in Fogs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {129-128},
doi = {10.1145/3302516.3307356},
year = {2019},
}
Publisher's Version
Property Caches Revisited
Manuel Serrano and
Marc Feeley
(Inria, France; University of Côte d'Azur, France; Université de Montréal, Canada)
@InProceedings{CC19p145,
author = {Manuel Serrano and Marc Feeley},
title = {Property Caches Revisited},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3302516.3307344},
year = {2019},
}
Publisher's Version
Accelerating Web Application Loading with Snapshot of Event and DOM Handling
JiHwan Yeo,
JinSeok Oh, and
Soo-Mook Moon
(Seoul National University, South Korea)
@InProceedings{CC19p161,
author = {JiHwan Yeo and JinSeok Oh and Soo-Mook Moon},
title = {Accelerating Web Application Loading with Snapshot of Event and DOM Handling},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {161-160},
doi = {10.1145/3302516.3307355},
year = {2019},
}
Publisher's Version
Static and Dynamic Analysis
GPU-Accelerated Fixpoint Algorithms for Faster Compiler Analyses
Thorsten Blaß and
Michael Philippsen
(University of Erlangen-Nuremberg, Germany)
@InProceedings{CC19p177,
author = {Thorsten Blaß and Michael Philippsen},
title = {GPU-Accelerated Fixpoint Algorithms for Faster Compiler Analyses},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {177-176},
doi = {10.1145/3302516.3307352},
year = {2019},
}
Publisher's Version
Compare Less, Defer More: Scaling Value-Contexts Based Whole-Program Heap Analyses
Manas Thakur and
V. Krishna Nandivada
(IIT Madras, India)
@InProceedings{CC19p193,
author = {Manas Thakur and V. Krishna Nandivada},
title = {Compare Less, Defer More: Scaling Value-Contexts Based Whole-Program Heap Analyses},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {193-192},
doi = {10.1145/3302516.3307359},
year = {2019},
}
Publisher's Version
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)
@InProceedings{CC19p209,
author = {Tong Zhou and Michael R. Jantz and Prasad A. Kulkarni and Kshitij A. Doshi and Vivek Sarkar},
title = {Valence: Variable Length Calling Context Encoding},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {209-208},
doi = {10.1145/3302516.3307351},
year = {2019},
}
Publisher's Version
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)
@InProceedings{CC19p225,
author = {Komal Pathade and Uday P. Khedker},
title = {Path Sensitive MFP Solutions in Presence of Intersecting Infeasible Control Flow Path Segments},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {225-224},
doi = {10.1145/3302516.3307349},
year = {2019},
}
Publisher's Version
Scientific Computing Concerns
Automatic Adaptive Approximation for Stencil Computations
Maxime Schmitt,
Philippe Helluy, and
Cédric Bastoul
(University of Strasbourg, France; Inria, France)
@InProceedings{CC19p241,
author = {Maxime Schmitt and Philippe Helluy and Cédric Bastoul},
title = {Automatic Adaptive Approximation for Stencil Computations},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {241-240},
doi = {10.1145/3302516.3307348},
year = {2019},
}
Publisher's Version
Efficient Concolic Testing of MPI Applications
Hongbo Li,
Zizhong Chen, and
Rajiv Gupta
(University of California at Riverside, USA)
@InProceedings{CC19p273,
author = {Hongbo Li and Zizhong Chen and Rajiv Gupta},
title = {Efficient Concolic Testing of MPI Applications},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {273-272},
doi = {10.1145/3302516.3307353},
year = {2019},
}
Publisher's Version
proc time: 0.64