Write a Blog >>
CC 2021
Tue 2 - Wed 3 March 2021 Online Conference

The International Conference on Compiler Construction (CC) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case.

CC is an ACM SIGPLAN conference, and implements guidelines and procedures recommended by SIGPLAN.

For more information, please consult the Call for Papers.

Dates
Tracks
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 2 Mar

Displayed time zone: Eastern Time (US & Canada) change

12:15 - 12:30
CC OpeningCC Research Papers at CC Virtual Room
Chair(s): Aaron Smith University of Edinburgh; Microsoft, Delphine Demange Univ Rennes, Inria, CNRS, IRISA, Rajiv Gupta UC Riverside
12:30 - 13:15
IR DesignCC Research Papers at CC Virtual Room
Chair(s): Albert Cohen Google
12:30
15m
Talk
Data-Aware Process Networks
CC Research Papers
Christophe Alias CNRS; ENS Lyon; Inria; University of Lyon, Alexandru Plesco XtremLogic
12:45
15m
Talk
Integrating a Functional Pattern-Based IR into MLIRArtifacts Evaluated – Functional v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Martin Lücke University of Edinburgh, Michel Steuwer University of Edinburgh, Aaron Smith University of Edinburgh; Microsoft
13:00
15m
Talk
Compiling Data-Parallel Datalog
CC Research Papers
Thomas Gilray University of Alabama at Birmingham, Sidharth Kumar University of Alabama at Birmingham, Kristopher Micinski Syracuse University
13:15 - 13:30
13:30 - 14:15
OptimizationCC Research Papers at CC Virtual Room
Chair(s): Christophe Dubach McGill University
13:30
15m
Talk
PGZ: Automatic Zero-Value Code Specialization
CC Research Papers
13:45
15m
Talk
Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and ToolsArtifacts Evaluated – Reusable v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Anderson Faustino da Silva State University of Maringá, Bernardo N. B. de Lima Federal University of Minas Gerais, Fernando Magno Quintão Pereira Federal University of Minas Gerais
14:00
15m
Talk
PolyBench/Python: Benchmarking Python Environments with Polyhedral OptimizationsArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1
CC Research Papers
Miguel Á. Abella-González Universidade da Coruña, Pedro Carollo-Fernández Universidade da Coruña, Louis-Noël Pouchet Colorado State University, Fabrice Rastello Inria, Gabriel Rodríguez Universidade da Coruña
14:30 - 15:30
CC Business MeetingCC Research Papers at CC Virtual Room
14:30
60m
Meeting
CC Business Meeting
CC Research Papers

Wed 3 Mar

Displayed time zone: Eastern Time (US & Canada) change

10:00 - 10:45
Safety & CorrectnessCC Research Papers at CC Virtual Room
Chair(s): Jan Vitek Northeastern University / Czech Technical University
10:00
15m
Talk
A Modern Compiler for the French Tax CodeArtifacts Evaluated – Reusable v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Denis Merigoux Inria, Raphaël Monat Sorbonne University; CNRS; LIP6, Jonathan Protzenko Microsoft Research
10:15
15m
Talk
NSan: A Floating-Point Numerical Sanitizer
CC Research Papers
Clement Courbet Google Research
10:30
15m
Talk
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session TypesArtifacts Evaluated – Reusable v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Anson Miu Imperial College London; Bloomberg, Francisco Ferreira Imperial College London, Nobuko Yoshida Imperial College London, Fangyi Zhou Imperial College London
Pre-print Media Attached
10:45 - 11:10
11:10 - 11:55
Code Generation & Binary AnalysisCC Research Papers at CC Virtual Room
Chair(s): Bernhard Egger Seoul National University
11:10
15m
Talk
Helper Function Inlining in Dynamic Binary Translation
CC Research Papers
Wenwen Wang University of Georgia
11:25
15m
Talk
Lightning BOLT: Powerful, Fast, and Scalable Binary OptimizationArtifacts Evaluated – Functional v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Maksim Panchenko Facebook, Rafael Auler Facebook, Laith Sakka Purdue University, Guilherme Ottoni Facebook
11:40
15m
Talk
Compact Native Code Generation for Dynamic Languages on Micro-core Architectures
CC Research Papers
Maurice Jamieson University of Edinburgh, Nick Brown University of Edinburgh
11:55 - 12:30
12:30 - 13:00
Natural & Source Language AnalysisCC Research Papers at CC Virtual Room
Chair(s): Zhijia Zhao UC Riverside
12:30
15m
Talk
Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language
CC Research Papers
Zifan Nan North Carolina State University, Hui Guan University of Massachusetts at Amherst, Xipeng Shen North Carolina State University, Chunhua Liao Lawrence Livermore National Laboratory
12:45
15m
Talk
Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous ProgramsArtifacts Evaluated – Reusable v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
13:00 - 13:15
CC ClosingCC Research Papers at CC Virtual Room
Chair(s): Aaron Smith University of Edinburgh; Microsoft, Delphine Demange Univ Rennes, Inria, CNRS, IRISA, Rajiv Gupta UC Riverside
13:15 - 13:30
13:30 - 15:00
Joint PanelCC Research Papers at Joint Panel Virtual Room
Chair(s): Timothy M. Pinkston University of Southern California
13:30
90m
Live Q&A
HPCA/PPoPP/CGO/CC Joint Panel: Valuing Diversity, Equity, and Inclusion in Our Computing Community
CC Research Papers
P: John L. Hennessy Stanford University and Alphabet, P: David Patterson UC Berkeley and Google, P: Margaret Martonosi Princeton University and NSF CISE, P: Bill Dally NVIDIA and Stanford University, P: Natalie Enright Jerger University of Toronto and ACM D&I Council, P: Kim Hazelwood Facebook AI Research, P: Timothy M. Pinkston University of Southern California

