CC 2026 – Proceedings

Frontmatter

Optimizations

GraalMHC: ML-Based Method-Hotness Classification for Binary-Size Reduction in Optimizing Compilers
Milan Cugurovic, Aleksandar Prokopec, Boris Spasojevic, Vojin Jovanovic, and Milena Vujošević Janičić
(Oracle, Serbia; University of Belgrade, Serbia; Oracle, Switzerland)

Publisher's Version Info Article: cc26main-p53-p doi:10.1145/3771775.3786276

It’s about Time: Temporal Abstractions for Asynchronous GPU Tensor Computations
Bastian Hagedorn and Vinod Grover
(NVIDIA, Germany; NVIDIA, USA)

Publisher's Version Article: cc26main-p56-p doi:10.1145/3771775.3786277

Optimizing Sparse Tensor Compilation for Sparse Output
Shideh Hashemian, Michael F. P. O’Boyle, and Amir Shaikhha
(University of Edinburgh, UK)

Publisher's Version Article: cc26main-p16-p doi:10.1145/3771775.3786267

RIFS: Run-Time Invariant Function Specialization
Saba Jamilan, Snehasish Kumar, and Heiner Litz
(University of California at Santa Cruz, USA; Google, USA)

Publisher's Version Published Artifact Artifacts Available Article: cc26main-p46-p doi:10.1145/3771775.3786274

Optimizations for Safety and More

DiTOX: Fault Detection and Localization in the ONNX Optimizer
Nikolaos Louloudakis and Ajitha Rajan
(University of Edinburgh, UK)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable Results Reproduced Article: cc26main-p10-p doi:10.1145/3771775.3786265

SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks
Ange-Thierry Ishimwe, Sam McDiarmid-Sterling, Zack McKevitt, and Tamara Silbergleit Lehman
(University of Colorado Boulder, USA)

Publisher's Version Published Artifact Artifacts Available Article: cc26main-p38-p doi:10.1145/3771775.3786272

CHEHAB: Automatic Compiler Code Optimization for Fully Homomorphic Encryption
Abdessamed Seddiki, Arab Mohammed, Zakaria Hebbal, Aimad Chabounia, Eduardo Chielle, Karima Benatchba, Challal Yacine, Djamel Eddine Menacer, Michail Maniatakos, and Riyadh Baghdadi
(New York University Abu Dhabi, United Arab Emirates; École Nationale Supérieure d’Informatique, Algeria; University of Doha for Science and Technology, Qatar)

Publisher's Version Article: cc26main-p28-p doi:10.1145/3771775.3786269

Parallel and Customizable Equality Saturation
Jonathan Van der Cruysse, Abd-El-Aziz Zayed, Mai Jacob Peng, and Christophe Dubach
(McGill University, Canada)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: cc26main-p15-p doi:10.1145/3771775.3786266

Code Generation and Tuning

Accelerating Sparse Algebra with Program Synthesis
José Wesley de Souza Magalhães, Shideh Hashemian, Alexander Brauckmann, Jackson Woodruff, Elizabeth Polgreen, and Michael F. P. O’Boyle
(University of Edinburgh, UK)

Publisher's Version Article: cc26main-p63-p doi:10.1145/3771775.3786281

Schedgehammer: Auto-tuning Compiler Optimizations beyond Numerical Parameters
Johannes Lenfers, Sven Spehr, Justus Dieckmann, Johannes Jansen, Martin Paul Lücke, and Sergei Gorlatch
(University of Münster, Germany; Daisytuner, Germany; AMD, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: cc26main-p64-p doi:10.1145/3771775.3786282

TinyGen: Portable and Compact Code Generation for Tiny Machine Learning
Gaeun Ko and Seonyeong Heo
(Kyung Hee University, Republic of Korea)

Publisher's Version Info Artifacts Functional Results Reproduced Article: cc26main-p57-p doi:10.1145/3771775.3786278

CPerfSmith: A Randomized C Program Generator for Performance-Oriented Compiler Testing
Yashwanth Boda, Abhijit Chunduri, Ruchi Kumari, and Awanish Pandey
(IIT Roorkee, India)

Publisher's Version Article: cc26main-p35-p doi:10.1145/3771775.3786271

Tools

Inside VOLT: Designing an Open-Source GPU Compiler (Tool)
Shinnung Jeong, Chihyo Ahn, Huanzhi Pu, Jisheng Zhao, Hyesoon Kim, and Blaise Tine
(Georgia Institute of Technology, USA; University of California at Los Angeles, USA)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable Results Reproduced Article: cc26main-p49-p doi:10.1145/3771775.3786275

Nsight Python: A Python-First Profiling Toolkit for Seamless GPU Kernel Analysis (Tool)
Bastian Hagedorn, Alexander Collins, Tony Mongkolsmai, and Vinod Grover
(NVIDIA, Germany; NVIDIA, UK; NVIDIA, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: cc26main-p42-p doi:10.1145/3771775.3786273

Analysis

HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance
Khushboo Chitre, Piyus Kedia, and Rahul Purandare
(IIIT Delhi, India; University of Nebraska-Lincoln, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: cc26main-p33-p doi:10.1145/3771775.3786270

Type Deduction Analysis: Reconstructing Transparent Pointer Types in LLVM-IR
Niccolò Nicolosi, Gabriele Magnani, Emilio Corigliano, Davide Baroffio, Federico Reghenzani, and Giovanni Agosta
(Politecnico di Milano, Italy)

Publisher's Version Published Artifact Artifacts Available Article: cc26main-p26-p doi:10.1145/3771775.3786268

Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis
Ramya Kasaraneni and V. Krishna Nandivada
(IIT Madras, India)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: cc26main-p61-p doi:10.1145/3771775.3786280

Practical MHP Analysis for Java
A. Samuel Moses and V. Krishna Nandivada
(IIT Madras, India)

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

proc time: 0.04