CC 2021
30th ACM SIGPLAN International Conference on Compiler Construction (CC 2021)
Powered by
Conference Publishing Consulting

30th ACM SIGPLAN International Conference on Compiler Construction (CC 2021), March 2–3, 2021, Virtual, Republic of Korea

CC 2021 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Welcome from the General Chair
Welcome from the Program Chairs
CC 2021 Organization
Report from the Artifact Evaluation Committee
Sponsors of CC 2021

IR Design

Data-Aware Process Networks
Christophe AliasORCID logo and Alexandru PlescoORCID logo
(CNRS, France; ENS Lyon, France; Inria, France; University of Lyon, France; XtremLogic, France)
Publisher's Version
Integrating a Functional Pattern-Based IR into MLIR
Martin Lücke ORCID logo, Michel SteuwerORCID logo, and Aaron Smith
(University of Edinburgh, UK; Microsoft, USA)
Publisher's Version Artifacts Functional Results Reproduced
Compiling Data-Parallel Datalog
Thomas Gilray, Sidharth Kumar, and Kristopher Micinski ORCID logo
(University of Alabama at Birmingham, USA; Syracuse University, USA)
Publisher's Version

Optimization

PGZ: Automatic Zero-Value Code Specialization
Mark Stephenson ORCID logo and Ram Rangan
(NVIDIA, USA; NVIDIA, India)
Publisher's Version
Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and Tools
Anderson Faustino da Silva ORCID logo, Bernardo N. B. de Lima, and Fernando Magno Quintão Pereira ORCID logo
(State University of Maringá, Brazil; Federal University of Minas Gerais, Brazil)
Publisher's Version Artifacts Reusable Results Reproduced
PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations
Miguel Á. Abella-González, Pedro Carollo-Fernández, Louis-Noël Pouchet, Fabrice Rastello, and Gabriel RodríguezORCID logo
(Universidade da Coruña, Spain; Colorado State University, USA; Inria, France)
Publisher's Version Artifacts Reusable

Safety and Correctness

A Modern Compiler for the French Tax Code
Denis Merigoux ORCID logo, Raphaël Monat ORCID logo, and Jonathan ProtzenkoORCID logo
(Inria, France; Sorbonne University, France; CNRS, France; LIP6, France; Microsoft Research, USA)
Publisher's Version Info Artifacts Reusable Results Reproduced
NSan: A Floating-Point Numerical Sanitizer
Clement Courbet
(Google Research, France)
Publisher's Version
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Anson Miu ORCID logo, Francisco Ferreira ORCID logo, Nobuko Yoshida ORCID logo, and Fangyi Zhou ORCID logo
(Imperial College London, UK; Bloomberg, UK)
Publisher's Version Artifacts Reusable Results Reproduced

Code Generation and Binary Analysis

Helper Function Inlining in Dynamic Binary Translation
Wenwen Wang
(University of Georgia, USA)
Publisher's Version
Lightning BOLT: Powerful, Fast, and Scalable Binary Optimization
Maksim Panchenko, Rafael Auler, Laith Sakka, and Guilherme Ottoni
(Facebook, USA)
Publisher's Version Artifacts Functional Results Reproduced
Compact Native Code Generation for Dynamic Languages on Micro-core Architectures
Maurice Jamieson ORCID logo and Nick Brown ORCID logo
(University of Edinburgh, UK)
Publisher's Version

Natural and Source Language Analysis

Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language
Zifan Nan, Hui Guan, Xipeng ShenORCID logo, and Chunhua Liao ORCID logo
(North Carolina State University, USA; University of Massachusetts at Amherst, USA; Lawrence Livermore National Laboratory, USA)
Publisher's Version
Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs
Viktor Palmkvist ORCID logo, Elias Castegren ORCID logo, Philipp Haller ORCID logo, and David Broman ORCID logo
(KTH, Sweden)
Publisher's Version Artifacts Reusable Results Reproduced

proc time: 3.67