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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated Article: cc20main-p125-p doi:10.1145/3377555.3377901

proc time: 0.03