CC 2021 – Proceedings

Frontmatter

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 Article: cc21main-p28-p (type: Full Paper) doi:10.1145/3446804.3446847

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 Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: cc21main-p9-p (type: Full Paper) doi:10.1145/3446804.3446844

Compiling Data-Parallel Datalog
Thomas Gilray, Sidharth Kumar, and Kristopher Micinski
(University of Alabama at Birmingham, USA; Syracuse University, USA)

Publisher's Version Article: cc21main-p125-p (type: Full Paper) doi:10.1145/3446804.3446855

Optimization

PGZ: Automatic Zero-Value Code Specialization
Mark Stephenson and Ram Rangan
(NVIDIA, USA; NVIDIA, India)

Publisher's Version Article: cc21main-p21-p (type: Full Paper) doi:10.1145/3446804.3446845

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 Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: cc21main-p49-p (type: Full Paper) doi:10.1145/3446804.3446849

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 Published Artifact Artifacts Available Artifacts Reusable Article: cc21main-p4-p (type: Full Paper) doi:10.1145/3446804.3446842

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 Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: cc21main-p56-p (type: Full Paper) doi:10.1145/3446804.3446850

NSan: A Floating-Point Numerical Sanitizer
Clement Courbet
(Google Research, France)

Publisher's Version Article: cc21main-p39-p (type: Full Paper) doi:10.1145/3446804.3446848

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 Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: cc21main-p90-p (type: Full Paper) doi:10.1145/3446804.3446854

Code Generation and Binary Analysis

Helper Function Inlining in Dynamic Binary Translation
Wenwen Wang
(University of Georgia, USA)

Publisher's Version Article: cc21main-p65-p (type: Full Paper) doi:10.1145/3446804.3446851

Lightning BOLT: Powerful, Fast, and Scalable Binary Optimization
Maksim Panchenko, Rafael Auler, Laith Sakka, and Guilherme Ottoni
(Facebook, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: cc21main-p8-p (type: Full Paper) doi:10.1145/3446804.3446843

Compact Native Code Generation for Dynamic Languages on Micro-core Architectures
Maurice Jamieson and Nick Brown
(University of Edinburgh, UK)

Publisher's Version Article: cc21main-p87-p (type: Full Paper) doi:10.1145/3446804.3446853

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 Article: cc21main-p84-p (type: Full Paper) doi:10.1145/3446804.3446852

Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs
Viktor Palmkvist, Elias Castegren, Philipp Haller, and David Broman
(KTH, Sweden)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: cc21main-p22-p (type: Full Paper) doi:10.1145/3446804.3446846

proc time: 0.03