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.
Sat 2 MarDisplayed time zone: London change
12:50 - 13:40 | |||
12:50 50mLunch | Lunch Main Conference |
13:40 - 13:50 | |||
15:00 - 15:40 | |||
15:00 20mTalk | Fast Template-Based Code Generation for MLIR Main Conference | ||
15:20 20mTalk | A Unified Memory Dependency Framework for Speculative High-Level Synthesis Main Conference Jean-Michel Gorius , Simon Rokicki Univ Rennes, Inria, CNRS, IRISA, Steven Derrien Univ Rennes, Inria, CNRS, IRISA |
15:40 - 16:00 | |||
15:40 20mCoffee break | Coffee Break Main Conference |
16:00 - 17:40 | Static AnalysisMain Conference at Ochil Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France | ||
16:00 20mTalk | If-Convert as Early as You Must Main Conference | ||
16:20 20mTalk | Paguroidea: Fused Parser Generator with Transparent Semantic Actions Main Conference Yifan Zhu University of Rochester, USA, Quartic Cat The Chinese University of Hong Kong, Shenzhen, Boluo Ge North Carolina State University, Shatong Sun University of Rochester | ||
16:40 20mTalk | Region-Based Data Layout via Data Reuse Analysis Main Conference Caio Salvador Rohwedder University of Alberta, João P. L. De Carvalho Qualcomm Canada Inc, Jose Nelson Amaral University of Alberta | ||
17:00 20mTalk | A Context-Sensitive Pointer Analysis Framework for Rust and its Application to Call Graph Construction Main Conference Wei Li UNSW, Dongjie He UNSW, Yujiang Gui UNSW, Wenguang Chen Tsinghua University; Pengcheng Laboratory, Jingling Xue UNSW | ||
17:20 20mTalk | CoSense: Compiler Optimizations using Sensor Technical Specifications Main Conference Pei Mu , Nikos Mavrogeorgis University of Edinburgh, Christos Vasiladiotis University of Edinburgh, Vasileios Tsoutsouras University of Cambridge, Orestis Kaparounakis University of Cambridge, Phillip Stanley-Marbell , Antonio Barbalace The University of Edinburgh |
Sun 3 MarDisplayed time zone: London change
09:20 - 10:00 | |||
09:20 20mTalk | UNIFICO: Thread Migration in Heterogeneous-ISA CPUs without State Transformation Main Conference Nikos Mavrogeorgis University of Edinburgh, Christos Vasiladiotis University of Edinburgh, Pei Mu , Amir Khordadi University of Edinburgh, Björn Franke University of Edinburgh, Antonio Barbalace The University of Edinburgh | ||
09:40 20mTalk | BLQ: Light-Weight Locality-Aware Runtime for Blocking-Less Queuing Main Conference Qinzhe Wu University of Texas at Austin, Ruihao Li The University of Texas at Austin, Jonathan Beard Google, Lizy John University of Texas, Austin |
10:00 - 10:20 | |||
10:00 20mCoffee break | Coffee Break Main Conference |
10:20 - 12:00 | Debugging, Profiling and ParallelismMain Conference at Harris Chair(s): Steven Derrien Univ Rennes, Inria, CNRS, IRISA | ||
10:20 20mTalk | APPy: Annotated Parallelism for Python on GPUs Main Conference Tong Zhou Georgia Institute of Technology, Jun Shirako Georgia Institute of Technology, Vivek Sarkar Georgia Institute of Technology | ||
10:40 20mTalk | Accurate Coverage Metrics for Compiler-generated Debugging Information Main Conference DOI Pre-print | ||
11:00 20mTalk | FlowProf: Profiling Multi-threaded Programs using Information-Flow Main Conference | ||
11:20 20mTalk | Reducing the Overhead of Exact Profiling by Reusing Affine Variables Main Conference | ||
11:40 20mTalk | Stale Profile Matching Main Conference |
12:20 - 13:20 | |||
12:20 60mLunch | Lunch Main Conference |
13:20 - 14:30 | |||
13:20 70mPanel | Compilers and Machine Learning Main Conference Saman Amarasinghe Massachusetts Institute of Technology, Tobias Grosser University of Edinburgh, Hyesoon Kim Georgia Institute of Technology, Fabrice Rastello University Grenoble Alpes - Inria - CNRS - Grenoble INP - LIG, Xipeng Shen North Carolina State University |
14:40 - 15:20 | Safety and CorrectnessMain Conference at Harris Chair(s): Fernando Magno Quintão Pereira Federal University of Minas Gerais | ||
14:40 20mTalk | From Low-level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme Main Conference Sébastien Michelland Université Grenoble-Alpes, Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France, Christophe Deleuze Grenoble-INP/ESISAR | ||
15:00 20mTalk | Clog: A Declarative Language for C Static Code Checkers Main Conference |
15:20 - 15:40 | |||
15:20 20mCoffee break | Coffee Break Main Conference |
17:20 - 17:30 | |||
17:30 - 17:50 | |||
Accepted Papers
Call for Papers
The ACM SIGPLAN 2024 International Conference on Compiler Construction (CC 2024) is interested in work on processing programs in the most general sense: analyzing, transforming or executing input programs that describe 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
- Implications to compiler construction from emerging or non-conventional applications (e.g., deep learning, quantum computing, DNA computing, etc.)
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 site: https://cc24.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 US letter size paper.
All papers must be prepared in ACM Conference Format using the 2-column acmart format: use the options \documentclass[sigplan,10pt,review,anonymous]{acmart} for Latex, and interim-layout.docx for Word. 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.
By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM’s new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.
Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.
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 will be made available later.
Publication Date
AUTHORS TAKE NOTE: 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.
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.