Write a Blog >>
CC 2022
Tue 5 - Wed 6 April 2022 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
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 5 Apr

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

10:20 - 10:30
CC OpeningCC Research Papers at CC Virtual Room
Chair(s): Bernhard Egger Seoul National University, Aaron Smith Microsoft
10:30 - 11:20
CC KeynoteCC Research Papers at CC Virtual Room
Chair(s): Bernhard Egger Seoul National University, Aaron Smith Microsoft
10:30
50m
Keynote
Writing and Verifying a Quantum Optimizing Compiler
CC Research Papers
Robert Rand University of Chicago
DOI
11:20 - 11:40
11:40 - 12:25
Session 1: Quantum Computing and Hardware DesignCC Research Papers at CC Virtual Room
Chair(s): Bruno Bodin Yale-NUS College
11:40
15m
Paper
QSSA: An SSA-Based IR for Quantum ComputingArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1Results Reproduced v1.1
CC Research Papers
Anurudh Peduri IIIT Hyderabad, Siddharth Bhat IIT Hyderabad, Tobias Grosser University of Edinburgh
DOI
11:55
15m
Paper
QRANE: Lifting QASM Programs to an Affine IRArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1
CC Research Papers
Blake Gerard University of Oklahoma, Tobias Grosser University of Edinburgh, Martin Kong The Ohio State University
DOI
12:10
15m
Paper
A Polynomial Time Exact Solution to the Bit-Aware Register Binding Problem
CC Research Papers
Michael Canesche UFMG, Ricardo Ferreira UFV, Jose Augusto Nacif UFV, Fernando Magno Quintão Pereira Federal University of Minas Gerais
DOI
12:25 - 12:50
12:50 - 13:50
Session 2: Compiler TheoryCC Research Papers at CC Virtual Room
Chair(s): EunJung (EJ) Park Qualcomm, USA
12:50
15m
Paper
Graph Transformations for Register-Pressure-Aware Instruction Scheduling
CC Research Papers
Ghassan Shobaki California State University, Sacramento, Justin Bassett California State University Sacramento, Mark Heffernan Google, Austin Kerbow AMD
DOI
13:05
15m
Paper
Caviar: An E-Graph Based TRS for Automatic Code Optimization
CC Research Papers
Smail Kourta New York University Abu Dhabi, Adel Abderahmane NAMANI , Fatima Benbouzid-Si Tayeb École nationale supérieure d'informatique, Kim Hazelwood Facebook, Chris Cummins Facebook, Hugh Leather Facebook, Riyadh Baghdadi NYU Abu Dhabi
DOI
13:20
15m
Paper
On the Computation of Interprocedural Weak Control Closure
CC Research Papers
Abu Naser Masud Malardalen University, Bjorn Lisper Malardalen University
DOI
13:35
15m
Paper
Seamless Deductive Inference via MacrosArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1Results Reproduced v1.1
CC Research Papers
Arash Sahebolamri , Thomas Gilray University of Alabama at Birmingham, Kristopher Micinski Syracuse University
DOI
13:50 - 14:00
14:00 - 15:00
CC Business MeetingCC Research Papers at CC Virtual Room
Chair(s): Bernhard Egger Seoul National University, Aaron Smith Microsoft

Wed 6 Apr

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

