CC 2024
33rd ACM SIGPLAN International Conference on Compiler Construction (CC 2024)
Powered by
Conference Publishing Consulting

33rd ACM SIGPLAN International Conference on Compiler Construction (CC 2024), March 2–3, 2024, Edinburgh, United Kingdom

CC 2024 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Welcome from the General Chair
Welcome from the Program Chairs
Report from the Artifact Evaluation Committee
CC 2024 Conference Organization
Sponsors of CC 2024

Code Generation and Synthesis

Fast Template-Based Code Generation for MLIR
Florian Drescher ORCID logo and Alexis Engelke ORCID logo
(TU Munich, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
A Unified Memory Dependency Framework for Speculative High-Level Synthesis
Jean-Michel Gorius ORCID logo, Simon Rokicki ORCID logo, and Steven Derrien ORCID logo
(University of Rennes - Inria - CNRS - IRISA, France)
Publisher's Version

Static and Dynamic Analysis

If-Convert as Early as You Must
Dorit Nuzman ORCID logo, Ayal Zaks ORCID logo, and Ziv Ben-Zion ORCID logo
(Mobileye, Israel)
Publisher's Version
Paguroidea: Fused Parser Generator with Transparent Semantic Actions
Yifan ZhuORCID logo, Quartic CatORCID logo, Boluo Ge ORCID logo, and Shaotong Sun ORCID logo
(University of Rochester, USA; Chinese University of Hong Kong, Shenzhen, China; North Carolina State University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
Region-Based Data Layout via Data Reuse Analysis
Caio Salvador Rohwedder ORCID logo, João P. L. De Carvalho ORCID logo, and José Nelson Amaral ORCID logo
(University of Alberta, Canada)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction
Wei Li ORCID logo, Dongjie He ORCID logo, Yujiang Gui ORCID logo, Wenguang Chen ORCID logo, and Jingling Xue ORCID logo
(UNSW, Australia; Tsinghua University, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
CoSense: Compiler Optimizations using Sensor Technical Specifications
Pei MuORCID logo, Nikolaos Mavrogeorgis ORCID logo, Christos Vasiladiotis ORCID logo, Vasileios Tsoutsouras ORCID logo, Orestis Kaparounakis ORCID logo, Phillip Stanley-Marbell ORCID logo, and Antonio Barbalace ORCID logo
(University of Edinburgh, United Kingdom; University of Cambridge, United Kingdom)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

Runtime Techniques

UNIFICO: Thread Migration in Heterogeneous-ISA CPUs without State Transformation
Nikolaos Mavrogeorgis ORCID logo, Christos Vasiladiotis ORCID logo, Pei MuORCID logo, Amir Khordadi ORCID logo, Björn Franke ORCID logo, and Antonio Barbalace ORCID logo
(University of Edinburgh, United Kingdom)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
BLQ: Light-Weight Locality-Aware Runtime for Blocking-Less Queuing
Qinzhe Wu ORCID logo, Ruihao Li ORCID logo, Jonathan Beard ORCID logo, and Lizy John ORCID logo
(University of Texas at Austin, USA; Arm, USA)
Publisher's Version

Debugging, Profiling, and Parallelism

APPy: Annotated Parallelism for Python on GPUs
Tong Zhou ORCID logo, Jun Shirako ORCID logo, and Vivek Sarkar ORCID logo
(Georgia Institute of Technology, USA)
Publisher's Version Archive submitted (1.4 MB)
Accurate Coverage Metrics for Compiler-Generated Debugging Information
J. Ryan Stinnett ORCID logo and Stephen Kell ORCID logo
(King’s College London, United Kingdom)
Publisher's Version Published Artifact Artifacts Available
FlowProf: Profiling Multi-threaded Programs using Information-Flow
Ahamed Al Nahian ORCID logo and Brian Demsky ORCID logo
(University of California, Irvine, USA)
Publisher's Version Published Artifact Artifacts Available
Reducing the Overhead of Exact Profiling by Reusing Affine Variables
Leon Frenot ORCID logo and Fernando Magno Quintão Pereira ORCID logo
(ENS Lyon, France; Federal University of Minas Gerais, Brazil)
Publisher's Version
Stale Profile Matching
Amir Ayupov ORCID logo, Maksim Panchenko ORCID logo, and Sergey Pupyrev ORCID logo
(Meta, USA)
Publisher's Version

Safety and Correctness

From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme
Sébastien Michelland ORCID logo, Christophe Deleuze ORCID logo, and Laure Gonnord ORCID logo
(Université Grenoble Alpes, France)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced
Clog: A Declarative Language for C Static Code Checkers
Alexandru Dura ORCID logo and Christoph ReichenbachORCID logo
(Lund University, Sweden)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced

Compilers and Machine Learning

Compiler-Based Memory Encryption for Machine Learning on Commodity Low-Power Devices
Kiwan Maeng ORCID logo and Brandon Lucia ORCID logo
(Pennsylvania State University, USA; Carnegie Mellon University, USA)
Publisher's Version
YFlows: Systematic Dataflow Exploration and Code Generation for Efficient Neural Network Inference using SIMD Architectures on CPUs
Cyrus Zhou ORCID logo, Zack Hassman ORCID logo, Dhirpal Shah ORCID logo, Vaughn Richard ORCID logo, and Yanjing Li ORCID logo
(University of Chicago, USA)
Publisher's Version
Fast and Accurate Context-Aware Basic Block Timing Prediction using Transformers
Abderaouf Nassim Amalou ORCID logo, Elisa Fromont ORCID logo, and Isabelle Puaut ORCID logo
(University of Rennes - Inria - CNRS - IRISA, France; University of Rennes - IUF - Inria - CNRS - IRISA, France)
Publisher's Version
The Next 700 ML-Enabled Compiler Optimizations
S. VenkataKeerthyORCID logo, Siddharth Jain ORCID logo, Umesh Kalvakuntla ORCID logo, Pranav Sai Gorantla ORCID logo, Rajiv Shailesh Chitale ORCID logo, Eugene Brevdo ORCID logo, Albert Cohen ORCID logo, Mircea Trofin ORCID logo, and Ramakrishna Upadrasta ORCID logo
(IIT Hyderabad, India; Google DeepMind, USA; Google DeepMind, France; Google, USA)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional Results Reproduced
Exponentially Expanding the Phase-Ordering Search Space via Dormant Information
Ruobing Han ORCID logo and Hyesoon Kim ORCID logo
(Georgia Institute of Technology, USA)
Publisher's Version

proc time: 4.97