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 Alias and Alexandru Plesco
(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, Michel Steuwer, 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
(University of Alabama at Birmingham, USA; Syracuse University, USA)
Publisher's Version

Optimization

PGZ: Automatic Zero-Value Code Specialization
Mark Stephenson 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, Bernardo N. B. de Lima, and Fernando Magno Quintão Pereira
(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íguez
(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, Raphaël Monat, and Jonathan Protzenko
(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, Francisco Ferreira, Nobuko Yoshida, and Fangyi Zhou
(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 and Nick Brown
(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 Shen, and Chunhua Liao
(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, Elias Castegren, Philipp Haller, and David Broman
(KTH, Sweden)
Publisher's Version Artifacts Reusable Results Reproduced

proc time: 4.74