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

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

Publisher's Version

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

Publisher's Version

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

proc time: 0.74