CC 2020 – Proceedings

Frontmatter

Optimizations

Vectorization-Aware Loop Unrolling with Seed Forwarding
Rodrigo C. O. Rocha, Vasileios Porpodas, Pavlos Petoumenos, Luís F. W. Góes, Zheng Wang, Murray Cole, and Hugh Leather
(University of Edinburgh, UK; Intel Corporation, USA; University of Manchester, UK; PUC-MG, Brazil; University of Leeds, UK)


@InProceedings{CC20p1, author = {Rodrigo C. O. Rocha and Vasileios Porpodas and Pavlos Petoumenos and Luís F. W. Góes and Zheng Wang and Murray Cole and Hugh Leather}, title = {Vectorization-Aware Loop Unrolling with Seed Forwarding}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3377555.3377890}, year = {2020}, } Publisher's Version

Secure Delivery of Program Properties through Optimizing Compilation
Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, and Albert Cohen
(Sorbonne University, France; CNRS, France; LIP6, France; ARM, France; Google, France)


@InProceedings{CC20p17, author = {Son Tuan Vu and Karine Heydemann and Arnaud de Grandmaison and Albert Cohen}, title = {Secure Delivery of Program Properties through Optimizing Compilation}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3377555.3377897}, year = {2020}, } Publisher's Version

Mix Your Contexts Well: Opportunities Unleashed by Recent Advances in Scaling Context-Sensitivity
Manas Thakur and V. Krishna Nandivada
(IIT Mandi, India; IIT Madras, India)


@InProceedings{CC20p33, author = {Manas Thakur and V. Krishna Nandivada}, title = {Mix Your Contexts Well: Opportunities Unleashed by Recent Advances in Scaling Context-Sensitivity}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3377555.3377902}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated

Scalable Pointer Analysis of Data Structures using Semantic Models
Pratik Fegade and Christian Wimmer
(Carnegie Mellon University, USA; Oracle Labs, USA)


@InProceedings{CC20p49, author = {Pratik Fegade and Christian Wimmer}, title = {Scalable Pointer Analysis of Data Structures using Semantic Models}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3377555.3377885}, year = {2020}, } Publisher's Version

Techniques for Specific Domains

A Study of Event Frequency Profiling with Differential Privacy
Hailong Zhang, Yu Hao, Sufian Latif, Raef Bassily, and Atanas Rountev
(Ohio State University, USA)


@InProceedings{CC20p65, author = {Hailong Zhang and Yu Hao and Sufian Latif and Raef Bassily and Atanas Rountev}, title = {A Study of Event Frequency Profiling with Differential Privacy}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {65-64}, doi = {10.1145/3377555.3377887}, year = {2020}, } Publisher's Version

Improving Database Query Performance with Automatic Fusion
Hanfeng Chen, Alexander Krolik, Bettina Kemme, Clark Verbrugge, and Laurie Hendren
(McGill University, Canada)


@InProceedings{CC20p81, author = {Hanfeng Chen and Alexander Krolik and Bettina Kemme and Clark Verbrugge and Laurie Hendren}, title = {Improving Database Query Performance with Automatic Fusion}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3377555.3377892}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Robust Quantization of Deep Neural Networks
Youngseok Kim, Junyeol Lee, Younghoon Kim, and Jiwon Seo
(Hanyang University, South Korea)


@InProceedings{CC20p97, author = {Youngseok Kim and Junyeol Lee and Younghoon Kim and Jiwon Seo}, title = {Robust Quantization of Deep Neural Networks}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {97-96}, doi = {10.1145/3377555.3377900}, year = {2020}, } Publisher's Version

Generating Fast Sparse Matrix Vector Multiplication from a High Level Generic Functional IR
Federico Pizzuti, Michel Steuwer, and Christophe Dubach
(University of Edinburgh, UK; University of Glasgow, UK)


@InProceedings{CC20p113, author = {Federico Pizzuti and Michel Steuwer and Christophe Dubach}, title = {Generating Fast Sparse Matrix Vector Multiplication from a High Level Generic Functional IR}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {113-112}, doi = {10.1145/3377555.3377896}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated

Runtime Techniques

Runtime Multi-versioning and Specialization inside a Memoized Speculative Loop Optimizer
Raquel Lazcano, Daniel Madroñal, Eduardo Juarez, and Philippe Clauss
(Universidad Politécnica de Madrid, Spain; Inria, France; ICube, France; University of Strasbourg, France)


@InProceedings{CC20p129, author = {Raquel Lazcano and Daniel Madroñal and Eduardo Juarez and Philippe Clauss}, title = {Runtime Multi-versioning and Specialization inside a Memoized Speculative Loop Optimizer}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3377555.3377886}, year = {2020}, } Publisher's Version

