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

Title Page

Welcome from the General Chair

Welcome from the Program Chairs

Report from the Artifact Evaluation Committee

CC 2025 Conference Organization

CC 2025 Sponsors and Supporters

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

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

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

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

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

Publisher's Version

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

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

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

Publisher's Version

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

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

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

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

Publisher's Version

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

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

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

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

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