CC 2020
29th International Conference on Compiler Construction (CC 2020)

Title Page

Messages from the Chairs

CC 2020 Conference Organization

Sponsors

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

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

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 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)

Publisher's Version

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 Info

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

Publisher's Version Artifacts Reusable

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

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)

Publisher's Version Artifacts Functional Results Replicated

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

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 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)

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)

Publisher's Version

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

Publisher's Version 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)

Publisher's Version 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)

Publisher's Version

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

Publisher's Version

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

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)

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)

Publisher's Version Artifacts Reusable Results Replicated