ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea

This program is tentative and subject to change.

Mon 17 Nov 2025 11:40 - 11:50 at Grand Hall 2 - Bug Understanding 1

Deep learning programs are continually enhanced for improved performance through the use of kernel-level optimizations, parallel training, and low-precision arithmetic. These optimizations provide different implementations that are mathematically equivalent. Round-off error in floating-point computations can lead to differences in the outputs of these implementations, even when the mathematical equivalence holds. When the outputs of customized and reference implementations exceed the tolerance thresholds, it is difficult for developers to distinguish between acceptable round-off errors and implementation bugs. This paper proposes an approach called RENDER to classify the numerical errors between two implementations based on estimating the maximum round-off error. RENDER combines dynamic interval arithmetic and round-off error analysis to compute scalable and tight output bounds. We demonstrate the effectiveness of our method on real-world issues by comparing it with the state-of-the-art tool, SATIRE. Experimental results show that our approach identifies 40% more errors and achieves an average speedup of 19× compared to the baseline, enabling developers to debug and optimize implementations more efficiently.

This program is tentative and subject to change.

Mon 17 Nov

Displayed time zone: Seoul change

11:00 - 12:30
11:00
10m
Talk
The Fault in our Stats
Research Papers
Alexi Turcotte CISPA, Neev Nirav Mehta Saarland University
11:10
10m
Talk
Agents in the Sandbox: End-to-End Crash Bug Reproduction for Minecraft
Research Papers
Eray Yapağcı Bilkent University, Yavuz Alp Sencer Öztürk Bilkent University, Eray Tüzün Bilkent University
11:20
10m
Talk
Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration
Research Papers
Jingjing Liang East China Normal University, Shan Huang East China Normal University, Ting Su East China Normal University
11:30
10m
Talk
Why Do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks
Journal-First Track
Yiran Wang Linköping University, Willem Meijer Linköping University, José Antonio Hernández López Universidad de Murcia, Ulf Nilsson Linköping University, Daniel Varro Linköping University / McGill University
11:40
10m
Talk
When AllClose Fails: Round-Off Error Estimation for Deep Learning Programs
Research Papers
Qi Zhan Zhejiang University, Xing Hu Zhejiang University, Yuanyi Lin Huawei Technologies, Tongtong Xu Huawei, Xin Xia Zhejiang University, Shanping Li Zhejiang University
11:50
10m
Talk
LLM-Powered Multi-Agent Collaboration for Intelligent Industrial On-Call Automation
Research Papers
Ruowei Fu Nankai University, Yang Zhang ByteDance Inc., Zeyu Che Nankai University, Xin Wu ByteDance Inc., Zhenyu Zhong Nankai University, Zhiqiang Ren ByteDance Inc., Shenglin Zhang Nankai University, Feng Wang ByteDance Inc., Yongqian Sun Nankai University, Xiaozhou Liu ByteDance Inc., Kexin Liu Nankai University, Yu Zhang ByteDance Inc.
12:00
10m
Talk
SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking
Research Papers
Zewei Lin Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Jingwen Zhang School of Software Engineering, Sun Yat sen University, Zexu Wang Sun Yat-sen University, Yuming Feng Peng Cheng Laboratory, Weizhe Zhang Harbin Institute of Technology, Zibin Zheng Sun Yat-sen University
12:10
10m
Talk
Finding Bugs in WebAssembly Interface Type Binding Generators
Research Papers
Ethan Stanley University of Utah, Eric Eide University of Utah
12:20
10m
Talk
LineBreaker: Finding Token-Inconsistency Bugs using Large Language Models
Research Papers
Hongbo Chen Indiana University Bloomington, Yifan Zhang San Diego State University, Xing Han The Hong Kong University of Science and Technology, Tianhao Mao Indiana University, Huanyao Rong Indiana University Bloomington, Yuheng Zhang Tsinghua University, Hang Zhang Indiana University, XiaoFeng Wang ACM member, Luyi Xing Indiana University Bloomington/University of Illinois Urbana-Champaign, Xun Chen Samsung Research America