CC 2020
29th International Conference on Compiler Construction (CC 2020)
Powered by
Conference Publishing Consulting

29th International Conference on Compiler Construction (CC 2020), February 22–23, 2020, San Diego, CA, USA

CC 2020 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Messages from the Chairs
CC 2020 Conference Organization
Sponsors

Optimizations

Vectorization-Aware Loop Unrolling with Seed Forwarding
Rodrigo C. O. Rocha, Vasileios Porpodas, Pavlos Petoumenos, Luís F. W. Góes, Zheng WangORCID logo, 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 ORCID logo
(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 ThakurORCID logo 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 ORCID logo
(Carnegie Mellon University, USA; Oracle Labs, USA)
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)
Publisher's Version Info
Improving Database Query Performance with Automatic Fusion
Hanfeng Chen, Alexander Krolik, Bettina Kemme, Clark Verbrugge ORCID logo, and Laurie Hendren ORCID logo
(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 SteuwerORCID logo, and Christophe Dubach
(University of Edinburgh, UK; University of Glasgow, UK)
Publisher's Version 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)
Publisher's Version
Dynamic Property Caches: A Step towards Faster JavaScript Proxy Objects
Manuel SerranoORCID logo and Robert Bruce Findler ORCID logo
(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

Novel Language Constructs

Compiling First-Order Functions to Session-Typed Parallel Code
David Castro-Perez ORCID logo and Nobuko Yoshida ORCID logo
(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 ORCID logo
(IIIT Hyderabad, India; Indian Institute of Science, India)
Publisher's Version
Automatically Harnessing Sparse Acceleration
Philip Ginsbach, Bruce CollieORCID logo, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
Publisher's Version

Graphs and More

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 ORCID logo
(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

proc time: 3.82