CC 2025
34th ACM SIGPLAN International Conference on Compiler Construction (CC 2025)

Title Page

Article: cc25foreword-fm000-p doi:

Welcome from the General Chair

Article: cc25foreword-fm001-p doi:

Welcome from the Program Chairs

Article: cc25foreword-fm004-p doi:

Report from the Artifact Evaluation Committee

Article: cc25foreword-fm005-p doi:

CC 2025 Conference Organization

Article: cc25foreword-fm002-p doi:

CC 2025 Sponsors and Supporters

Article: cc25foreword-fm003-p doi:

Enhancing Program Analysis with Deterministic Distinguishable Calling Context
Sungkeun Kim, Khanh Nguyen, Chia-Che Tsai, Jaewoo Lee, Abdullah Muzahid, and Eun Jung Kim
(Samsung Research, South Korea; Texas A&M University, USA)

Publisher's Version Artifacts Functional Results Reproduced Article: cc25main-p8-p doi:10.1145/3708493.3712679

A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiers
Anderson Faustino da Silva, Jeronimo Castrillon, and Fernando Magno Quintão Pereira
(State University of Maringá, Brazil; TU Dresden, Germany; SCADS.AI, Germany; Federal University of Minas Gerais, Brazil)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: cc25main-p10-p doi:10.1145/3708493.3712680

Automatic Test Case Generation for Jasper App HDL Compiler: An Industry Experience
Mirlaine Crepalde, Augusto Mafra, Lucas Cavalini, Lucas Martins, Guilherme Amorim, Pedro Henrique Santos, and Fabiano Peixoto
(Cadence Design Systems, Brazil)

Publisher's Version Article: cc25main-p14-p doi:10.1145/3708493.3712681

pyATF: Constraint-Based Auto-Tuning in Python
Richard Schulze, Sergei Gorlatch, and Ari Rasch
(University of Münster, Germany)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional Results Reproduced Article: cc25main-p22-p doi:10.1145/3708493.3712682

Data-Efficient Performance Modeling via Pre-training
Chunting Liu and Riyadh Baghdadi
(NYU Abu Dhabi, United Arab Emirates)

Publisher's Version Article: cc25main-p30-p doi:10.1145/3708493.3712683

Overloading the Dot
Joseph Tan and Magnus Madsen
(Stanford University, USA; Aarhus University, Denmark)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: cc25main-p38-p doi:10.1145/3708493.3712684

MimIrADe: Automatic Differentiation in MimIR
Marcel Ullrich, Sebastian Hack, and Roland Leißa
(Saarland University, Germany; University of Mannheim, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: cc25main-p48-p doi:10.1145/3708493.3712685

Finding Missed Code Size Optimizations in Compilers using Large Language Models
Davide Italiano and Chris Cummins
(Meta, USA)

Publisher's Version Article: cc25main-p56-p doi:10.1145/3708493.3712686

DFA-Net: A Compiler-Specific Neural Architecture for Robust Generalization in Data Flow Analyses
Alexander Brauckmann, Anderson Faustino da Silva, Gabriel Synnaeve, Michael F. P. O’Boyle, Jeronimo Castrillon, and Hugh Leather
(University of Edinburgh, UK; State University of Maringá, Brazil; Meta, France; TU Dresden, Germany; Meta, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: cc25main-p60-p doi:10.1145/3708493.3712687

A Deep Technical Review of nZDC Fault Tolerance
Minli Liao, Sam Ainsworth, Lev Mukhanov, and Timothy M. Jones
(University of Cambridge, UK; University of Edinburgh, UK; Queen Mary University of London, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: cc25main-p69-p doi:10.1145/3708493.3712688

Fusion of Operators of Computational Graphs via Greedy Clustering: The XNNC Experience
Michael Canesche, Vanderson Martins do Rosario, Edson Borin, and Fernando Magno Quintão Pereira
(Cadence Design Systems, Brazil; Cadence Design Systems, USA; State University of Campinas, Brazil; Federal University of Minas Gerais, Brazil)

Publisher's Version Article: cc25main-p77-p doi:10.1145/3708493.3712689

Scalable Data-Flow Modeling and Validation of Distributed-Memory Algorithms
Raneem Abu-Yosef and Martin Kong
(Ohio State University, USA)

Publisher's Version Article: cc25main-p79-p doi:10.1145/3708493.3712690

LLM Compiler: Foundation Language Models for Compiler Optimization
Chris Cummins, Volker Seeker, Dejan Grubisic, Baptiste Roziere, Jonas Gehring, Gabriel Synnaeve, and Hugh Leather
(Meta, USA; Meta, France)

Publisher's Version Article: cc25main-p93-p doi:10.1145/3708493.3712691

Post-Link Outlining for Code Size Reduction
Shaobai Yuan, Jihong He, Yihui Xie, Feng Wang, and Jie Zhao
(Hunan University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: cc25main-p94-p doi:10.1145/3708493.3712692

Biotite: A High-Performance Static Binary Translator using Source-Level Information
Changbin Chen, Shu Sugita, Yotaro Nada, Hidetsugu Irie, Shuichi Sakai, and Ryota Shioya
(University of Tokyo, Japan)

Publisher's Version Article: cc25main-p99-p doi:10.1145/3708493.3712693

Secure Scripting with CHERIoT MicroPython
Duncan Lowther, Dejice Jacob, Jacob Trevor, and Jeremy Singer
(University of Glasgow, UK)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional Results Reproduced Article: cc25main-p116-p doi:10.1145/3708493.3712694

Compiler Support for Speculation in Decoupled Access/Execute Architectures
Robert Szafarczyk, Syed Waqar Nabi, and Wim Vanderbauwhede
(University of Glasgow, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: cc25main-p173-p doi:10.1145/3708493.3712695