kirancodes.me
To Proof Maintenance & Beyond!
Venues / CC /

CC 2026

18 papers

  1. Accelerating Sparse Algebra with Program Synthesis · José Wesley de Souza Magalhães, Shideh Hashemian, Alexander Brauckmann, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle
  2. CHEHAB: Automatic Compiler Code Optimization for Fully Homomorphic Encryption · Abdessamed Seddiki, Arab Mohammed, Zakaria Hebbal, Aimad Chabounia, Eduardo Chielle, Karima Benatchba + 4 more
  3. CPerfSmith: A Randomized C Program Generator for Performance-Oriented Compiler Testing · Yashwanth Boda, Abhijit Chunduri, Ruchi Kumari, Awanish Pandey
  4. Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis · Ramya Kasaraneni, V. Krishna Nandivada
  5. DiTOX: Fault Detection and Localization in the ONNX Optimizer · Nikolaos Louloudakis, Ajitha Rajan
  6. GraalMHC: ML-Based Method-Hotness Classification for Binary-Size Reduction in Optimizing Compilers · Milan Cugurovic, Aleksandar Prokopec, Boris Spasojevic, Vojin Jovanovic, Milena Vujosevic-Janicic
  7. HORIZON: Estimating Alias Analysis Precision Bounds and Their Impact on Performance · Khushboo Chitre, Piyus Kedia, Rahul Purandare
  8. Inside VOLT: Designing an Open-Source GPU Compiler (Tool) · Shinnung Jeong, Chihyo Ahn, Huanzhi Pu, Jisheng Zhao, Hyesoon Kim, Blaise Tine
  9. It's about Time: Temporal Abstractions for Asynchronous GPU Tensor Computations · Bastian Hagedorn, Vinod Grover
  10. Nsight Python: A Python-First Profiling Toolkit for Seamless GPU Kernel Analysis (Tool) · Bastian Hagedorn, Alexander Collins, Tony Mongkolsmai, Vinod Grover
  11. Optimizing Sparse Tensor Compilation for Sparse Output · Shideh Hashemian, Michael F. P. O'Boyle, Amir Shaikhha
  12. Parallel and Customizable Equality Saturation · Jonathan Van der Cruysse, Abd-El-Aziz Zayed, Mai Jacob Peng, Christophe Dubach
  13. Practical MHP Analysis for Java · A. Samuel Moses, V. Krishna Nandivada
  14. RIFS: Run-Time Invariant Function Specialization · Saba Jamilan, Snehasish Kumar, Heiner Litz
  15. SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks · Ange-Thierry Ishimwe, Sam McDiarmid-Sterling, Zack McKevitt, Tamara Silbergleit Lehman
  16. Schedgehammer: Auto-tuning Compiler Optimizations beyond Numerical Parameters · Johannes Lenfers, Sven Spehr, Justus Dieckmann, Johannes Jansen, Martin Paul Lücke, Sergei Gorlatch
  17. TinyGen: Portable and Compact Code Generation for Tiny Machine Learning · Gaeun Ko, Seonyeong Heo
  18. Type Deduction Analysis: Reconstructing Transparent Pointer Types in LLVM-IR · Niccolò Nicolosi, Gabriele Magnani, Emilio Corigliano, Davide Baroffio, Federico Reghenzani, Giovanni Agosta