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

Powered by

Conference Publishing Consulting

34th ACM SIGPLAN International Conference on Compiler Construction (CC 2025), March 1–2, 2025, Las Vegas, NV, USA

CC 2025 – Preliminary Table of Contents

Contents - Abstracts - Authors

Frontmatter

Welcome from the General Chair

Welcome from the Program Chairs

Report from the Artifact Evaluation Committee

CC 2025 Conference Organization

Sponsors of CC 2025

Papers

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)

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; Federal University of Minas Gerais, Brazil)

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)

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

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

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

MimIrADe: Automatic Differentiation in a Higher-Order Sea-of-Nodes IR
Marcel Ullrich, Sebastian Hack, and Roland Leißa
(Saarland University, Germany; University of Mannheim, Germany)

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

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, United Kingdom; State University of Maringá, Brazil; Meta, n.n.; TU Dresden, Germany; Meta, United Kingdom)

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

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; State University of Campinas, Brazil; Federal University of Minas Gerais, Brazil)

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

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, n.n.)

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

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)

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

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

proc time: 4.37