CC 2025 – Proceedings

Results Reproduced Article: cc25main-p8-p (type: Full Paper) 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)

Results Reproduced Article: cc25main-p10-p (type: Full Paper) doi:10.1145/3708493.3712680

Reproduction Package for Article 'A Comparative Study on the Accuracy and the Speed of Static and Dynamic Program Classifiers' (doi:10.5281/zenodo.14811734): Machine learning has greatly improved compiler technology. Its effectiveness relies on accurate and expressive code representation, influencing the model's learning ability and performance. Rouxinol provides developers with an infrastructure to explore and innovate in this field. It is the artifact developed for our ...

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 (type: Full Paper) doi:10.1145/3708493.3712681

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

Info

Results Reproduced Article: cc25main-p22-p (type: Full Paper) doi:10.1145/3708493.3712682

pyATF: Constraint-Based Auto-Tuning in Python (doi:10.1145/3580444): This artifact contains the workflow to reproduce the experiments shown in the paper *pyATF: Constraint-Based Auto-Tuning in Python* accepted for publication at *The International Conference on Compiler Construction (CC)*. It compares various auto-tuning frameworks, as well as some vendor-provided libraries, by running ...

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 (type: Full Paper) doi:10.1145/3708493.3712683

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

Results Reproduced Article: cc25main-p38-p (type: Full Paper) doi:10.1145/3708493.3712684

Overloading the Dot (Artifact) (doi:10.5281/zenodo.14681487): In this artifact, we provide an implementation of dot overloading as described in the related article. The implementation is an extension of the Flix programming language compiler, demonstrating the use of techniques described in the article to resolve struct field access and overload the dot for any type. The ...

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

Results Reproduced Article: cc25main-p48-p (type: Full Paper) doi:10.1145/3708493.3712685

MimIrADe: Automatic Differentiation in MimIR (doi:10.5281/zenodo.14681335): Benchmarks and experiments for the automatic differentiation paper.

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 (type: Full Paper) 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)

Results Reproduced Article: cc25main-p60-p (type: Full Paper) doi:10.1145/3708493.3712687

DFA-Net: Data Flow Analyses Neural Network Architecture (doi:10.5281/zenodo.14670956): Data flow analysis is fundamental to modern program optimization and verification, serving as a critical foundation for compiler transformations. As machine learning increasingly drives compiler tasks, the need for models that can implicitly understand and correctly reason about data flow properties becomes crucial ...

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)

Results Reproduced Article: cc25main-p69-p (type: Full Paper) doi:10.1145/3708493.3712688

CC25 Artifact Evaluation for Extended nZDC Fault Tolerance (doi:10.5281/zenodo.14678386): This is the artifact for the artifact evaluation of CC 2025, for the paper "A Deep Technical Review of nZDC Fault Tolerance" by M. Liao, S. Ainsworth, L. Mukhanov and T. Jones. This artifact includes the nZDC-Compiler implementation (based on LLVM, original version at https://github.com/MPSLab-ASU/nZDC-Compiler) with ...

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 (type: Full Paper) 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 (type: Full Paper) 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 (type: Full Paper) 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)

Results Reproduced Article: cc25main-p94-p (type: Full Paper) doi:10.1145/3708493.3712692

Post-Link Outlining for Code Size Reduction (doi:10.5281/zenodo.14689800): This artifact is associated with the paper titled **"Post-link Outlining for Code Size Reduction"**, which presents a novel approach to reducing the size of compiled binaries through a post-link optimization technique. Code size reduction is critical for resource-constrained environments, such as embedded systems and ...

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 (type: Full Paper) doi:10.1145/3708493.3712693

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

Info

Results Reproduced Article: cc25main-p116-p (type: Full Paper) doi:10.1145/3708493.3712694

glasgowPLI/micropython: CC 2025 Artifact Evaluation (doi:10.5281/zenodo.14685666): Source code tarball for the MicroPython runtime, which we have adapted to run on the secure CHERIoT Sonata platform.

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