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 Article: cc20main-p44-p doi:10.1145/3377555.3377890

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 Article: cc20main-p95-p doi:10.1145/3377555.3377897

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 Article: cc20main-p143-p doi:10.1145/3377555.3377902

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 Article: cc20main-p18-p doi:10.1145/3377555.3377885

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 Article: cc20main-p29-p doi:10.1145/3377555.3377887

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 Article: cc20main-p50-p doi:10.1145/3377555.3377892

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 Article: cc20main-p124-p doi:10.1145/3377555.3377900

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 Article: cc20main-p85-p doi:10.1145/3377555.3377896

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 Article: cc20main-p21-p doi:10.1145/3377555.3377886

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 Article: cc20main-p30-p doi:10.1145/3377555.3377888

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 Article: cc20main-p48-p doi:10.1145/3377555.3377891

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 Article: cc20main-p72-p doi:10.1145/3377555.3377895

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 Article: cc20main-p43-p doi:10.1145/3377555.3377889

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 Article: cc20main-p96-p doi:10.1145/3377555.3377898

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 Article: cc20main-p104-p doi:10.1145/3377555.3377899

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 Article: cc20main-p54-p doi:10.1145/3377555.3377893

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 Article: cc20main-p6-p doi:10.1145/3377555.3377884

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 Article: cc20main-p63-p doi:10.1145/3377555.3377894

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 Article: cc20main-p125-p doi:10.1145/3377555.3377901

proc time: 0.04