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)


@InProceedings{CC21p1, author = {Christophe Alias and Alexandru Plesco}, title = {Data-Aware Process Networks}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3446804.3446847}, year = {2021}, } 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)


@InProceedings{CC21p18, author = {Martin Lücke and Michel Steuwer and Aaron Smith}, title = {Integrating a Functional Pattern-Based IR into MLIR}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {18-17}, doi = {10.1145/3446804.3446844}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

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


@InProceedings{CC21p35, author = {Thomas Gilray and Sidharth Kumar and Kristopher Micinski}, title = {Compiling Data-Parallel Datalog}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {35-34}, doi = {10.1145/3446804.3446855}, year = {2021}, } Publisher's Version

Optimization

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


@InProceedings{CC21p52, author = {Mark Stephenson and Ram Rangan}, title = {PGZ: Automatic Zero-Value Code Specialization}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {52-51}, doi = {10.1145/3446804.3446845}, year = {2021}, } 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)


@InProceedings{CC21p69, author = {Anderson Faustino da Silva and Bernardo N. B. de Lima and Fernando Magno Quintão Pereira}, title = {Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and Tools}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3446804.3446849}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available 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)


@InProceedings{CC21p86, author = {Miguel Á. Abella-González and Pedro Carollo-Fernández and Louis-Noël Pouchet and Fabrice Rastello and Gabriel Rodríguez}, title = {PolyBench/Python: Benchmarking Python Environments with Polyhedral Optimizations}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {86-85}, doi = {10.1145/3446804.3446842}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available 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)


@InProceedings{CC21p103, author = {Denis Merigoux and Raphaël Monat and Jonathan Protzenko}, title = {A Modern Compiler for the French Tax Code}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {103-102}, doi = {10.1145/3446804.3446850}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

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


@InProceedings{CC21p120, author = {Clement Courbet}, title = {NSan: A Floating-Point Numerical Sanitizer}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {120-119}, doi = {10.1145/3446804.3446848}, year = {2021}, } 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)


@InProceedings{CC21p137, author = {Anson Miu and Francisco Ferreira and Nobuko Yoshida and Fangyi Zhou}, title = {Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {137-136}, doi = {10.1145/3446804.3446854}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

Code Generation and Binary Analysis

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


@InProceedings{CC21p154, author = {Wenwen Wang}, title = {Helper Function Inlining in Dynamic Binary Translation}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {154-153}, doi = {10.1145/3446804.3446851}, year = {2021}, } Publisher's Version

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


@InProceedings{CC21p171, author = {Maksim Panchenko and Rafael Auler and Laith Sakka and Guilherme Ottoni}, title = {Lightning BOLT: Powerful, Fast, and Scalable Binary Optimization}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {171-170}, doi = {10.1145/3446804.3446843}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

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


@InProceedings{CC21p188, author = {Maurice Jamieson and Nick Brown}, title = {Compact Native Code Generation for Dynamic Languages on Micro-core Architectures}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {188-187}, doi = {10.1145/3446804.3446853}, year = {2021}, } 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)


@InProceedings{CC21p205, author = {Zifan Nan and Hui Guan and Xipeng Shen and Chunhua Liao}, title = {Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {205-204}, doi = {10.1145/3446804.3446852}, year = {2021}, } Publisher's Version

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


@InProceedings{CC21p222, author = {Viktor Palmkvist and Elias Castegren and Philipp Haller and David Broman}, title = {Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs}, booktitle = {Proc.\ CC}, publisher = {ACM}, pages = {222-221}, doi = {10.1145/3446804.3446846}, year = {2021}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

proc time: 0.68