CC 2024
Sat 2 - Sun 3 March 2024 Edinburgh, United Kingdom

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

Sat 2 Mar

Displayed time zone: London change

12:50 - 13:40
12:50
50m
Lunch
Lunch
Main Conference

13:40 - 13:50
15:00 - 15:40
Code Generation & SynthesisMain Conference at Ochil
Chair(s): Ayal Zaks Mobileye
15:00
20m
Talk
Fast Template-Based Code Generation for MLIR
Main Conference
Florian Drescher Technical University of Munich, Alexis Engelke TU Munich
15:20
20m
Talk
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
20m
Coffee 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
20m
Talk
If-Convert as Early as You Must
Main Conference
Dorit Nuzman Mobileye, Ayal Zaks Mobileye, Ziv Ben-Zion Mobileye
16:20
20m
Talk
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
20m
Talk
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
20m
Talk
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
20m
Talk
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 Mar

Displayed time zone: London change

09:20 - 10:00
Runtime TechniquesMain Conference at Harris
Chair(s): EunJung (EJ) Park Qualcomm, USA
09:20
20m
Talk
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
20m
Talk
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
20m
Coffee 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
20m
Talk
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
20m
Talk
Accurate Coverage Metrics for Compiler-generated Debugging Information
Main Conference
J. Ryan Stinnett King's College London, Stephen Kell King's College London
DOI Pre-print
11:00
20m
Talk
FlowProf: Profiling Multi-threaded Programs using Information-Flow
Main Conference
Brian Demsky University of California at Irvine, Ahamed Al Nahian University of California, Irvine
11:20
20m
Talk
Reducing the Overhead of Exact Profiling by Reusing Affine Variables
Main Conference
Leon Frenot ENS Lyon, Fernando Magno Quintão Pereira Federal University of Minas Gerais
11:40
20m
Talk
Stale Profile Matching
Main Conference
12:20 - 13:20
12:20
60m
Lunch
Lunch
Main Conference

13:20 - 14:30
PanelMain Conference at Harris
Chair(s): Saday Sadayappan University of Utah, USA
13:20
70m
Panel
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
20m
Talk
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
20m
Talk
Clog: A Declarative Language for C Static Code Checkers
Main Conference
Alexandru Dura Lund University, Christoph Reichenbach Lund University
15:20 - 15:40
15:20
20m
Coffee break
Coffee Break
Main Conference

15:40 - 17:20
Compilers and Machine LearningMain Conference at Harris
Chair(s): Jose Nelson Amaral University of Alberta
15:40
20m
Talk
The Next 700 ML-Enabled Compiler Optimizations
Main Conference
S. VenkataKeerthy IIT Hyderabad, Siddharth Jain Indian Institute of Technology Hyderabad, Umesh Kalvakuntla IIT Hyderabad, Pranav Sai Gorantla IIT Hyderabad, Rajiv Shailesh Chitale IIT Hyderabad, Eugene Brevdo Google, Albert Cohen Google, M Trofin Google, Ramakrishna Upadrasta IIT Hyderabad
16:00
20m
Talk
Compiler-based Memory Encryption for Machine Learning on Commodity Low-power Devices
Main Conference
Kiwan Maeng Carnegie Mellon University, USA, Brandon Lucia Carnegie Mellon University, USA
16:20
20m
Talk
YFlows: Systematic Dataflow Exploration and Code Generation for Efficient Neural Network Inference using SIMD Architectures on CPUs
Main Conference
Cyrus Zhou , Zack Hassman University of Chicago, Dhirpal Shah University of Chicago, Vaughn Richard University of Chicago, Yanjing Li University of Chicago
16:40
20m
Talk
Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers
Main Conference
Nassim Abderaouf Amalou , Elisa Fromont Univ Rennes, IUF, INRIA, CNRS, IRISA, Isabelle Puaut Université de Rennes - Inria - CNRS - IRISA
17:00
20m
Talk
Exponentially Expanding the Phase-Ordering Search Space via Dormant Information
Main Conference
Ruobing Han Georgia Institute of Technology, Hyesoon Kim Georgia Institute of Technology
17:20 - 17:30
Awards and ClosingMain Conference at Harris
17:30 - 17:50
Business meetingMain Conference at Harris

Accepted Papers

Title
Accurate Coverage Metrics for Compiler-generated Debugging Information
Main Conference
DOI Pre-print
A Context-Sensitive Pointer Analysis Framework for Rust and its Application to Call Graph Construction
Main Conference
APPy: Annotated Parallelism for Python on GPUs
Main Conference
A Unified Memory Dependency Framework for Speculative High-Level Synthesis
Main Conference
BLQ: Light-Weight Locality-Aware Runtime for Blocking-Less Queuing
Main Conference
Clog: A Declarative Language for C Static Code Checkers
Main Conference
Compiler-based Memory Encryption for Machine Learning on Commodity Low-power Devices
Main Conference
Compilers and Machine Learning
Main Conference
CoSense: Compiler Optimizations using Sensor Technical Specifications
Main Conference
Exponentially Expanding the Phase-Ordering Search Space via Dormant Information
Main Conference
Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers
Main Conference
Fast Template-Based Code Generation for MLIR
Main Conference
FlowProf: Profiling Multi-threaded Programs using Information-Flow
Main Conference
From Low-level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme
Main Conference
If-Convert as Early as You Must
Main Conference
Paguroidea: Fused Parser Generator with Transparent Semantic Actions
Main Conference
Reducing the Overhead of Exact Profiling by Reusing Affine Variables
Main Conference
Region-Based Data Layout via Data Reuse Analysis
Main Conference
Stale Profile Matching
Main Conference
The Next 700 ML-Enabled Compiler Optimizations
Main Conference
UNIFICO: Thread Migration in Heterogeneous-ISA CPUs without State Transformation
Main Conference
YFlows: Systematic Dataflow Exploration and Code Generation for Efficient Neural Network Inference using SIMD Architectures on CPUs
Main Conference

Call for Papers

Call for Papers Flyer (PDF)

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.