default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd CGO 2025: Las Vegas, NV, USA
- Johannes Doerfert, Tobias Grosser, Hugh Leather, P. Sadayappan:
Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2025, Las Vegas, NV, USA, March 1-5, 2025. ACM 2025, ISBN 979-8-4007-1275-3
Distinguished Papers
- Marcel Ullrich
, Sebastian Hack:
Synthesis of Sorting Kernels. 1-14 - Alexander Brauckmann, Luc Jaulmes, José Wesley de Souza Magalhães, Elizabeth Polgreen, Michael F. P. O'Boyle:
Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving. 15-30 - Huanting Wang, Patrick Lenihan, Zheng Wang:
Enhancing Deployment-Time Predictive Model Robustness for Code Analysis and Optimization. 31-46
Optimizations and Transformations (1)
- Radha Patel, Willow Ahrens, Saman P. Amarasinghe:
SySTeC: A Symmetric Sparse Tensor Compiler. 47-62 - Joseph W. Cutler, Alex Collins, Bin Fan, Mahesh Ravishankar, Vinod Grover:
Pattern Matching in AI Compilers and Its Formalization. 63-76 - Reza Ghanbari, Henry Kao, João P. L. de Carvalho, Ehsan Amiri, José Nelson Amaral:
Scalar Interpolation: A Better Balance between Vector and Scalar Execution for SuperScalar Architectures. 77-89
ML Tools and Optimization
- Ming Zhong, Fang Lv, Lulin Wang, Lei Qiu, Yingying Wang, Ying Liu, Huimin Cui, Xiaobing Feng, Jingling Xue:
VEGA: Automatically Generating Compiler Backends using a Pre-trained Transformer Model. 90-106 - Zixuan Ma, Haojie Wang, Jingze Xing, Shuhong Huang, Liyan Zheng, Chen Zhang, Huanqi Cao, Kezhao Huang, Mingshu Zhai, Shizhi Tang, Penghan Wang, Jidong Zhai:
IntelliGen: Instruction-Level Auto-tuning for Tensor Program with Monotonic Memory Optimization. 107-122 - Lazar Milikic, Milan Cugurovic, Vojin Jovanovic:
GraalNN: Context-Sensitive Static Profiling with Graph Neural Networks. 123-136 - Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri:
LLM-Vectorizer: LLM-Based Verified Loop Vectorizer. 137-149
Architectures and Code Generation
- Zhanhao Liang, Hanming Sun, Wenhan Shang, Mengting Yuan, Jingqin Fu, Jiang Ma, Chun Jason Xue, Qingan Li:
Calibro: Compilation-Assisted Linking-Time Binary Code Outlining for Code Size Reduction in Android Applications. 150-162 - Alexandre Lopoukhine, Federico Ficarelli, Christos Vasiladiotis, Anton Lydike, Josse Van Delm, Alban Dutilleul, Luca Benini, Marian Verhelst, Tobias Grosser:
A Multi-level Compiler Backend for Accelerated Micro-kernels Targeting RISC-V ISA Extensions. 163-178 - Mathieu Fehr, Michel Weber, Christian Ulmann, Alexandre Lopoukhine, Martin Paul Lücke, Théo Degioanni, Christos Vasiladiotis, Michel Steuwer, Tobias Grosser:
xDSL: Sidekick Compilation for SSA-Based Compilers. 179-192
ML Compilers
- Long Li, Jianxin Lai, Peng Yuan, Tianxiang Sui, Yan Liu, Qing Zhu, Xiaojing Zhang, Linjie Xiao, Wenguang Chen, Jingling Xue:
ANT-ACE: An FHE Compiler Framework for Automating Neural Network Inference. 193-208 - Yoon Noh Lee, Yongseung Yu, Yongjun Park:
CUrator: An Efficient LLM Execution Engine with Optimized Integration of CUDA Libraries. 209-224 - Hyeoncheol Kim, Taehoon Kim, Taehyeong Park, Donghyeon Kim, Yongseung Yu, Hanjun Kim, Yongjun Park:
Accelerating LLMs using an Efficient GEMM Library and Target-Aware Optimizations on Real-World PIM Devices. 225-240
MLIR
- Martin Paul Lücke, Oleksandr Zinenko, William S. Moses, Michel Steuwer, Albert Cohen:
The MLIR Transform Dialect: Your Compiler Is More Powerful Than You Think. 241-254 - Andrea Somaini, Filippo Carloni, Giovanni Agosta, Marco D. Santambrogio, Davide Conficconi:
Combining MLIR Dialects with Domain-Specific Architecture for Efficient Regular Expression Matching. 255-270 - Abd-El-Aziz Zayed, Christophe Dubach:
DialEgg: Dialect-Agnostic MLIR Optimizer using Equality Saturation with Egglog. 271-283
Quantum Computing (1)
- Meisam Tarabkhah, Mahshid Delavar, Mina Doosti, Amir Shaikhha:
Synthesis of Quantum Simulators by Compilation. 284-298 - Oguzcan Kirmemis, Francisco Romão, Emmanouil Giortamis, Pramod Bhatotia:
Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures. 299-316
Program Analysis and Synthesis
- Renato B. Hoffmann, Leonardo G. Faé, Dalvan Griebler, Xinliang David Li, Fernando Magno Quintão Pereira:
Automatic Synthesis of Specialized Hash Functions. 317-330 - Wei Li, Dongjie He, Wenguang Chen, Jingling Xue:
Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis. 331-346 - David Kozak, Codrut Stancu, Tomás Vojnar, Christian Wimmer:
SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges. 347-361
Safety and Resilience
- Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic:
FastFlip: Compositional SDC Resiliency Analysis. 362-376 - Huinan Chen, Jiang Ma, Chun Jason Xue, Qingan Li:
MTE4JNI: A Memory Tagging Method to Protect Java Heap Memory from Illicit Native Code Access. 377-389 - Tina Jung, Fabian Ritter, Sebastian Hack:
Memory Safety Instrumentations in Practice: Usability, Performance, and Security Guarantees. 390-404
Optimizations and Transformations (2)
- Chaitanya Mamatha Ananda, Rajiv Gupta, Sriraman Tallam, Han Shen, Xinliang David Li:
PreFix: Optimizing the Performance of Heap-Intensive Applications. 405-417 - Lukas Trümper, Philipp Schaad, Berke Ates, Alexandru Calotoiu, Marcin Copik, Torsten Hoefler:
A Priori Loop Nest Normalization: Automatic Loop Scheduling in Complex Applications. 418-430 - Haoke Xu, Yulin Zhang, Zitong Cheng, Xiaoming Li:
An Efficient Polynomial Multiplication Derived Implementation of Convolution in Neural Networks. 431-443
Quantum Computing (2)
- Austin 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:
ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language. 444-458 - Enhyeok Jang, Youngmin Kim, Hyungseok Kim, Seungwoo Choi, Yipeng Huang, Won Woo Ro:
Qubit Movement-Optimized Program Generation on Zoned Neutral Atom Processors. 459-475
GPU and Parallelism
- Naifeng Zhang, Franz Franchetti:
Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU. 476-492 - Guoliang He, Eiko Yoneki:
CuAsmRL: Optimizing GPU SASS Schedules via Deep Reinforcement Learning. 493-506 - Giorgis Georgakoudis, Konstantinos Parasyris, David Beckingsale:
Proteus: Portable Runtime Optimization of GPU Kernel Execution with Just-in-Time Compilation. 507-522
Security, Fault Tolerance, and Cryptography
- Zhongcheng Zhang, Ying Liu, Yuyang Zhang, Zhenchuan Chen, Jiacheng Zhao, Xiaobing Feng, Huimin Cui, Jingling Xue:
Qiwu: Exploiting Ciphertext-Level SIMD Parallelism in Homomorphic Encryption Programs. 523-537 - Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia:
Cage: Hardware-Accelerated Safe WebAssembly. 538-552 - Fangzheng Lin, Zhongfa Wang, Hiroshi Sasaki:
Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries. 553-569 - Mahwish Arif, Sam Ainsworth, Timothy M. Jones:
Janitizer: Rethinking Binary Tools for Practical and Comprehensive Security. 570-583 - Boyue Zhang, Sam Ainsworth, Lev Mukhanov, Timothy M. Jones:
Parallaft: Runtime-Based CPU Fault Tolerance via Heterogeneous Parallelism. 584-599
Optimizations and Transformations (3)
- Enming Fan, Xiaofeng Guan, Fan Hu, Heng Shi, Hao Zhou, Jianguo Yao:
Postiz: Extending Post-increment Addressing for Loop Optimization and Code Size Reduction. 600-613 - Haolin Pan, Yuanyu Wei, Mingjie Xing, Yanjun Wu, Chen Zhao:
Towards Efficient Compiler Auto-tuning: Leveraging Synergistic Search Spaces. 614-627 - Olivia Hsu, Alexander Rucker, Tian Zhao, Varun Desai, Kunle Olukotun, Fredrik Kjolstad:
Stardust: Compiling Sparse Tensor Algebra to a Reconfigurable Dataflow Architecture. 628-643 - Sourena Naser Moghaddasi, Haris Smajlovic, Ariya Shajii, Ibrahim Numanagic:
Vectron: A Dynamic Programming Auto-vectorization Framework. 644-659
Runtime and System Tools
- Kael Soares Augusto, Vinícius Pacheco, Marcos A. M. Vieira, Rodrigo Geraldo Ribeiro, Fernando Magno Quintão Pereira:
Honey Potion: An eBPF Backend for Elixir. 660-674 - Haoran Peng, Yu Zhang, Michael D. Ernst, Jinbao Chen, Boyao Ding:
GoFree: Reducing Garbage Collection via Compiler-Inserted Freeing. 675-688 - Matteo Basso, Aleksandar Prokopec, Andrea Rosà, Walter Binder:
Improving Native-Image Startup Performance. 689-703 - Nader Al Awar, Zijian Yi, George Biros, Milos Gligoric:
Speeding up the Local C++ Development Cycle with Header Substitution. 704-717
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-27 23:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