10:20 - 11:20
Session 3: Compilers and Machine LearningCC Research Papers at CC Virtual Room
Chair(s): Ayal Zaks Intel Corporation and Technion, Israel
10:20
15m
Paper
One-Shot Tuner for Deep Learning CompilersArtifacts Available v1.1Artifacts Evaluated – Functional v1.1
CC Research Papers
Jaehun Ryu POSTECH, Eunhyeok Park POSTECH, Hyojin Sung POSTECH
DOI
10:35
15m
Paper
Training of Deep Learning Pipelines on Memory-Constrained GPUs via Segmented Fused-Tiled ExecutionArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1Results Reproduced v1.1
CC Research Papers
Yufan Xu University of Utah, Saurabh Raje , Atanas Rountev Ohio State University, Gerald Sabin RNET Technologies, Aravind Sukumaran-Rajam Washington State University, Ponnuswamy Sadayappan University of Utah
DOI
10:50
15m
Paper
MLIR-Based Code Generation for GPU Tensor Cores
CC Research Papers
Navdeep Katel Indian Institute of Science, PolyMage Labs, Vivek Khandelwal Indian Institute of Science, Uday Bondhugula Indian Institute of Science, PolyMage Labs
DOI
11:05
15m
Paper
Automating Reinforcement Learning Architecture Design for Code OptimizationArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1Results Reproduced v1.1
CC Research Papers
HuantingWang , Zhanyong Tang Northwest University, Cheng Zhang Northwest University, Jiaqi Zhao Northwest University, Chris Cummins Facebook, Hugh Leather Facebook, Zheng Wang University of Leeds, UK
DOI
11:20 - 11:50
Session 4: ParallelismCC Research Papers at CC Virtual Room
Chair(s): Bernhard Egger Seoul National University
11:20
15m
Paper
Memory Access Scheduling to Reduce Thread Migrations
CC Research Papers
Sana Damani Georgia Institute of Technology, Prithayan Barua Georgia Institute of Technology, USA, Vivek Sarkar Georgia Institute of Technology
DOI
11:35
15m
Paper
Performant Portable OpenMP
CC Research Papers
DOI
11:50 - 12:00
12:00 - 12:45
Session 5: Safety and CorrectnessCC Research Papers at CC Virtual Room
Chair(s): Sorav Bansal IIT Delhi and CompilerAI Labs
12:00
15m
Paper
BinPointer: Towards Precise, Sound, and Scalable Binary-Level Pointer Analysis
CC Research Papers
Sun Hyoung Kim The Pennsylvania State University, Dongrui Zeng The Pennsylvania State University, Cong Sun Xidian University, Gang Tan Pennsylvania State University
DOI
12:15
15m
Paper
Cape: Compiler-Aided Program Transformation for HTM-Based Cache Side-Channel Defense
CC Research Papers
Rui Zhang Ohio State University, Michael D. Bond Ohio State University, USA, Yinqian Zhang Southern University of Science and Technology
DOI
12:30
15m
Paper
Making No-fuss Compiler Fuzzing EffectiveArtifacts Available v1.1Artifacts Evaluated – Functional v1.1
CC Research Papers
Alex Groce Northern Arizona University, Rijnard van Tonder Sourcegraph, Goutamkumar Tulajappa Kalburgi Northern Arizona University, Claire Le Goues Carnegie Mellon University
DOI
12:45 - 13:00
13:00 - 14:00
Session 6: Performance OptimizationsCC Research Papers at CC Virtual Room
Chair(s): Doru Thom Popovici Lawrence Berkeley National Lab
13:00
15m
Paper
Loner: Utilizing the CPU Vector Datapath to Process Scalar Integer Data
CC Research Papers
Armand Behroozi University of Michigan, Sunghyun Park University of Michigan, Scott Mahlke University of Michigan
DOI
13:15
15m
Paper
Mapping Parallelism in a Functional IR through Constraint SatisfactionArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1Results Reproduced v1.1
CC Research Papers
Naums Mogers University of Edinburgh, Lu Li University of Edinburgh, Valentin Radu University of Sheffield, Christophe Dubach McGill University
DOI
13:30
15m
Paper
Software Pre-execution for Irregular Memory Accesses in the HBM Era
CC Research Papers
DOI
13:45
15m
Paper
Efficient Profile-Guided Size Optimization for Native Mobile Applications
CC Research Papers
Kyungwoo Lee Meta, Ellis Hoag Meta, Nikolai Tillmann Meta Platforms, Inc.
DOI
14:00 - 14:15

Accepted Papers

Title
A Polynomial Time Exact Solution to the Bit-Aware Register Binding Problem
CC Research Papers
DOI
Automating Reinforcement Learning Architecture Design for Code OptimizationArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1Results Reproduced v1.1
CC Research Papers
DOI
BinPointer: Towards Precise, Sound, and Scalable Binary-Level Pointer Analysis
CC Research Papers
DOI
Cape: Compiler-Aided Program Transformation for HTM-Based Cache Side-Channel Defense
CC Research Papers
DOI
Caviar: An E-Graph Based TRS for Automatic Code Optimization
CC Research Papers
DOI
Efficient Profile-Guided Size Optimization for Native Mobile Applications
CC Research Papers
DOI
Graph Transformations for Register-Pressure-Aware Instruction Scheduling
CC Research Papers
DOI
Loner: Utilizing the CPU Vector Datapath to Process Scalar Integer Data
CC Research Papers
DOI
Making No-fuss Compiler Fuzzing EffectiveArtifacts Available v1.1Artifacts Evaluated – Functional v1.1
CC Research Papers
DOI
Mapping Parallelism in a Functional IR through Constraint SatisfactionArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1Results Reproduced v1.1
CC Research Papers
DOI
Memory Access Scheduling to Reduce Thread Migrations
CC Research Papers
DOI
MLIR-Based Code Generation for GPU Tensor Cores
CC Research Papers
DOI
One-Shot Tuner for Deep Learning CompilersArtifacts Available v1.1Artifacts Evaluated – Functional v1.1
CC Research Papers
DOI
On the Computation of Interprocedural Weak Control Closure
CC Research Papers
DOI
Performant Portable OpenMP
CC Research Papers
DOI
QRANE: Lifting QASM Programs to an Affine IRArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1
CC Research Papers
DOI
QSSA: An SSA-Based IR for Quantum ComputingArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1Results Reproduced v1.1
CC Research Papers
DOI
Seamless Deductive Inference via MacrosArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1Results Reproduced v1.1
CC Research Papers
DOI
Software Pre-execution for Irregular Memory Accesses in the HBM Era
CC Research Papers
DOI
Training of Deep Learning Pipelines on Memory-Constrained GPUs via Segmented Fused-Tiled ExecutionArtifacts Evaluated – Reusable v1.1Artifacts Available v1.1Results Reproduced v1.1
CC Research Papers
DOI
Writing and Verifying a Quantum Optimizing Compiler
CC Research Papers
DOI

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 ACM’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://cc22.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 follows 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 uses 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.

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.

Publication Date

The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work. For those rare conferences whose proceedings are published in the ACM Digital Library after the conference is over, the official publication date remains the first day of the conference.

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 refer to ACM’s Copyright Policy and the ACM Author Rights.

Authors with questions on this Call for Papers are encouraged to contact the Program Chairs by email.