Table of Contents

• Synthesis of Sorting KernelsMarcel Ullrich, Sebastian Hack. 1-14 [doi]
• Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and SolvingAlexander Brauckmann, Luc Jaulmes, José Wesley de Souza Magalhães, Elizabeth Polgreen, Michael F. P. O'Boyle. 15-30 [doi]
• Enhancing Deployment-Time Predictive Model Robustness for Code Analysis and OptimizationHuanting Wang, Patrick Lenihan, Zheng Wang. 31-46 [doi]
• SySTeC: A Symmetric Sparse Tensor CompilerRadha Patel, Willow Ahrens, Saman P. Amarasinghe. 47-62 [doi]
• Pattern Matching in AI Compilers and Its FormalizationJoseph W. Cutler, Alex Collins, Bin Fan, Mahesh Ravishankar, Vinod Grover. 63-76 [doi]
• Scalar Interpolation: A Better Balance between Vector and Scalar Execution for SuperScalar ArchitecturesReza Ghanbari, Henry Kao, João P. L. de Carvalho, Ehsan Amiri, José Nelson Amaral. 77-89 [doi]
• VEGA: Automatically Generating Compiler Backends using a Pre-trained Transformer ModelMing Zhong, Fang Lv, Lulin Wang, Lei Qiu, Yingying Wang, Ying Liu, Huimin Cui, Xiaobing Feng, Jingling Xue. 90-106 [doi]
• IntelliGen: Instruction-Level Auto-tuning for Tensor Program with Monotonic Memory OptimizationZixuan Ma, Haojie Wang, Jingze Xing, Shuhong Huang, Liyan Zheng 0001, Chen Zhang, Huanqi Cao, Kezhao Huang, Mingshu Zhai, Shizhi Tang, Penghan Wang, Jidong Zhai. 107-122 [doi]
• GraalNN: Context-Sensitive Static Profiling with Graph Neural NetworksLazar Milikic, Milan Cugurovic, Vojin Jovanovic. 123-136 [doi]
• LLM-Vectorizer: LLM-Based Verified Loop VectorizerJubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri. 137-149 [doi]
• Calibro: Compilation-Assisted Linking-Time Binary Code Outlining for Code Size Reduction in Android ApplicationsZhanhao Liang, Hanming Sun, Wenhan Shang, Mengting Yuan 0001, Jingqin Fu, Jiang Ma, Chun Jason Xue, Qingan Li. 150-162 [doi]
• A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA ExtensionsAlexandre Lopoukhine, Federico Ficarelli, Christos Vasiladiotis, Anton Lydike, Josse Van Delm, Alban Dutilleul, Luca Benini, Marian Verhelst, Tobias Grosser. 163-178 [doi]
• xDSL: Sidekick Compilation for SSA-Based CompilersMathieu Fehr, Michel Weber 0001, Christian Ulmann, Alexandre Lopoukhine, Martin Paul Lücke, Théo Degioanni, Christos Vasiladiotis, Michel Steuwer, Tobias Grosser. 179-192 [doi]
• ANT-ACE: An FHE Compiler Framework for Automating Neural Network InferenceLong Li, Jianxin Lai, Peng Yuan, Tianxiang Sui, Yan Liu, Qing Zhu, Xiaojing Zhang, Linjie Xiao, Wenguang Chen, Jingling Xue. 193-208 [doi]
• CUrator: An Efficient LLM Execution Engine with Optimized Integration of CUDA LibrariesYoon Noh Lee, Yongseung Yu, Yongjun Park 0001. 209-224 [doi]
• Accelerating LLMs using an Efficient GEMM Library and Target-Aware Optimizations on Real-World PIM DevicesHyeoncheol Kim, Taehoon Kim, Taehyeong Park, Donghyeon Kim, Yongseung Yu, Hanjun Kim 0001, Yongjun Park 0001. 225-240 [doi]
• The MLIR Transform Dialect: Your Compiler Is More Powerful Than You ThinkMartin Paul Lücke, Oleksandr Zinenko, William S. Moses, Michel Steuwer, Albert Cohen 0001. 241-254 [doi]
• Combining MLIR Dialects with Domain-Specific Architecture for Efficient Regular Expression MatchingAndrea Somaini, Filippo Carloni, Giovanni Agosta, Marco D. Santambrogio, Davide Conficconi. 255-270 [doi]
• DialEgg: Dialect-Agnostic MLIR Optimizer using Equality Saturation with EgglogAbd-El-Aziz Zayed, Christophe Dubach. 271-283 [doi]
• Synthesis of Quantum Simulators by CompilationMeisam Tarabkhah, Mahshid Delavar, Mina Doosti, Amir Shaikhha. 284-298 [doi]
• Weaver: A Retargetable Compiler Framework for FPQA Quantum ArchitecturesOguzcan Kirmemis, Francisco Romão, Emmanouil Giortamis, Pramod Bhatotia. 299-316 [doi]
• Automatic Synthesis of Specialized Hash FunctionsRenato B. Hoffmann, Leonardo G. Faé, Dalvan Griebler, Xinliang David Li, Fernando Magno Quintão Pereira. 317-330 [doi]
• Stack Filtering: Elevating Precision and Efficiency in Rust Pointer AnalysisWei Li, Dongjie He, Wenguang Chen, Jingling Xue. 331-346 [doi]
• SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate EdgesDavid Kozak, Codrut Stancu, Tomás Vojnar, Christian Wimmer. 347-361 [doi]
• FastFlip: Compositional SDC Resiliency AnalysisKeyur Joshi 0001, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic. 362-376 [doi]
• MTE4JNI: A Memory Tagging Method to Protect Java Heap Memory from Illicit Native Code AccessHuinan Chen, Jiang Ma, Chun Jason Xue, Qingan Li. 377-389 [doi]
• Memory Safety Instrumentations in Practice: Usability, Performance, and Security GuaranteesTina Jung, Fabian Ritter 0002, Sebastian Hack. 390-404 [doi]
• PreFix: Optimizing the Performance of Heap-Intensive ApplicationsChaitanya Mamatha Ananda, Rajiv Gupta 0001, Sriraman Tallam, Han Shen, Xinliang David Li. 405-417 [doi]
• A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex ApplicationsLukas Trümper, Philipp Schaad, Berke Ates, Alexandru Calotoiu, Marcin Copik, Torsten Hoefler. 418-430 [doi]
• An Efficient Polynomial Multiplication Derived Implementation of Convolution in Neural NetworksHaoke Xu, Yulin Zhang, Zitong Cheng, Xiaoming Li 0001. 431-443 [doi]
• ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming LanguageAustin J. Adams, Sharjeel Khan, Arjun S. Bhamra, Ryan R. Abusaada, Anthony M. Cabrera, Cameron C. Hoechst, Travis S. Humble, Jeffrey S. Young, Thomas M. Conte. 444-458 [doi]
• Qubit Movement-Optimized Program Generation on Zoned Neutral Atom ProcessorsEnhyeok Jang, Youngmin Kim, HyungSeok Kim, Seungwoo Choi, Yipeng Huang 0001, Won Woo Ro. 459-475 [doi]
• Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPUNaifeng Zhang, Franz Franchetti. 476-492 [doi]
• CuAsmRL: Optimizing GPU SASS Schedules via Deep Reinforcement LearningGuoliang He, Eiko Yoneki. 493-506 [doi]
• Proteus: Portable Runtime Optimization of GPU Kernel Execution with Just-in-Time CompilationGiorgis Georgakoudis, Konstantinos Parasyris, David Beckingsale. 507-522 [doi]
• Qiwu: Exploiting Ciphertext-Level SIMD Parallelism in Homomorphic Encryption ProgramsZhongcheng Zhang, Ying Liu, Yuyang Zhang, Zhenchuan Chen, Jiacheng Zhao, Xiaobing Feng, Huimin Cui, Jingling Xue. 523-537 [doi]
• Cage: Hardware-Accelerated Safe WebAssemblyMartin Fink 0004, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty 0001, Jan-Erik Ekberg, Pramod Bhatotia. 538-552 [doi]
• Teapot: Efficiently Uncovering Spectre Gadgets in COTS BinariesFangzheng Lin, Zhongfa Wang, Hiroshi Sasaki. 553-569 [doi]
• Janitizer: Rethinking Binary Tools for Practical and Comprehensive SecurityMahwish Arif, Sam Ainsworth, Timothy M. Jones 0001. 570-583 [doi]
• Parallaft: Runtime-Based CPU Fault Tolerance via Heterogeneous ParallelismBoyue Zhang, Sam Ainsworth, Lev Mukhanov, Timothy M. Jones 0001. 584-599 [doi]
• Postiz: Extending Post-increment Addressing for Loop Optimization and Code Size ReductionEnming Fan, Xiaofeng Guan, Fan Hu, Heng Shi, Hao Zhou 0009, Jianguo Yao. 600-613 [doi]
• Towards Efficient Compiler Auto-tuning: Leveraging Synergistic Search SpacesHaolin Pan, Yuanyu Wei, Mingjie Xing, Yanjun Wu, Chen Zhao. 614-627 [doi]
• Stardust: Compiling Sparse Tensor Algebra to a Reconfigurable Dataflow ArchitectureOlivia Hsu, Alexander Rucker, Tian Zhao 0001, Varun Desai, Kunle Olukotun, Fredrik Kjolstad. 628-643 [doi]
• Vectron: A Dynamic Programming Auto-vectorization FrameworkSourena Naser Moghaddasi, Haris Smajlovic, Ariya Shajii, Ibrahim Numanagic. 644-659 [doi]
• Honey Potion: An eBPF Backend for ElixirKael Soares Augusto, Vinícius Pacheco, Marcos A. Vieira, Rodrigo Geraldo Ribeiro, Fernando Magno Quintão Pereira. 660-674 [doi]
• GoFree: Reducing Garbage Collection via Compiler-Inserted FreeingHaoran Peng, Yu Zhang, Michael D. Ernst, Jinbao Chen, Boyao Ding. 675-688 [doi]
• Improving Native-Image Startup PerformanceMatteo Basso, Aleksandar Prokopec, Andrea Rosà, Walter Binder. 689-703 [doi]
• Speeding up the Local C++ Development Cycle with Header SubstitutionNader Al Awar, Zijian Yi, George Biros, Milos Gligoric 0001. 704-717 [doi]