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.
Tue 5 AprDisplayed 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 50mKeynote | 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 15mPaper | QSSA: An SSA-Based IR for Quantum Computing CC Research Papers DOI | ||
11:55 15mPaper | QRANE: Lifting QASM Programs to an Affine IR CC Research Papers Blake Gerard University of Oklahoma, Tobias Grosser University of Edinburgh, Martin Kong The Ohio State University DOI | ||
12:10 15mPaper | 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 15mPaper | 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 15mPaper | 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 15mPaper | On the Computation of Interprocedural Weak Control Closure CC Research Papers DOI | ||
13:35 15mPaper | Seamless Deductive Inference via Macros 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 AprDisplayed 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 15mPaper | One-Shot Tuner for Deep Learning Compilers CC Research Papers DOI | ||
10:35 15mPaper | Training of Deep Learning Pipelines on Memory-Constrained GPUs via Segmented Fused-Tiled Execution 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 15mPaper | 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 15mPaper | Automating Reinforcement Learning Architecture Design for Code Optimization 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 15mPaper | 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 15mPaper | 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 15mPaper | 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 (Gary) Tan Pennsylvania State University DOI | ||
12:15 15mPaper | 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 15mPaper | Making No-fuss Compiler Fuzzing Effective 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 15mPaper | 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 15mPaper | Mapping Parallelism in a Functional IR through Constraint Satisfaction 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 15mPaper | Software Pre-execution for Irregular Memory Accesses in the HBM Era CC Research Papers DOI | ||
13:45 15mPaper | Efficient Profile-Guided Size Optimization for Native Mobile Applications CC Research Papers DOI |
14:00 - 14:15 | |||
Accepted 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 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.