Accepted Papers

Title
A Modern Compiler for the French Tax CodeArtifacts Evaluated – Reusable v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session TypesArtifacts Evaluated – Reusable v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Pre-print Media Attached
Compact Native Code Generation for Dynamic Languages on Micro-core Architectures
CC Research Papers
Compiling Data-Parallel Datalog
CC Research Papers
Data-Aware Process Networks
CC Research Papers
Deep NLP-Based Co-evolvement for Synthesizing Code Analysis from Natural Language
CC Research Papers
Exploring the Space of Optimization Sequences for Code-Size Reduction: Insights and ToolsArtifacts Evaluated – Reusable v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Helper Function Inlining in Dynamic Binary Translation
CC Research Papers
Integrating a Functional Pattern-Based IR into MLIRArtifacts Evaluated – Functional v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
Lightning BOLT: Powerful, Fast, and Scalable Binary OptimizationArtifacts Evaluated – Functional v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers
NSan: A Floating-Point Numerical Sanitizer
CC Research Papers
PGZ: Automatic Zero-Value Code Specialization
CC Research Papers
PolyBench/Python: Benchmarking Python Environments with Polyhedral OptimizationsArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1
CC Research Papers
Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous ProgramsArtifacts Evaluated – Reusable v1.1Results Reproduced v1.1Artifacts Available v1.1
CC Research Papers

Call for Papers

The International Conference on Compiler Construction (CC) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input that describes how a system operates, including traditional compiler construction as a special case.

Original contributions are solicited on the topics of interest which include, but are not limited to:

  • Compilation and interpretation techniques, including program representation, analysis, and transformation; code generation, optimization, and synthesis; the verification thereof
  • Run-time techniques, including memory management, virtual machines, and dynamic and just-in-time compilation
  • Programming tools, including refactoring editors, checkers, verifiers, compilers, debuggers, and profilers
  • Techniques, ranging from programming languages to micro-architectural support, for specific domains such as secure, parallel, distributed, embedded or mobile environments
  • Design and implementation of novel language constructs, programming models, and domain-specific languages

CC is an ACM SIGPLAN conference, and implements guidelines and procedures recommended by SIGPLAN.

Prospective authors should be aware of SIGPLAN’s Copyright policies. Proceedings will be made available online in the ACM digital library from one week before to one week after the conference.

Submission Guidelines

Submission URL: https://cc21.hotcrp.com

All submissions must be made electronically through the conference submission website and include an abstract (100–400 words), author contact information, the full list of authors and their affiliations. Full paper submissions must be in PDF formatted printable on both A4 and US letter size paper.

All papers must be prepared in ACM Conference Format using the 2-column acmart format: use the SIGPLAN proceedings template acmart-sigplanproc-template.tex for Latex, and interim-layout.docx for Word. You may also want to consult the official ACM information on the Master Article Template and related tools. Important note: The Word template (interim-layout.docx) on the ACM website uses 9pt font; you need to increase it to 10pt.

Papers should contain a maximum of 10 pages of text (in a typeface no smaller than 10 point) or figures, NOT INCLUDING references. There is no page limit for references and they must include the name of all authors (do not use et al.).

Appendices are not allowed, but the authors may submit anonymous supplementary material, such as proofs, source code, or data sets; all supplementary material must be in PDF or ZIP format. Looking at supplementary material is at the discretion of the reviewers.

Papers may be resubmitted to the submission site multiple times up until the deadline, but the last version submitted before the deadline will be the version reviewed. Papers that exceed the length requirement, that deviate from the expected format, or that are submitted late will be rejected.

CC 2021 will follow ACM’s Copyright Policies. Prospective authors should adhere to SIGPLAN’s Republication Policy and to ACM’s Policy and Procedures on Plagiarism.

Double-blind Reviewing Process

CC 2021 will implement a double-blind reviewing process.

Authors will need to identify any potential conflicts of interest with PC, as defined in the SIGPLAN policy.

To facilitate the double-blind reviewing process, submissions (including supplementary material) should not reveal the identity of the authors in any way. Authors should leave out author names and affiliations from the body of their submission. They should also ensure that any references to authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”).

The purpose of this process is to help the PC and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important background references should not be omitted or anonymized.

In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas.

Authors with further questions on double-blind reviewing are encouraged to contact the Program Chairs by email.

Artifact Evaluation

Authors are encouraged to submit their artifacts for the Artifact Evaluation (AE). The Artifact Evaluation process begins after the acceptance notification, and is run by a separate committee whose task is to assess how the artifacts support the work described in the papers.

To ease the organization of the AE committee, we kindly ask authors to indicate at the time they submit the paper, whether they are interested in submitting an artifact.

Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves.

Authors of accepted papers are encouraged, but not required, to make these materials publicly available upon publication of the proceedings, by including them as “source materials” in the ACM Digital Library.

Additional information is available on the AE web page.

Information to Authors

Authors of accepted submissions will be required to choose one of the following options:

  • Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license (and, optionally, licenses the work with a Creative Commons license;
  • Author retains copyright of the work and grants ACM an exclusive permission-to-publish license;
  • Author transfers copyright of the work to ACM.

For more information, please see ACM Copyright Policy and ACM Author Rights.