Dynamic Property Caches: A Step towards Faster JavaScript Proxy Objects
Manuel Serrano and Robert Bruce Findler
(Inria, France; University of Côte d'Azur, France; Northwestern University, USA)


@InProceedings{CC20p145, author = {Manuel Serrano and Robert Bruce Findler}, title = {Dynamic Property Caches: A Step towards Faster JavaScript Proxy Objects}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {145-144}, doi = {10.1145/3377555.3377888}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

Mixed-Data-Model Heterogeneous Compilation and OpenMP Offloading
Andreas Kurth, Koen Wolters, Björn Forsberg, Alessandro Capotondi, Andrea Marongiu, Tobias Grosser, and Luca Benini
(ETH Zurich, Switzerland; University of Modena and Reggio Emilia, Italy)


@InProceedings{CC20p161, author = {Andreas Kurth and Koen Wolters and Björn Forsberg and Alessandro Capotondi and Andrea Marongiu and Tobias Grosser and Luca Benini}, title = {Mixed-Data-Model Heterogeneous Compilation and OpenMP Offloading}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {161-160}, doi = {10.1145/3377555.3377891}, year = {2020}, } Publisher's Version

Balancing Performance and Productivity for the Development of Dynamic Binary Instrumentation Tools: A Case Study on Arm Systems
Cosmin Gorgovan, Guillermo Callaghan, and Mikel Luján
(University of Manchester, UK)


@InProceedings{CC20p177, author = {Cosmin Gorgovan and Guillermo Callaghan and Mikel Luján}, title = {Balancing Performance and Productivity for the Development of Dynamic Binary Instrumentation Tools: A Case Study on Arm Systems}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {177-176}, doi = {10.1145/3377555.3377895}, year = {2020}, } Publisher's Version

Novel Language Constructs

Compiling First-Order Functions to Session-Typed Parallel Code
David Castro-Perez and Nobuko Yoshida
(Imperial College London, UK)


@InProceedings{CC20p193, author = {David Castro-Perez and Nobuko Yoshida}, title = {Compiling First-Order Functions to Session-Typed Parallel Code}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {193-192}, doi = {10.1145/3377555.3377889}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

Is Stateful Packrat Parsing Really Linear in Practice? A Counter-Example, an Improved Grammar, and Its Parsing Algorithms
Nariyoshi Chida, Yuhei Kawakoya, Dai Ikarashi, Kenji Takahashi, and Koushik Sen
(NTT, Japan; University of California at Berkeley, USA)


@InProceedings{CC20p209, author = {Nariyoshi Chida and Yuhei Kawakoya and Dai Ikarashi and Kenji Takahashi and Koushik Sen}, title = {Is Stateful Packrat Parsing Really Linear in Practice? A Counter-Example, an Improved Grammar, and Its Parsing Algorithms}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {209-208}, doi = {10.1145/3377555.3377898}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

Bitwidth Customization in Image Processing Pipelines using Interval Analysis and SMT Solvers
Suresh Purini, Vinamra Benara, Ziaul Choudhury, and Uday Bondhugula
(IIIT Hyderabad, India; Indian Institute of Science, India)


@InProceedings{CC20p225, author = {Suresh Purini and Vinamra Benara and Ziaul Choudhury and Uday Bondhugula}, title = {Bitwidth Customization in Image Processing Pipelines using Interval Analysis and SMT Solvers}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {225-224}, doi = {10.1145/3377555.3377899}, year = {2020}, } Publisher's Version

Automatically Harnessing Sparse Acceleration
Philip Ginsbach, Bruce Collie, and Michael F. P. O'Boyle
(University of Edinburgh, UK)


@InProceedings{CC20p241, author = {Philip Ginsbach and Bruce Collie and Michael F. P. O'Boyle}, title = {Automatically Harnessing Sparse Acceleration}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {241-240}, doi = {10.1145/3377555.3377893}, year = {2020}, } Publisher's Version

Graphs and More

Postcondition-Preserving Fusion of Postorder Tree Transformations
Eleanor Davies and Sara Kalvala
(University of Warwick, UK)


@InProceedings{CC20p257, author = {Eleanor Davies and Sara Kalvala}, title = {Postcondition-Preserving Fusion of Postorder Tree Transformations}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {257-256}, doi = {10.1145/3377555.3377884}, year = {2020}, } Publisher's Version

Compiler-Based Graph Representations for Deep Learning Models of Code
Alexander Brauckmann, Andrés Goens, Sebastian Ertel, and Jeronimo Castrillon
(TU Dresden, Germany; Barkhausen Institute, Germany)


@InProceedings{CC20p273, author = {Alexander Brauckmann and Andrés Goens and Sebastian Ertel and Jeronimo Castrillon}, title = {Compiler-Based Graph Representations for Deep Learning Models of Code}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {273-272}, doi = {10.1145/3377555.3377894}, year = {2020}, } Publisher's Version Artifacts Reusable Results Replicated

Relaxing the One Definition Rule in Interpreted C++
Javier López-Gómez, Javier Fernández, David del Rio Astorga, Vassil Vassilev, Axel Naumann, and J. Daniel García
(University Carlos III of Madrid, Spain; Princeton University, USA; CERN, Switzerland)


@InProceedings{CC20p289, author = {Javier López-Gómez and Javier Fernández and David del Rio Astorga and Vassil Vassilev and Axel Naumann and J. Daniel García}, title = {Relaxing the One Definition Rule in Interpreted C++}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {289-288}, doi = {10.1145/3377555.3377901}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

proc time: 0.66