ASE 2026
41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026)
Powered by
Conference Publishing Consulting

41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026), October 12–16, 2026, Munich, Germany

ASE 2026 – Preliminary Table of Contents

Contents - Abstracts - Authors

Frontmatter

Title Page
Article: ase26foreword-fm000-p doi:
Welcome from the Chairs
Article: ase26foreword-fm001-p doi:
ASE 2026 Organization
Article: ase26foreword-fm002-p doi:
Sponsors
Article: ase26foreword-fm003-p doi:

Main Research Papers

SpecFSM: Extracting and Repairing Finite State Machines from Protocol Specification Documents
Xiangdong Li, DaWei Huang, Jingjing Guan, and Hui Li
(Beijing University of Posts and Telecommunications, Beijing, China)
Article Search Artifacts Available Article: ase26main-p13-p doi:10.1145/3832783.3834331
Trace-Driven Automated PoC Synthesis for On-Chain Attacks
Xing Su, Hao Wu, Hanzhong Liang, Yunlin Jiang, Yuxi Cheng, Yating Liu, Fengyuan Xu, and Sheng Zhong
(Nanjing University, Nanjing, China)
Article Search Article: ase26main-p24-p doi:10.1145/3832783.3834332
Context-Aware Trust Verification for Identity-Based Software Signing
Chinenye Okafor, James C. Davis, and Santiago Torres-Arias
(Purdue University, USA)
Article Search Article: ase26main-p30-p doi:10.1145/3832783.3834333
A11YRepair: Bridging Web Accessibility Barriers via Knowledge-Enhanced Divide-and-Conquer Repair
Kai Huang, Ling Zhu, Jian Zhang, Xiaofei Xie, and Chunyang Chen
(TU Munich, Germany; Nanyang Technological University, Singapore; Singapore Management University, Singapore)
Article Search Artifacts Available Article: ase26main-p37-p doi:10.1145/3832783.3834334
GALA: Graph-Augmented LLM Agents for Root Cause Analysis and Incident Response in Microservices
Yifang Tian, Yaming Liu, Zichun Chong, Zihang Huang, Yiran Li, and Hans-Arno Jacobsen
(University of Toronto, Canada)
Article Search Article: ase26main-p46-p doi:10.1145/3832783.3834335
IntOAgent: A Practical Framework for Automated Detection and Triggering of Integer Overflow Vulnerabilities
Yuelin Wang, Jiongchi Yu, Xiaofei Xie, Yaohui Sun, Tianyu Shi, Yanbang Sun, Qiang Hu, and Junjie Wang
(Tianjin University, China; Singapore Management University, Singapore)
Article Search Article: ase26main-p66-p doi:10.1145/3832783.3834336
LLM-Based Agents for Identifying Bug-Introducing Commits
Niklas Risse and Marcel Böhme
(MPI-SP, Germany; CISPA Helmholtz Center for Information Security, Germany)
Article Search Article: ase26main-p90-p doi:10.1145/3832783.3834337
ARMOR: A Robust Self-Supervised Framework for Root Cause Analysis in Microservices under Missing Modality
Wenzhuo Qian, Hailiang Zhao, Ziqi Wang, Zhipeng Gao, Jiayi Chen, Zhiwei Ling, and Shuiguang Deng
(Zhejiang University, China)
Article Search Article: ase26main-p102-p doi:10.1145/3832783.3834338
Beyond Text Matching: Towards Reference-Free Evaluation for Human-Oriented Binary Reverse Engineering
Xiuwei Shang, Li Hu, Xiao Jiang, Jieke Shi, Junda He, Zhou Yang, Shaoyin Cheng, Guoqiang Chen, Weiming Zhang, and David Lo
(University of Science and Technology of China, China; Singapore Management University, Singapore; University of Alberta, Canada)
Article Search Article: ase26main-p130-p doi:10.1145/3832783.3834339
Source-Free Detection and Impact Analysis of Compiler Optimization Problems in Mobile Applications
Han Hu, Xiaoheng Xie, Bo Sun, Jian Gu, Gang Fan, and Li Li
(Independent Researcher, Hong Kong; Independent Researcher, China; Monash University, Australia; Beihang University, China)
Article Search Article: ase26main-p135-p doi:10.1145/3832783.3834340
Quantum Squeeziness: An Information Theoretical Metric for Quantum Software Testability
Avner Bensoussan, Hector Menendez, and Mohammad Reza Mousavi
(King's College London, UK)
Article Search Artifacts Available Article: ase26main-p151-p doi:10.1145/3832783.3834341
Spec2V: Planning-Guided Specification-to-Verilog Generation Framework with Verification-Driven Debugging
Xuming Liu, Chi Zhang, Jinglong Xu, Shan Zhou, and Jinbo Wang
(Technology and Engineering Center for Space Utilization at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
Article Search Artifacts Available Article: ase26main-p157-p doi:10.1145/3832783.3834342
Characterizing the Landscape of Open-Source Satellite Software
Jinfeng Wen, Qi Liang, Yuehan Sun, Federica Sarro, Ao Zhou, Xuanzhe Liu, and Shangguang Wang
(Beijing University of Posts and Telecommunications, China; University College London, UK; Peking University, China)
Article Search Article: ase26main-p161-p doi:10.1145/3832783.3834343
Bridging the Gap between Intent and Impact: An Empirical Study of GPU Optimizations in Deep Learning Frameworks
Siqi Wang, Fanjing Luo, Xing Hu, Xinyu Wang, and Xin Xia
(Zhejiang University, China)
Article Search Article: ase26main-p162-p doi:10.1145/3832783.3834344
CIPIHunter: Detecting Configuration-Induced Prediction Instability in Deep Learning Frameworks
Yanzhou Mu, Shuo Meng, Mijung Kim, Xiang Chen, Chunrong Fang, Zhenyu Chen, and Juan Zhai
(UNIST, Republic of Korea; Nanjing University, China; Nantong University, China; University of Massachusetts at Amherst, USA)
Article Search Article: ase26main-p163-p doi:10.1145/3832783.3834345
TasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction
Yixuan Liu, Yin Wu, and Yi Li
(Nanyang Technological University, Singapore; Xi'an Jiaotong University, China)
Article Search Article: ase26main-p182-p doi:10.1145/3832783.3834346
Quick Bug Detection through Black-Box Checking: A Systematic Evaluation
Bram Pellen, María Belén Rodríguez, Frits Vaandrager, and Petra van den Bos
(Radboud University, Netherlands; University of Twente, Netherlands)
Article Search Artifacts Available Article: ase26main-p302-p doi:10.1145/3832783.3834347
A Scalable Rule-Based Deep Reinforcement Learning Framework for the Next Release Problem
Hemanth Gudaparthi, Nan Niu, Prem Swaroopaanda Ramalingam, and Laxman Chowdary Kakara
(Governors State University, USA; University of North Florida, USA)
Article Search Artifacts Available Article: ase26main-p350-p doi:10.1145/3832783.3834348
DynCA: An Effective Algorithm for 3-Wise Combinatorial Interaction Testing in Highly Configurable Systems
Ruizhi Shi, Shuangyu Lyu, Renyu Yang, Wei Wu, Chanjuan Liu, Chunming Hu, and Chuan Luo
(Beihang University, China; Central South University, China; Dalian University of Technology, China)
Article Search Artifacts Available Article: ase26main-p354-p doi:10.1145/3832783.3834349
Effective and Efficient Context Retrieval via Partial Dependency Graph for Repository-Level Code Generation
Zhongxin Liu, Zhonghao Jiang, Zhifan Ye, Haoye Wang, Jiakun Liu, and Xiaoxue Ren
(Zhejiang University, China; Hangzhou City University, China; Harbin Institute of Technology, China)
Article Search Article: ase26main-p356-p doi:10.1145/3832783.3834350
When Ambiguity Meets Atypicality: Dual-Perspective Test Input Prioritization for DNNs
Haoran Li, Shihai Wang, Bin Liu, Jialuo Chen, Wenjing Zhu, Yu Liu, Tengfei Shi, and Shudi Guo
(Beihang University, China; Zhejiang University, China)
Article Search Artifacts Available Article: ase26main-p367-p doi:10.1145/3832783.3834351
Not In My Git Yard: Catching Backdoors at Commit and Release Time
Dimitri Kokkonis, Michaël Marcozzi, and Stefano Zacchiroli
(Université Paris-Saclay, France; CEA List, France; Télécom Paris, France)
Article Search Article: ase26main-p379-p doi:10.1145/3832783.3834352
EffiHolmes: Differential Profiling-Guided Repository Level Time Inefficiency Fix Localization
Haowen Yang, Yun Peng, and Zishuo Ding
(Hong Kong University of Science and Technology, Guangzhou, China; Chinese University of Hong Kong, Hong Kong)
Article Search Article: ase26main-p417-p doi:10.1145/3832783.3834353
Maximal Format-Free Data Repair
Zijian Luo, Xi Wu, Hong Jin Kang, Alan Fekete, and Rahul Gopinath
(University of Sydney, Australia)
Article Search Artifacts Available Article: ase26main-p428-p doi:10.1145/3832783.3834354
AgentExecutor: Partial Code Execution via Agentic Context Generation
Junkai Chen, Chengran Yang, Xing Hu, Zhenhao Li, Xin Xia, and David Lo
(Singapore Management University, Singapore; Zhejiang University, China; York University, Canada)
Article Search Article: ase26main-p477-p doi:10.1145/3832783.3834355
Automated Lemma Discovery in Agentic Program Verification
Huan Zhao, Haoxin Tu, Zhengyao Liu, Martin C. Rinard, and Abhik Roychoudhury
(National University of Singapore, Singapore; Massachusetts Institute of Technology, USA)
Article Search Article: ase26main-p529-p doi:10.1145/3832783.3834356
Regression Accumulation in Multi-turn LLM Programming Conversations
Yonghui (Andie) Huang, Lin Ma, Amjed Tahir, Qian Zhang, Liwen Xiao, and Lysa Xiao
(Massey University, New Zealand; Alibaba Research Center for Complexity Sciences, China; Hangzhou Normal University, China; University of Otago, New Zealand)
Article Search Artifacts Available Article: ase26main-p579-p doi:10.1145/3832783.3834357
TheBotCompany: Self-Organizing Multi-agent Systems for Continuous Software Development
Wenhan Lyu, Yue Xiao, Yixuan Zhang, and Yifan Sun
(William & Mary, USA)
Article Search Artifacts Available Article: ase26main-p597-p doi:10.1145/3832783.3834358
When Comments Mislead: An Empirical Study of Outdated Comments in LLM-Based Code Completion
Zhikun Xia, Yuan Huang, Xiangping Chen, and Zibin Zheng
(Sun Yat-sen University, China)
Article Search Artifacts Available Article: ase26main-p613-p doi:10.1145/3832783.3834359
Property-Based Testing of Wafer Handling Robots via Model-Based Planning and Fuzzing
Ruiyang Xu, Jingjing Liang, Guoyue Zheng, Geguang Pu, and Ting Su
(East China Normal University, China)
Article Search Article: ase26main-p621-p doi:10.1145/3832783.3834360
ATLAS: Agentic Taxonomy of LArge-Scale Software Ecosystems
Junyi Lu, Mengyao Lyu, Jiahui Wu, Lei Yu, Chengwei Liu, Fengjun Zhang, Li Yang, Chun Zuo, and Yang Liu
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanyang Technological University, Singapore; Nankai University, China; Sinosoft, China)
Article Search Artifacts Available Article: ase26main-p622-p doi:10.1145/3832783.3834361
SimServing: Native-Execution Simulation for Evolution-Resilient LLM Serving Configuration Tuning
Yujie Huang, Jiazhen Gu, Zhihan Jiang, and Michael R. Lyu
(Chinese University of Hong Kong, Hong Kong)
Article Search Article: ase26main-p625-p doi:10.1145/3832783.3834362
LLM Agents Can See Code Repositories
Dongjian Ma, Silin Chen, Yufei Yang, Yuling Shi, Yanfu Yan, and Xiaodong Gu
(Shanghai Jiao Tong University, China; Xi'an Jiaotong University, China; Zhejiang University, China)
Article Search Article: ase26main-p734-p doi:10.1145/3832783.3834363
Are Reasoning Traces Faithful in LLM-Based Code Vulnerability Detection?
Jialai Wang, Juncheng Lu, Songtao Yang, Bingyi He, Zeyu Gao, Chao Zhang, and Shuai Wang
(National University of Singapore, Singapore; Tsinghua University, China; Zhongguancun Laboratory, China; Huazhong University of Science and Technology, China; Hong Kong University of Science and Technology, Hong Kong)
Article Search Article: ase26main-p776-p doi:10.1145/3832783.3834364
CtxFuzz: Context-Aware Directed Fuzzing via Runtime Fuzzer-Agent Cooperation
Jiho Kim, Dongkwan Kim, HyungSeok Han, Youngjoon Kim, Soyeon Park, Sangwoo Ji, Joshua Wang, Dae R. Jeong, and Taesoo Kim
(Georgia Institute of Technology, USA; Microsoft, USA; Independent Researcher, USA; Samsung Electronics, Republic of Korea; Seoul National University, Republic of Korea)
Article Search Article: ase26main-p797-p doi:10.1145/3832783.3834365
SustainSR: Interpretable OSS Sustainability Prediction via Symbolic Regression
Yang Deng, Mustafa Misir, Jinfu Chen, and Jifeng Xuan
(Wuhan University, China; Duke Kunshan University, China)
Article Search Article: ase26main-p823-p doi:10.1145/3832783.3834366
Stop When It Matters: Detectability-Guided Microbenchmarking for Performance Regression Testing
Zongxiong Chen, Derui Zhu, Jinfu Chen, Kundi Yao, Alexander Pretschner, Weiyi Shang, Manfred Hauswirth, and Sonja Schimmler
(Fraunhofer FOKUS, Germany; TU Munich, Germany; Wuhan University, China; Ontario Tech University, Canada; fortiss, Germany; University of Waterloo, Canada)
Article Search Artifacts Available Article: ase26main-p833-p doi:10.1145/3832783.3834367
Evolution-Aware Regression Test Prioritization of ML-Enabled Systems using Gradient-Based Behavior Vectors
Eunho Cho, Donghwan Shin, and In-Young Ko
(KAIST, Republic of Korea; University of Sheffield, UK)
Article Search Artifacts Available Article: ase26main-p872-p doi:10.1145/3832783.3834368
Multi-level Code Optimization via Mixture of Prompts
Yun Peng, Jun Wan, Jiakun Liu, Shuzheng Gao, David Lo, and Xiaoxue Ren
(Fudan University, China; Zhejiang University, China; Harbin Institute of Technology, China; Chinese University of Hong Kong, Hong Kong; Singapore Management University, Singapore; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, China)
Article Search Article: ase26main-p874-p doi:10.1145/3832783.3834369
Evaluating the Maintainability of ViewModel Tests using Multi-modal DSLs: An Industrial Mixed-Methods Study
Mario Fuksa, Sandro Speth, and Steffen Becker
(University of Stuttgart, Germany; TU Munich, Germany)
Article Search Article: ase26main-p892-p doi:10.1145/3832783.3834370
Sound and Efficient Statistical Model Checking for Probabilities and Bounded Rewards
Hao Bu, Lin Huang, Tao Wei, and Jingyi Wang
(Ant Group, China; Zhejiang University, China)
Article Search Article: ase26main-p914-p doi:10.1145/3832783.3834371
Tracing the Invisible: Semantic Message Flow Discovery via Data Contracts in Real-World Distributed Systems
Youlong Chen, Jie Lu, Mingtao Huang, Chenghang Shi, Yongheng Huang, Haofeng Li, Dong Liu, Mengna Ma, Yong Liu, Qinfen Hao, and Lian Li
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhongguancun Laboratory, China; Qi An Xin Technology Group, China)
Article Search Article: ase26main-p924-p doi:10.1145/3832783.3834372
How Your Credentials Are Leaked by LLM Agent Skills: An Empirical Study
Zhihao Chen, Ying Zhang, Yi Liu, Gelei Deng, Yuekang Li, Yanjun Zhang, Jianting Ning, Leo Yu Zhang, Lei Ma, and Zhiqiang Li
(Griffith University, Australia; Wake Forest University, USA; Nanyang Technological University, Singapore; University of New South Wales, Australia; Zhejiang Sci-Tech University, China; University of Tokyo, Japan; University of Alberta, Canada; Independent Researcher, China)
Article Search Article: ase26main-p928-p doi:10.1145/3832783.3834373
WebCQ: Cooperative Multi-agent Deep Reinforcement Learning for Scalable Web GUI Testing
Yujia Fan, Sinan Wang, Zebang Fei, Yao Qin, Huaxuan Li, and Yepang Liu
(Southern University of Science and Technology, China)
Article Search Article: ase26main-p944-p doi:10.1145/3832783.3834374
MalSkills: Detecting Malicious Skills in the Agentic Supply Chain via Neuro-symbolic Reasoning
Shenao Wang, Junjie He, Yanjie Zhao, Yayi Wang, Kan Yu, and Haoyu Wang
(Huazhong University of Science and Technology, China; Ant Group, China)
Article Search Article: ase26main-p951-p doi:10.1145/3832783.3834375
Less Is More: Tuning Configurable Systems with Imperfect Fidelity
Yulong Ye, Miqing Li, and Tao Chen
(University of Birmingham, UK)
Article Search Article: ase26main-p988-p doi:10.1145/3832783.3834376
Programming by Chat: A Large-Scale Behavioral Analysis of 11,579 Real-World AI-Assisted IDE Sessions
Ningzhi Tang, Chaoran Chen, Zihan Fang, Gelei Xu, Maria Dhakal, Yiyu Shi, Collin McMillan, Yu Huang, and Toby Jia-Jun Li
(University of Notre Dame, USA; Vanderbilt University, USA)
Article Search Article: ase26main-p1071-p doi:10.1145/3832783.3834377
Understanding Bugs in Modern Agentic Frameworks: A Study of Symptoms, Root Causes, and Triggering Conditions
Xiaowen Zhang, Hannuo Zhang, and Shin Hwei Tan
(Concordia University, Canada)
Article Search Artifacts Available Article: ase26main-p1085-p doi:10.1145/3832783.3834378
Neuro-symbolic Requirements Elicitation: Utilizing Formal Verification Counterexamples as Contextual Prompts
Okba Tibermacine and Chouki Tibermacine
(National School of Artificial Intelligence, Sidi Abdallah, Algeria; University of Southern Brittany, France)
Article Search Article: ase26main-p1198-p doi:10.1145/3832783.3834379
SmartPoC: Validating Smart Contract Vulnerability Findings through PoC Generation and Execution
Longfei Chen, Ruibin Yan, Taiyu Wong, Yiyang Chen, Jialai Wang, and Chao Zhang
(Tsinghua University, China; Peking University, China; National University of Singapore, Singapore)
Article Search Article: ase26main-p1210-p doi:10.1145/3832783.3834380
Every Scenario Matters: Scenario-Guided White-Box Testing for Static Code Checkers Powered by LLMs
Jun Liu, Liqiang Ji, Jiwei Yan, Linjie Pan, Jinsong Ren, Jun Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; Huawei Technologies, China)
Article Search Article: ase26main-p1253-p doi:10.1145/3832783.3834381
Adaptive Proof Refinement with LLM-Guided Strategy Selection
Minghai Lu, Zhe Zhou, Danning Xie, Songlin Jia, Benjamin Delaware, and Tianyi Zhang
(Purdue University, USA; Meta, USA)
Article Search Article: ase26main-p1291-p doi:10.1145/3832783.3834382
Assessing the Cross-Version Applicability of Java Library Vulnerability Exploits
Zirui Chen, Qi Zhan, Jiayuan Zhou, Xing Hu, Xin Xia, and Xiaohu Yang
(Zhejiang University, China; Queen's University, Canada; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, China)
Article Search Article: ase26main-p1292-p doi:10.1145/3832783.3834383
TDRepro: A Neurosymbolic Approach to Reproducing Timing-Dependent Flaky Test Failures
Shanto Rahman, Talank Baral, August Shi, and Wing Lam
(University of Texas at Austin, USA; George Mason University, USA)
Article Search Article: ase26main-p1337-p doi:10.1145/3832783.3834384
Think Before You Code: Dual Reasoning for the NLSafety–Utility Trade-Off in LLM Code Generation
Honghao Tan, Haibo Wang, and Shin Hwei Tan
(Concordia University, Canada)
Article Search Article: ase26main-p1364-p doi:10.1145/3832783.3834385
Fragmented Markers, Mixed Results: A Systematic Review of AI Coding Assistants and Developer Productivity
Annemarie Wittig, Alina Mailach, and Norbert Siegmund
(Leipzig University, Germany)
Article Search Artifacts Available Article: ase26main-p1373-p doi:10.1145/3832783.3834386
How Reasoning Shapes Social Bias in LLM-Generated Code?
Weifeng Sun, Jieke Shi, Zhou Yang, Yuchen Chen, Hongyan Li, Meng Yan, and David Lo
(Singapore Management University, Singapore; University of Alberta, Canada; Alberta Machine Intelligence Institute, Canada; Nanjing University, China; Chongqing University, China)
Article Search Article: ase26main-p1394-p doi:10.1145/3832783.3834387
From Runnable Code to Shippable Applications: Test-Driven Development for Full-Stack Web Application Generation
Yuxuan Wan, Tingshuo Liang, Jiakai Xu, Jingyu Xiao, Yintong Huo, and Michael R. Lyu
(Chinese University of Hong Kong, Hong Kong; Columbia University in the City of New York, USA; Singapore Management University, Singapore)
Article Search Article: ase26main-p1397-p doi:10.1145/3832783.3834388
Planner-Fuzz: Overcoming Diagnostic Saturation in UAV Planners via Boundary-Oriented Fuzzing
Rongbo Chen, Chengcheng Zhao, Peng Cheng, Jiming Chen, and Taegyu Kim
(Zhejiang University, China; Pennsylvania State University, USA)
Article Search Article: ase26main-p1399-p doi:10.1145/3832783.3834389
Automated Assertion Generation and Regression Testing for Machine Learning Notebooks
Yingao (Elaine) Yao, Vedant Nimje, Varun Viswanath, and Saikat Dutta
(Cornell University, USA; Veermata Jijabai Technological Institute, India; Dwarkadas J Sanghvi College of Engineering, India)
Article Search Artifacts Available Article: ase26main-p1451-p doi:10.1145/3832783.3834390
Learning the Lexical Structure of Black-Box Systems by Parsing Systematic String Edit Mutations
Moeketsi Raselimo, Lars Grunske, and Bernd Fischer
(Humboldt University of Berlin, Germany; Stellenbosch University, South Africa)
Article Search Article: ase26main-p1479-p doi:10.1145/3832783.3834391
KQFuzz: Knowledge-Guided Fuzzing for Quantum Libraries via Large Language Models
Fuyuan Xia, Qixin Zhang, Chenhao Ying, Haojin Zhu, Shuai Wang, Yuan Luo, Pingchuan Ma, and Yuxuan Du
(Shanghai Jiao Tong University, China; Nanyang Technological University, Singapore; Hong Kong University of Science and Technology, Hong Kong; Zhejiang University of Technology, China)
Article Search Article: ase26main-p1509-p doi:10.1145/3832783.3834392
What Breaks When LLMs Code? Characterizing Operational Safety Failures of Agentic Code Assistants
Alif Al Hasan and Sumon Biswas
(Case Western Reserve University, USA)
Article Search Artifacts Available Article: ase26main-p1517-p doi:10.1145/3832783.3834393
When Compression Becomes an Attack Surface: Black-Box Attacks on Prompt-Compressed LLM Agents
Zesen Liu, Zhixiang Zhang, Yuchong Xie, and Dongdong She
(Hong Kong University of Science and Technology, China; Fudan University, China)
Article Search Artifacts Available Article: ase26main-p1531-p doi:10.1145/3832783.3834394
ExplainBench: Evaluating Code Explanations from Agents
Zhiyuan Pan, Sungmin Kang, Imam Nur Bani Yusuf, and Abhik Roychoudhury
(Zhejiang University, China; National University of Singapore, Singapore)
Article Search Article: ase26main-p1571-p doi:10.1145/3832783.3834395
Finding Typing-Related Bugs in JVM Implementations
Yanzhou Lu, Junjie Chen, Yingquan Zhao, Tianchang Gao, and Zan Wang
(Tianjin University, China)
Article Search Article: ase26main-p1588-p doi:10.1145/3832783.3834396
Compressing Code Context for LLM-Based Issue Resolution
Haoxiang Jia, Earl T. Barr, and Sergey Mechtaev
(Peking University, China; University College London, UK)
Article Search Article: ase26main-p1597-p doi:10.1145/3832783.3834397
When Dependencies Depend: A Large-Scale Study on Conditional Dependencies and Their Security Implications in C/C++
Yifeng Di, Juewei Zhang, and Tianyi Zhang
(Purdue University, USA; Carnegie Mellon University, USA)
Article Search Article: ase26main-p1654-p doi:10.1145/3832783.3834398
Towards Fully Automated Medical Imaging Code Generation via Validation-Based Context Engineering
Zixiao Zhao, Jing Sun, Zhe Hou, Cheng-Hao Cai, Qian Liu, Mengze Li, Zijian Zhang, and Jin Song Dong
(University of Auckland, New Zealand; Griffith University, Australia; Monash University, Suzhou, China; Beijing Institute of Technology, China; National University of Singapore, Singapore)
Article Search Article: ase26main-p1668-p doi:10.1145/3832783.3834399
From Plan to Action: How Well Do Agents Follow the Plan?
Shuyang Liu, Saman Dehghan, Jatin Ganhotra, Martin Hirzel, and Reyhaneh Jabbarvand
(University of Illinois at Urbana-Champaign, USA; IBM, USA)
Article Search Article: ase26main-p1675-p doi:10.1145/3832783.3834400
Needle in the Repo: Diagnosing Maintainability Failures in AI-Generated Repository Edits
Haichao Zhu, Qian Zhang, Jiyuan Wang, Zhaorui Yang, and Yuxin Qiu
(Reality Vison, USA; University of California at Riverside, USA; Tulane University, USA)
Article Search Article: ase26main-p1701-p doi:10.1145/3832783.3834401
An Empirical Study of Data Access Practice in Android AR Apps to Understand User Privacy Risks
Sabbir Hussain Meraj, Long Trac, Xiaoyin Wang, Xusheng Xiao, and Wei Wang
(University of Texas at San Antonio, USA; Arizona State University, USA)
Article Search Artifacts Available Article: ase26main-p1726-p doi:10.1145/3832783.3834402
Clarity Is Not Assumed: Understanding LLM-Based Code Generation under Ambiguous Requirements
Di Yang, Xinou Xie, Xiuwen Yang, Ming Hu, Yihao Huang, Yueling Zhang, Weikai Miao, Ting Su, Chengcheng Wan, and Geguang Pu
(East China Normal University, China; Shanghai Innovation Institute, China)
Article Search Article: ase26main-p1878-p doi:10.1145/3832783.3834403
Conflict Extraction in Probabilistic Datalog Analyses
Siyu Chen, Chungha Sung, Xuyang Li, and Jingbo Wang
(Purdue University, USA; Amazon Web Services, USA)
Article Search Article: ase26main-p1888-p doi:10.1145/3832783.3834404
EMERGE: Checking Implementation Equivalence for LLMs via Rule Synthesis
Qi Zhan, Xing Hu, Xin Xia, and Shanping Li
(Zhejiang University, China)
Article Search Article: ase26main-p1924-p doi:10.1145/3832783.3834405
SpecTrum: Specification-Guided Differential Fuzzing for Ethereum Consensus Clients
Seokhun Jeong, Gyeongmin Dan, Sukyoung Ryu, and Sungjae Hwang
(KAIST, Republic of Korea; Sungkyunkwan University, Republic of Korea)
Article Search Artifacts Available Article: ase26main-p1970-p doi:10.1145/3832783.3834406
Where Does Balance Break? Boundary Discovery for Game Balance Testing under a Finite Simulation Budget
Hiroki Mukai, Yusaku Kato, Norihiro Yoshida, Erina Makihara, and Katsuro Inoue
(Ritsumeikan University, Japan)
Article Search Article: ase26main-p2013-p doi:10.1145/3832783.3834407
On the Effects of Customized Configurations of Static Code Analysis Tools: A Prospective Cohort Study of SonarQube Cloud
Sabato Nocera, Sira Vegas, and Giuseppe Scanniello
(University of Salerno, Italy; Polytechnic University of Madrid, Spain)
Article Search Article: ase26main-p2032-p doi:10.1145/3832783.3834408
RefineAct: Automatic Runtime Verification of LLM Agent Actions
Fraol Batole, Foutse Khomh, and Hridesh Rajan
(Tulane University, USA; Polytechnique Montréal, Canada)
Article Search Article: ase26main-p2301-p doi:10.1145/3832783.3834409
Verifier-in-the-Loop LLM Solving of Heap Constraints for Concolic Execution
Shaoran Xia, Leyi Cheng, Caihua Dong, Dongdong She, Bo Wang, Xin Peng, and Zhen Dong
(Fudan University, China; Soochow University, China; Hong Kong University of Science and Technology, China; Beijing Jiaotong University, China)
Article Search Artifacts Available Article: ase26main-p2302-p doi:10.1145/3832783.3834410
RealAIGC: Towards More Realistic Evaluation of AI-Generated Code Detection in Real-World Code Repository
Wentao Chen, Yufei Chen, Huiqun Yu, Guisheng Fan, Kaiwen Zhi, Peite Guo, and Jianyuan Yu
(East China University of Science and Technology, China; Shanghai Engineering Research Center of Smart Energy, China)
Article Search Article: ase26main-p2317-p doi:10.1145/3832783.3834411
Hybrid Fuzzing in Input Generation Logic
Siwei Wei, Shihao Zhu, Ruijie Meng, and Yan Cai
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; National University of Singapore, Singapore)
Article Search Article: ase26main-p2343-p doi:10.1145/3832783.3834412
Understanding the Code and Architectural Smells Generated by LLMs and Autonomous Agents
Yuecai Zhu, Nikolaos Tsantalis, and Peter C. Rigby
(Concordia University, Canada)
Article Search Article: ase26main-p2377-p doi:10.1145/3832783.3834413
Toward Inclusive Programming Support for Novice Programmers with Dyslexia: Insights from a Comparative Study
Zihan Fang, Janice Chung, Ruijia Chen, Marcia Barnes, Yuhang Zhao, and Yu Huang
(Vanderbilt University, USA; University of Wisconsin-Madison, USA)
Article Search Article: ase26main-p2412-p doi:10.1145/3832783.3834414
AEG-Edit: Bridging API Evolution and Code Semantics for Accurate API Usage in Code Generation
Yitong Lin, Haoye Tian, Dehai Zhao, Chao Ni, Xiaohu Yang, and Xiaoxue Ren
(Zhejiang University, China; Aalto University, Finland)
Article Search Artifacts Available Article: ase26main-p2449-p doi:10.1145/3832783.3834415
ReqEvolve: User-Oriented Software Self-Evolution through Automatic Requirement Interpretation
Md Asif Iqbal Fahim and Alessio Ferrari
(University College Dublin, Ireland; National Research Council, Italy)
Article Search Article: ase26main-p2528-p doi:10.1145/3832783.3834416
Testing IFrame Rendering in Web Browsers
Dahyeon Park, Yuseok Jeon, Seongil Wi, and Mijung Kim
(UNIST, Republic of Korea; Korea University, Republic of Korea)
Article Search Artifacts Available Article: ase26main-p2611-p doi:10.1145/3832783.3834417
Real-World Perturbation Testing of Autonomous Driving Systems
Stefano Carlo Lambertenghi, Matthias Weil, and Andrea Stocco
(TU Munich, Germany; fortiss, Germany)
Article Search Article: ase26main-p2645-p doi:10.1145/3832783.3834418
SwiftGram: Dynamic Lexical Forking for Precise and Efficient Grammar-Constrained Decoding
Shuyi Ling, Liangyi Kang, Jie Liu, Shuai Wang, Zhirou Ma, and Dan Ye
(Institute of Software at Chinese Academy of Sciences, China)
Article Search Article: ase26main-p2654-p doi:10.1145/3832783.3834419
GraphLedger: Repository-Level Vulnerability Detection via Graph-Based Compression and Assumption Validation
Thi-Hong-Cuc Le, Hoang-Quoc-Bao Hua, and Xuan-Bach Le
(Ho Chi Minh City University of Technology, Vietnam)
Article Search Artifacts Available Article: ase26main-p2655-p doi:10.1145/3832783.3834420
Escaping the Self-Repair Trap: Improving Test Oracle Generation via Dual-Context Awareness
Kefan Li, Hongyue Yu, and Yuan Yuan
(Beihang University, China)
Article Search Artifacts Available Article: ase26main-p2670-p doi:10.1145/3832783.3834421
PSearch: Search-Based Patch Generation in the Era of LLM-Based Automated Program Repair
Haichuan Hu, Ye Shang, Weifeng Sun, and Quanjun Zhang
(Nanjing University of Science and Technology, China; Nanjing University, China; Singapore Management University, Singapore)
Article Search Article: ase26main-p2681-p doi:10.1145/3832783.3834422
Same Scrutiny, More Time: Eye Tracking Insights into Reviewing LLM-Labelled Code
Ranim Khojah, Francisco Gomes de Oliveira Neto, Mazen Mohamad, Julian Frattini, and Philipp Leitner
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; RISE Research Institutes of Sweden, Sweden)
Article Search Artifacts Available Article: ase26main-p2693-p doi:10.1145/3832783.3834423
Breaking Customized LLMs for Coding: Automated Red Teaming for Instruction Backdoor Attacks
Yuchen Chen, Wei Cheng, Yuan Xiao, Weisong Sun, Chunrong Fang, Yang Liu, Zhenyu Chen, and Baowen Xu
(Nanjing University, China; Nanjing University of Aeronautics and Astronautics, China; Nanyang Technological University, Singapore)
Article Search Article: ase26main-p2706-p doi:10.1145/3832783.3834424
On the Reliability of Code Comprehension Proxies
Erfan Arvan, Nadeeshan De Silva, Oscar Chaparro, and Martin Kellogg
(New Jersey Institute of Technology, USA; William & Mary, USA)
Article Search Artifacts Available Article: ase26main-p2877-p doi:10.1145/3832783.3834425
Discovering Performance Archetypes: Critical-Path-Aware Pattern Analysis and Regression Detection
Kaveh Shahedi, Heng Li, Maxime Lamothe, and Foutse Khomh
(Polytechnique Montréal, Canada)
Article Search Article: ase26main-p2896-p doi:10.1145/3832783.3834426
Barista: Synthesizing Typestate Specifications with LLM Agents
Catarina Gamboa, Paulo Canelas, Ricardo Costa, Márcio Caetano, Jonathan Aldrich, and Alcides Fonseca
(Carnegie Mellon University, USA; University of Lisbon, Portugal)
Article Search Article: ase26main-p2950-p doi:10.1145/3832783.3834427
A Longitudinal Study of Android Apps Signing Key Protection
Mark Huasong Meng, Qing Zhang, Weirao Lu, and Chunyang Chen
(University College Dublin, Ireland; JD Group, China; TU Munich, Germany)
Article Search Article: ase26main-p3058-p doi:10.1145/3832783.3834428
Clarity: From Formal System Designs to Verified RL Controllers
Austin O'Quinn, Conor Snedeker, Max Taylor, Lance Joneckis, and Christopher Stewart
(Ohio State University, USA; Boise State University, USA; Idaho National Lab, USA)
Article Search Artifacts Available Article: ase26main-p3070-p doi:10.1145/3832783.3834429
Towards Verifiable Fairness Testing: Auditable Coverage over Data-Supported Input Domains
Yingqian Guo, Wentian Zhao, and Tian Song
(Beijing Institute of Technology, China)
Article Search Artifacts Available Article: ase26main-p3140-p doi:10.1145/3832783.3834430
PL4SA: Optimized Partial Library Selection for Efficient Static Analysis
Guohao Feng, Yifei Lu, and Minxue Pan
(Nanjing University, China)
Article Search Article: ase26main-p3256-p doi:10.1145/3832783.3834431
VeriSBOM: Secure and Verifiable SBOM Sharing via Zero-Knowledge Proofs
Gianpietro Castiglione, Shahriar Ebrahimi, and Narges Khakpour
(Newcastle University, UK)
Article Search Artifacts Available Article: ase26main-p3290-p doi:10.1145/3832783.3834432
Bifrost: Empowering Pretrained Language Model with Fallibility Representation for Log-Based Fault Diagnosis
Minghua He, Tong Jia, Lingzhe Zhang, Chiming Duan, Xinlong Zhao, Leyi Pan, Cheng Wang, Kangjin Wang, Yinghao Yu, Liping Zhang, Yifan Wu, and Ying Li
(Peking University, China; Tsinghua University, China; Alibaba Group, China)
Article Search Article: ase26main-p3295-p doi:10.1145/3832783.3834433
All or Nothing: How Library Type Annotations Affect Client-Side Errors in Python
Eric Asare, Luca Di Grazia, and Sarah Nadi
(New York University Abu Dhabi, United Arab Emirates; University of St. Gallen, Switzerland)
Article Search Artifacts Available Article: ase26main-p3300-p doi:10.1145/3832783.3834434
Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks
Guanqin Zhang and Yulei Sui
(University of New South Wales, Australia)
Article Search Artifacts Available Article: ase26main-p3318-p doi:10.1145/3832783.3834435
ChangeWiki: Repository-Level Change Summarization Augmented with Architecture Semantics
Zijun Wang, Wuxia Jin, Jiale Li, Zhanhong Mou, and Ting Liu
(Xi'an Jiaotong University, China)
Article Search Article: ase26main-p3335-p doi:10.1145/3832783.3834436
Refine2Diff: Detecting Protocol Specification–Implementation Inconsistencies via Specification-Driven Code Refinement
Yuekun Wang, Lili Quan, and Xiaofei Xie
(Singapore Management University, Singapore)
Article Search Article: ase26main-p3339-p doi:10.1145/3832783.3834437
Free Is More: Empowering Software Agents via Issue-Free Trajectory Learning and Entropy-Aware RLVR Training
Xin-Cheng Wen, Binbin Chen, Haoxuan Lan, Hang Yu, Peng Di, and Cuiyun Gao
(Harbin Institute of Technology, Shenzhen, China; Ant Group, China; Zhejiang University, China; University of New South Wales, Australia)
Article Search Article: ase26main-p3466-p doi:10.1145/3832783.3834438
How Quantum Bugs Live and Die: A Lifecycle-Based Empirical Study of Bugs in Quantum Software
Yasai Shi, Xiangxin Meng, Xiangjie Huang, Jian Zhang, Tianyu Wo, and Xu Wang
(Beihang University, China)
Article Search Article: ase26main-p3477-p doi:10.1145/3832783.3834439
Automated Table Reproduction via Code Generation
Doehyun Baek and Michael Pradel
(CISPA Helmholtz Center for Information Security, Germany)
Article Search Artifacts Available Article: ase26main-p3621-p doi:10.1145/3832783.3834440
MicroAgent: Context-Augmented Multi-agent Framework for Automatic Microservice Decomposition
Zishan Su, Junjie Huang, Shiwen Shan, Xingyan Chen, Hui Zeng, Yuxin Su, Yanlin Wang, and Michael R. Lyu
(Chinese University of Hong Kong, China; Sun Yat-sen University, China)
Article Search Artifacts Available Article: ase26main-p3640-p doi:10.1145/3832783.3834441
Optimization-Free Repair of Code LLMs: A Closed-Form Fisher-Guided Bayesian Approach
Zhiyu Duan, Chong Bian, Yizhuo Zhang, and Shunkun Yang
(Beihang University, China; China Mobile, China)
Article Search Article: ase26main-p3860-p doi:10.1145/3832783.3834442
Pattern over Pixels: Measuring Pattern Completion Bias in Multimodal Code Generation
Khai-Nguyen Nguyen, Oscar Chaparro, and Antonio Mastropaolo
(William & Mary, USA)
Article Search Article: ase26main-p3922-p doi:10.1145/3832783.3834443
GPU-Accelerated Belief Propagation for Program Analysis
Haoyu Feng and Xin Zhang
(Peking University, China)
Article Search Artifacts Available Article: ase26main-p4025-p doi:10.1145/3832783.3834444
Inferring the Shape of Data Frames in R Programs using Abstract Interpretation
Oliver Gerstl, Florian Sihler, and Matthias Tichy
(Ulm University, Germany)
Article Search Article: ase26main-p4457-p doi:10.1145/3832783.3834445
Translation Tag Team: Formal Rules and LLMs Translate More Macros Together Than Apart
Brent Pappas, Joseph Zalusky, Zachary Burkett, and Paul Gazzillo
(University of Central Florida, USA)
Article Search Artifacts Available Article: ase26main-p5-p doi:10.1145/3832783.3837412
ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction
Haoyu Wang, Christopher M. Poskitt, Jiali Wei, and Jun Sun
(Singapore Management University, Singapore; Xi'an Jiaotong University, China)
Article Search Article: ase26main-p53-p doi:10.1145/3832783.3837413
Tangent: An Empirical Study of Testing Practices for LLM-Based Agent Applications
Rangeet Pan, Tyler Stennett, Divya Sankar, Bridget McGinn, Alessandro Orso, Raju Pavuluri, Saurabh Sinha, and Maja Vukovic
(IBM Research, USA; Georgia Institute of Technology, USA; University of Georgia, USA)
Article Search Article: ase26main-p87-p doi:10.1145/3832783.3837414
A Unified Model for Cross-Domain Clone Detection via Model Merging
Palash R. Roy, Banani Roy, Kevin A. Schneider, and Chanchal K. Roy
(University of Saskatchewan, Canada)
Article Search Artifacts Available Article: ase26main-p92-p doi:10.1145/3832783.3837415
Don’t Retest Everything: Auditable Regression Scoping for Safety-Critical Systems
Francesco Basciani, Daniele Masti, Patrizio Pelliccione, Alberto Petrucci, Franco Raimondi, Emerson Sales, and Paolo Serri
(Gran Sasso Science Institute, Italy; Gran Sasso Tech, Italy; Thales Alenia Space Italia, Italy)
Article Search Article: ase26main-p115-p doi:10.1145/3832783.3837416
Recovering Revisions of Pull Requests with Altered History
Gengyi Sun, Georges Aaron Randrianaina, Tao Xiao, Yasutaka Kamei, and Shane McIntosh
(University of Waterloo, Canada; Kyushu University, Japan)
Article Search Artifacts Available Article: ase26main-p120-p doi:10.1145/3832783.3837417
Making Theft Useless: Adulteration-Based Protection of Proprietary Knowledge Graphs in GraphRAG Systems
Weijie Wang, Peizhuo Lv, Yan Wang, Weiqing Huang, Rujie Dai, Guokun Xu, Qiujian Lv, Hangcheng Liu, Hao Hu, and Jiaheng Zhang
(Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanyang Technological University, Singapore; Henan Key Laboratory of Information Security, China; National University of Singapore, Singapore)
Article Search Article: ase26main-p131-p doi:10.1145/3832783.3837418
Decompiling the Web: Automated Semantic Recovery of Post-compilation Abstraction Leaks
Shriyans Sudhi and Yinxi Liu
(Rochester Institute of Technology, USA)
Article Search Artifacts Available Article: ase26main-p145-p doi:10.1145/3832783.3837419
AutoSQL: Extracting SQL Templates from Imperative ORM Code in Large-Scale Repositories
Junsong Pu, Yichen Li, Zhuangbin Chen, Zhihan Jiang, and Zibin Zheng
(Sun Yat-sen University, Zhuhai, China; Chinese University of Hong Kong, Hong Kong)
Article Search Article: ase26main-p169-p doi:10.1145/3832783.3837420
SIMD-Accelerated Sparse Bit-Vectors for Pointer Analysis
Zhaoyang Tan, Peisen Yao, and Kui Ren
(Zhejiang University, China)
Article Search Article: ase26main-p176-p doi:10.1145/3832783.3837421
DesignFix: Context-Augmented Repair of Design Rule Violations
Mainul Hossain and Thomas D. LaToza
(George Mason University, USA)
Article Search Article: ase26main-p184-p doi:10.1145/3832783.3837422
LaMAR: Latent Multi-agent Collaboration via KV-Cache Communication for Automated Program Repair
Rui Jiao, Yue Zhang, Zhexuan Feng, and Jinku Li
(Xidian University, China; Shandong University, China)
Article Search Article: ase26main-p198-p doi:10.1145/3832783.3837423
Enhancing Trace-Based Root Cause Analysis for Microservice Systems via Code Change Understanding
Min Zhang, Chenxi Zhang, Senyu Xie, Shihong Chen, Lei Wu, and Xin Peng
(Fudan University, China; Xidian University, China; McDonald's, China)
Article Search Article: ase26main-p199-p doi:10.1145/3832783.3837424
Assessing Uncertainty in Performance Modeling: Conformal Prediction vs. Bayesian Regression
Stefan Jahns, Johannes Dorn, Max Weber, Sven Apel, and Norbert Siegmund
(Leipzig University, Germany; Saarland University, Germany)
Article Search Article: ase26main-p207-p doi:10.1145/3832783.3837425
RACE-Bench: A Reasoning-Augmented Benchmark for Repository-Level Code Agents on Feature Addition
Shuhan Liu, Zhiyi Zhao, Xing Hu, Kui Liu, Xiaohu Yang, and Xin Xia
(Zhejiang University, China)
Article Search Article: ase26main-p208-p doi:10.1145/3832783.3837426
How Effective Are NPM Malicious Package Detectors? A Large-Scale Empirical Study
Wenbo Guo, Zhongwen Chen, Zhengzi Xu, Chengwei Liu, Ming Kang, Shiwen Song, Chengyue Liu, Yijia Xu, Weisong Sun, and Yang Liu
(Nanyang Technological University, Singapore; Sichuan University, China; Imperial Global Singapore, Singapore; Nankai University, China; Singapore Management University, Singapore)
Article Search Article: ase26main-p218-p doi:10.1145/3832783.3837427
Localizing Data Annotation Faults in Semantic Segmentation Systems
Pengyi Yang, Teng Long, Zhiwu Xu, and Linhai Jing
(China University of Geosciences (Beijing), China; Shenzhen University, China)
Article Search Article: ase26main-p227-p doi:10.1145/3832783.3837428
“Impossible to Hide Secret ...”: Uncovering Security and Privacy Issues in LLM-Native IDEs
Mostafijur Rahman Akhond, Md Afif Al Mamun, Gias Uddin, and Song Wang
(York University, Canada; University of Calgary, Canada)
Article Search Article: ase26main-p234-p doi:10.1145/3832783.3837429
Smart Contract Synthesis via Multi-modal Specifications
Tanglin Chen, Haoxian Chen, Huilin Xiang, and Yuepeng Wang
(ShanghaiTech University, China; Simon Fraser University, Canada)
Article Search Artifacts Available Article: ase26main-p244-p doi:10.1145/3832783.3837430
BDiff: Block-Aware and Accurate Text-Based Code Differencing
Yao Lu, Wanwei Liu, Tanghaoran Zhang, Kang Yang, Yang Zhang, Wenyu Xu, Longfei Sun, Xinjun Mao, Shuzheng Gao, and Michael R. Lyu
(National University of Defense Technology, China; Chinese University of Hong Kong, China)
Article Search Artifacts Available Article: ase26main-p251-p doi:10.1145/3832783.3837431
PCodeTrans: Translate Decompiled Pseudocode to Trace-Level Equivalent Source Code
Yuxin Cui, Zeyu Gao, Siliang Qin, Yuanda Wang, Jiaming Wang, Xize Luo, Peng Zhou, and Chao Zhang
(Tsinghua University, China; Institute of Information Engineering at Chinese Academy of Sciences, China; Peking University, China; Hunan University, China)
Article Search Article: ase26main-p256-p doi:10.1145/3832783.3837432
AlphaCu: A Transformation-Driven Synthesis Framework for LLM-Based GPU Kernel Generation
Yangjie Zhou, Xing Ma, Zihan Liu, Qing Wang, Weihao Cui, Wu Sun, Hanjing Wang, Binhang Qi, Jingwen Leng, Yun Lin, Minyi Guo, and Jin Song Dong
(National University of Singapore, Singapore; Shanghai Jiao Tong University, China; Shanghai Qi Zhi Institute, China; Nanjing University, China; Harvard University, USA)
Article Search Article: ase26main-p287-p doi:10.1145/3832783.3837433
How Do LLMs Read Bug Reports? An Empirical Study of Attention in LLMs for Automated Program Repair
Ramtin Ehsani, Irene Manotas, Saurabh Pujar, Luca Buratti, and Preetha Chatterjee
(Drexel University, USA; IBM Research, USA)
Article Search Artifacts Available Article: ase26main-p306-p doi:10.1145/3832783.3837434
Mind the Gap: Do Widely-Used SAST Tools Really Cover the Language-Specific Top CWEs?
Zhilin Li, Yiran Nie, Xianglong Qi, Jiwei Yan, and Jun Yan
(Institute of Software at Chinese Academy of Sciences, China; Hangzhou Institute for Advanced Study at University of Chinese Academy of Sciences, Hangzhou, China; Beijing University of Technology, China)
Article Search Artifacts Available Article: ase26main-p316-p doi:10.1145/3832783.3837435
Smart Brain: Semantic Anomaly Detection for Operational Time Series in Large Scale Service Systems
Hang Cui, Zexin Wang, Jingjing Li, Juncheng Hu, Haotian Si, Cenjie Hu, Quan Zhou, Yongchang Hu, Lei Han, Dan Pei, Changhua Pei, and Gaogang Xie
(University of Chinese Academy of Sciences, China; Computer Network Information Center at Chinese Academy of Sciences, China; Jilin University, China; Independent Researcher, China; Shenyang Institute of Automation at Chinese Academy of Sciences, China; Huawei Technologies, China; Tsinghua University, China)
Article Search Article: ase26main-p337-p doi:10.1145/3832783.3837436
AgentChaos: Chaos Engineering for Agent Systems via Programmatic Fault Injection
Gou Tan, Zhensu Sun, Jieke Shi, Ting Zhang, Zilong He, Qingfu Wu, Shuai Liang, Weifeng Sun, Junda He, Pengfei Chen, Chuanfu Zhang, Lwin Khin Shar, and David Lo
(Sun Yat-sen University, Guangzhou, China; Singapore Management University, Singapore; Monash University, Australia; China Unicom Software Research Institute, Beijing, China)
Article Search Artifacts Available Article: ase26main-p355-p doi:10.1145/3832783.3837437
Precise and Efficient Static Data Race Detection
Pei Wang, Zhihang Sun, and Fei He
(Tsinghua University, China)
Article Search Artifacts Available Article: ase26main-p369-p doi:10.1145/3832783.3837438
Best-Effort GR(1) Synthesis: Exploiting Environmental Cooperation under Unrealizability
Sirui Liu, Yating Zhang, Chi Hu, and Wei Dong
(National University of Defense Technology, China; China Academy of Engineering Physics, China)
Article Search Artifacts Available Article: ase26main-p372-p doi:10.1145/3832783.3837439
TELLER: Non-intrusive Cross-Layer Root-Cause Analysis for LLM Inference
Ruilin Xu, Junyi Li, Pengfei Chen, and Zongxuan Xie
(Sun Yat-sen University, China)
Article Search Artifacts Available Article: ase26main-p423-p doi:10.1145/3832783.3837440
Predicate-Guided Synthesis of Input Generators via Gentoo
Vasudev Vikram and Rohan Padhye
(Carnegie Mellon University, USA)
Article Search Article: ase26main-p430-p doi:10.1145/3832783.3837441
DepUpgrade: Automating Dependency Upgrade through State-Path Exploration
Xiangxi Ma, Yifan An, Wentong Tian, Xuanqi Wang, Qingao Dong, Xiang Gao, and Hailong Sun
(Beihang University, China)
Article Search Article: ase26main-p442-p doi:10.1145/3832783.3837442
PWCC: Probability-Weighted Combinatorial Coverage for Risk-Informed Scenario Testing of Autonomous Systems
Borhaneddine Hamadou, Chokri Mraidha, and Nikolaos Matragkas
(Université Paris-Saclay, France; CEA List, France)
Article Search Artifacts Available Article: ase26main-p443-p doi:10.1145/3832783.3837443
Lost in Translation, Found in Summary: Summary-Driven Supervision for Cross-Language Code Retrieval
Zhijie Liu, Yisi Liu, Linxi Jiang, Yutian Tang, Lili Xiao, and Zhipeng Xue
(Independent Researcher, China; Donghua University, China; University of Glasgow, UK; Zhejiang University, China)
Article Search Article: ase26main-p479-p doi:10.1145/3832783.3837444
ExeCRE: Execution-Consistency Guided Reliability Estimation for Self-Correcting Code Generation
Yiru Dong, Richong Zhang, Fanshuang Kong, and Si Chen
(Beihang University, China)
Article Search Article: ase26main-p496-p doi:10.1145/3832783.3837445
DAGGER: Dynamic Agentic Graph-Guided Efficient Reasoner for Container Image Dependency Optimization
Shikhar Vashistha and Neetesh Kumar
(IIT Roorkee, India)
Article Search Artifacts Available Article: ase26main-p522-p doi:10.1145/3832783.3837446
RamFuzz: LLM-Guided Greybox Fuzzing for Spatial Memory Corruption via Valid Range Violation
Shangzhi Xu, Wei Song, Yuekang Li, Nan Sun, Muhammad Ejaz Ahmed, Willy Susilo, Benjamin Turnbull, Xiao Cheng, and Siqi Ma
(University of New South Wales, Australia; CSIRO's Data61, Australia; University of Wollongong, Australia; Macquarie University, Australia)
Article Search Article: ase26main-p540-p doi:10.1145/3832783.3837447
To Ban or Not to Ban? How Open Source Projects Govern GenAI Contributions
Wenhao Yang, Runzhi He, and Minghui Zhou
(Peking University, China)
Article Search Artifacts Available Article: ase26main-p575-p doi:10.1145/3832783.3837448
GraphDroid: Asynchronous LLM-Based Mobile App GUI Testing via History-Aware Exploration and Hybrid Intent Fulfillment
Xiaolei Li, Jialun Cao, Zhijian Hou, Yuzhi Zhao, Yepang Liu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China; Guangzhou HKUST Fok Ying Tung Research Institute, China; City University of Hong Kong, China)
Article Search Article: ase26main-p609-p doi:10.1145/3832783.3837449
VARIES: Verification Harness Synthesis and Efficient Scheduling for Unsoundness Detection in Rust Libraries
Huan Li, Xing Hu, Xin Xia, and Xinyu Wang
(Zhejiang University, China)
Article Search Article: ase26main-p638-p doi:10.1145/3832783.3837450
Prism: A Multi-solution Reasoning and Synthesis Framework for Repository-Level Issue Resolution
Yibo Wang, Guotian Wang, Zhihao Peng, Ying Wang, Chang Xu, and Zhiliang Zhu
(Northeastern University, China; Nanjing University, China)
Article Search Article: ase26main-p663-p doi:10.1145/3832783.3837451
RepoProbe: Benchmarking Architecture-Aware Repository Comprehension with Checklists
Yuexi Yang, Alyssa Wu, Ji Luo, Richeng Xuan, Zhichao Hu, Yuhong Liu, and Zhen Qin
(Zhejiang University, China; Tencent, China)
Article Search Artifacts Available Article: ase26main-p676-p doi:10.1145/3832783.3837452
RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback
Guozhen Ding, Kexin Li, Ilya Grishchenko, and David Lie
(University of Toronto, Canada)
Article Search Artifacts Available Article: ase26main-p683-p doi:10.1145/3832783.3837453
It Takes Two to Tango: Accelerating Code Generation via Cache-Inspired Hierarchical Speculative Decoding
Yinggang Qiu, Shangwen Wang, Yihao Qin, Mingyang Geng, and Dezun Dong
(National University of Defense Technology, China; Information Support Force Engineering University, China)
Article Search Article: ase26main-p691-p doi:10.1145/3832783.3837454
One Is Not Enough: The Untold Story of Multiple Security Patches for One Vulnerability
Fangyuan Zhang, Lyuye Zhang, Lingling Fan, Chengwei Liu, Yinan Li, Liang Huang, Yang Liu, Zheli Liu, and Sen Chen
(Nankai University, China; Nanyang Technological University, Singapore; Qi An Xin Technology Group, China)
Article Search Article: ase26main-p694-p doi:10.1145/3832783.3837455
Not as Sweet by Another Name: An Empirical Study of Format Robustness in LLM Document Workflows
Xiaoyu Zhang, Xianyun Cheng, Tianlin Li, Yuwei Zheng, Yue Yang, and Yang Liu
(Nanyang Technological University, Singapore; National University of Singapore, Singapore; Beihang University, China; Xi'an University of Architecture and Technology, China)
Article Search Article: ase26main-p718-p doi:10.1145/3832783.3837456
RealisticTritonBench: A Benchmark for Triton-Kernel Generation in Real-World AI Frameworks
Jinjun Huang, Zhongzhen Wen, Tongtong Xu, Meng Yan, Xin Xia, and Zhongxin Liu
(Zhejiang University, China; Nanjing University, China; Huawei, China; Chongqing University, China)
Article Search Article: ase26main-p721-p doi:10.1145/3832783.3837457
From Guessing to Seeing: Enhancing LLM-Based Program Repair via Trace-Guided Multi-strategy Debate
Jiaqing Wu, Tong Wu, Manqing Zhang, Yunwei Dong, and Bo Shen
(Northwestern Polytechnical University, China)
Article Search Article: ase26main-p732-p doi:10.1145/3832783.3837458
When Extensions Lie: Large-Scale Study of Privacy Policy Compliance in Browser Extensions
Zilun Wang, Zeyang Zhuang, Mingxue Zhang, Wei Meng, and Michael R. Lyu
(Chinese University of Hong Kong, China; Zhejiang University, China; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, China)
Article Search Article: ase26main-p741-p doi:10.1145/3832783.3837459
MultiKernelBench: A Multi-platform Benchmark for Kernel Generation
Zhongzhen Wen, Yinghui Zhang, Zhong Li, Zhongxin Liu, Linna Xie, and Tian Zhang
(Nanjing University, China; Zhejiang University, China)
Article Search Article: ase26main-p755-p doi:10.1145/3832783.3837460
Post-quantum Cryptography in the Wild: Assessing the Readiness of Open-Source Ecosystems
Tongxin Yuan, Zhanpeng Liu, Jiashuo Liang, Zhuosheng Zhang, Gongshen Liu, Yang Yu, and Guancheng Li
(Shanghai Jiao Tong University, China; Tencent Xuanwu Lab, China)
Article Search Article: ase26main-p758-p doi:10.1145/3832783.3837461
CodeFault: Predicting Fault Risks from Code Changes via Multi-modal Learning
Yifan Xiao, Shijie Li, and Yu Huang
(Peking University, China; China Southern Power Grid, China)
Article Search Artifacts Available Article: ase26main-p759-p doi:10.1145/3832783.3837462
ReLog: Execution-Aware Logging with Runtime Feedback for LLM-Oriented Debugging
Xin Wang, Yang Feng, Xiaoqian Jiao, Yang Zhang, Zhenhao Li, and Zishuo Ding
(Hong Kong University of Science and Technology, Guangzhou, China; Hebei University of Science and Technology, China; York University, Canada)
Article Search Article: ase26main-p769-p doi:10.1145/3832783.3837463
Documentation vs. Code Patterns: What Drives LLM-Based Exception Oracle Generation?
Soneya Binta Hossain, Matthew B. Dwyer, and Tasfia Tasnim
(University of Texas at Dallas, USA; University of Virginia, USA)
Article Search Article: ase26main-p773-p doi:10.1145/3832783.3837464
Harnessing Uncertainty in Code Language Models: Lessons from Vulnerability Detection
Haodong Li, Xiao Cheng, Xudong Wang, Zhihao Guo, and Haoyu Wang
(Huazhong University of Science and Technology, China; Macquarie University, Australia; Zhongguancun Institute of Artificial Intelligence, China; University of Technology Sydney, Australia)
Article Search Article: ase26main-p786-p doi:10.1145/3832783.3837465
Breaking the Isolation: Coordinated Multi-agent Fuzzing for Smart Contracts with Multi-dimensional Objective Learning
Ruichao Liang, Ruochen Cao, Jing Chen, Kun He, Yebo Feng, Yue Xue, and Cong Wu
(Wuhan University, China; Nanyang Technological University, Singapore; MetaTrust Labs, Singapore)
Article Search Article: ase26main-p791-p doi:10.1145/3832783.3837466
HyTri: Hybrid Triage of CI Failures via LLM Guided Semantic Reasoning and Change Attribution
Lior Broide, Argaman Mordoch, and Roni Stern
(Ben-Gurion University of the Negev, Israel)
Article Search Article: ase26main-p811-p doi:10.1145/3832783.3837467
Latent Reuse in Agent Skills: Multi-modal Clone Detection at Ecosystem Scale
Jiaying Zhu, Lyuye Zhang, Wenbo Guo, and Yang Liu
(Nanyang Technological University, Singapore)
Article Search Article: ase26main-p820-p doi:10.1145/3832783.3837468
Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models
Yang Li, Ping Hou, and Nobuko Yoshida
(University of Oxford, UK)
Article Search Article: ase26main-p825-p doi:10.1145/3832783.3837469
Execution-as-Configuration: Security Smells in Model Configuration Artifacts
Mohammed Latif Siddiq, Prince Noah Johnson, and Joanna C. S. Santos
(University of Notre Dame, USA)
Article Search Article: ase26main-p830-p doi:10.1145/3832783.3837470
Evidence-Grounded Logic Vulnerability Detection for Smart Contracts via Runtime Context Reasoning
Guang Gong, Yucong Jiang, Rong Jian, Xiaotao Feng, Zhihan Wei, Qi Li, and Ke Xu
(Tsinghua University, China; 360 Vulnerability Research Institute, China)
Article Search Artifacts Available Article: ase26main-p839-p doi:10.1145/3832783.3837471
Fully Automating Template Polyhedral Analysis by Leveraging LLMs
Renjie Huang, Liqian Chen, Hongfei Fu, Banghu Yin, Dengping Wei, and Ji Wang
(National University of Defense Technology, China; Shanghai University of Finance and Economics, China)
Article Search Artifacts Available Article: ase26main-p849-p doi:10.1145/3832783.3837472
When Does AI Actually Help in Incident Response? Identifying Good First Messages in Cloud Service Incidents
Minghua Ma, Rujia Wang, Chetan Bansal, Saravan Rajmohan, Yingnong Dang, and Hongyu Zhang
(Microsoft, USA; Chongqing University, China)
Article Search Article: ase26main-p860-p doi:10.1145/3832783.3837473
We Must Have Missed This Comment: Detecting and Repairing Stale Function References in Linux Kernel Comments
Kexin Sun, Yunbo Lyu, Xutong Ma, Hongyu Kuang, Ratnadira Widyasari, He Zhang, Xiaoxing Ma, Julia Lawall, and David Lo
(Nanjing University, China; Singapore Management University, Singapore; Inria, France)
Article Search Article: ase26main-p908-p doi:10.1145/3832783.3837474
LARA: Static ReDoS Detection for Regular Expressions with Lookahead via Matching Automata
Mengxi Wang, Chengyao Peng, Weihao Su, Guiyi He, Rongchen Li, Hong Huang, and Haiming Chen
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
Article Search Article: ase26main-p997-p doi:10.1145/3832783.3837475
ConfFuzz: Parameter-Aware Greybox Fuzzing for Configurable Cloud Systems
Shuai Wang, Hao Wang, Darko Marinov, Tianyin Xu, and Yongle Zhang
(University of Illinois at Urbana-Champaign, USA; University of California at Berkeley, USA; Purdue University, USA)
Article Search Article: ase26main-p1001-p doi:10.1145/3832783.3837476
Synthesizing File-Level Data for Unit Test Generation with Chain-of-Thoughts via Self-Debugging
Ziyue Hua, Tianyu Chen, Yeyun Gong, Shuai Lu, Peng Cheng, Qinglin Zhu, Yibo He, Yingjie Fu, Wenpin Jiao, Wei Yang, and Tao Xie
(Peking University, China; Microsoft Research, China; King's College London, UK; Fudan University, China)
Article Search Article: ase26main-p1002-p doi:10.1145/3832783.3837477
FAiLGen: Calibrating LLM for Failing Test Generation with Monte Carlo Tree Search
Tsz-On Li, Xiaochuan Yan, Dehui Yi, Yuhang Jiang, Kexin Li, Congying Xu, Ying Wang, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, Hong Kong; Northeastern University, China)
Article Search Artifacts Available Article: ase26main-p1022-p doi:10.1145/3832783.3837478
Feature-Focused Test Generation
José Antonio Zamudio Amaya, Gaetano Sapia, Alexi Turcotte, David Benavides, Marcel Böhme, and Andreas Zeller
(CISPA Helmholtz Center for Information Security, Germany; MPI-SP, Germany; Universidad de Sevilla, Spain)
Article Search Article: ase26main-p1023-p doi:10.1145/3832783.3837479
SecChain: Operationalizing Security Guidelines for Multi-agent Smart Contract Generation
Dianxiang Sun, Liming Nie, and Yang Liu
(Nanyang Technological University, Singapore; Shenzhen Technology University, China)
Article Search Artifacts Available Article: ase26main-p1030-p doi:10.1145/3832783.3837480
SafeDep: Detecting State Mutation Unsoundness in Rust via Dependency Slicing and LLM Reasoning
Zihao Rao, Yilin Chen, Chengjun Chen, and Hui Xu
(Fudan University, China; Ant Group, China)
Article Search Artifacts Available Article: ase26main-p1035-p doi:10.1145/3832783.3837481
A Selective Undo/Redo Algorithm for Dependency-Constrained Operation Histories Based on Change Propagation
Xiaoxiong Fan, Hou Tam, Hanxi Zhu, and Song-Hai Zhang
(Tsinghua University, China)
Article Search Article: ase26main-p1098-p doi:10.1145/3832783.3837482
WiDepFuzz: Finding Wi-Fi Protocol Bugs in Mobile Hotspot via Field Dependency Model
Yuanliang Chen, Fuchen Ma, Taotao Gu, and Yu Jiang
(Tsinghua University, China)
Article Search Article: ase26main-p1165-p doi:10.1145/3832783.3837483
CTForge: Automatically Generating Test Suites for Software Configuration
Yuanliang Zhang, Zhizheng Zheng, Shanshan Li, Zhouyang Jia, Chaopeng Luo, Liqian Chen, Zhenbang Chen, Ji Wang, and Xiangke Liao
(National University of Defense Technology, China)
Article Search Article: ase26main-p1197-p doi:10.1145/3832783.3837484
Panorama: Unveiling Latent Dependencies for Microservice Autoscaling via Meta-learning
Zhuangbin Chen, Hongjiang Feng, Yang Liu, Juzheng Zheng, Xiaoyu He, and Zibin Zheng
(Sun Yat-sen University, China)
Article Search Article: ase26main-p1217-p doi:10.1145/3832783.3837485
ReCodeAgent: A Multi-agent Workflow for Language-Agnostic Translation and Validation of Large-Scale Repositories
Ali Reza Ibrahimzada, Brandon Paulsen, Daniel Kroening, and Reyhaneh Jabbarvand
(University of Illinois at Urbana-Champaign, USA; Amazon, USA)
Article Search Article: ase26main-p1257-p doi:10.1145/3832783.3837486
Aligning User Requirement with Large Language Model in Code Generation
Jia Li, Ruiqi Bai, Yangkang Luo, Yiran Zhang, Wentao Yang, Zeyu Sun, Tiankuo Zhao, Dongming Jin, Lei Li, and Zhi Jin
(Wuhan University, China; Nanyang Technological University, Singapore; Institute of Software at Chinese Academy of Sciences, China; Peking University, China; University of Hong Kong, Hong Kong)
Article Search Article: ase26main-p1298-p doi:10.1145/3832783.3837487
QDoctor: Probe-Based Testing for Quantum Programs
Qichen Wang, Shangzhou Xia, Xiaoyu Guo, and Jianjun Zhao
(Kyushu University, Japan)
Article Search Article: ase26main-p1302-p doi:10.1145/3832783.3837488
Doc2Feat-Bench: Evaluating Documentation-Driven Feature Addition
Zhonghao Jiang, Le Deng, Jialun Cao, Michael Pradel, and Zhongxin Liu
(Zhejiang University, China; Hong Kong University of Science and Technology, Hong Kong; CISPA Helmholtz Center for Information Security, Germany)
Article Search Article: ase26main-p1306-p doi:10.1145/3832783.3837489
RegoMender: A Multi-agent Framework for Automated Rego Policy Repair
Ruijie Zhang, Huaxiao Yin, Li Hu, Fanqi Kong, Haozhe Liang, Shaoyin Cheng, Kun Zhang, and Bibo Tu
(Institute of Information Engineering at Chinese Academy of Sciences, China; University of Science and Technology of China, China; Peking University, China; University of Chinese Academy of Sciences, China)
Article Search Article: ase26main-p1325-p doi:10.1145/3832783.3837490
Defensive Capability Analysis for JavaScript Libraries
Wenyuan Xu and Anders Møller
(Aarhus University, Denmark)
Article Search Artifacts Available Article: ase26main-p1332-p doi:10.1145/3832783.3837491
RAVEN: Measuring Detection Instability in Anti-virus Engines under Semantics-Preserving Perturbations
Younghoon Ban, Beomjin Jin, Doowon Kim, Hyoungshick Kim, and Haehyun Cho
(Soongsil University, Republic of Korea; Ajou University, Republic of Korea; University of Tennessee, Knoxville, USA; Sungkyunkwan University, Republic of Korea)
Article Search Article: ase26main-p1356-p doi:10.1145/3832783.3837492
CiL-Agent: Compiler-in-the-Loop LLM Agent for Memory-Safe C Program Repair
Yang Shen, Yating Zhang, Jiaqiang Yao, Minghao Liu, and Wei Dong
(National University of Defense Technology, China)
Article Search Article: ase26main-p1378-p doi:10.1145/3832783.3837493
Safe Multi-site Binary Instrumentation of Running x86-64 Programs
Jihun Baek, Sanghoon Han, and Hyungon Moon
(UNIST, Republic of Korea)
Article Search Article: ase26main-p1407-p doi:10.1145/3832783.3837494
Mobile Bug Reproduction via Global State Reprioritization and LLM-Guided Trajectory Exploration
Dingbang Wang, Sidong Feng, William G. J. Halfond, and Tingting Yu
(University of Connecticut, USA; Monash University, Australia; University of Southern California, USA)
Article Search Article: ase26main-p1450-p doi:10.1145/3832783.3837495
IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++
Kunlin Liu, Zhenbang Chen, Piyi Zu, Yide Du, and Ji Wang
(National University of Defense Technology, China)
Article Search Artifacts Available Article: ase26main-p1456-p doi:10.1145/3832783.3837496
ExcavatorFuzz: LLM-Guided Path-Difficulty-Driven Directed Greybox Fuzzing
Kaiyu Xie, Siyuan Li, Jiaqian Peng, Yun Yang, Yaowen Zheng, Kai Cheng, Jiayu Zhang, Shizhao Tian, Yubo Li, and Hongsong Zhu
(Institute of Information Engineering at Chinese Academy of Sciences, Beijing, China; Shandong University, China)
Article Search Article: ase26main-p1484-p doi:10.1145/3832783.3837497
GANADI: Uncovering C/C++ OSS Reuse Genealogies via Pivotal Function-Based Clustering to Enhance Supply Chain Security
Dongyeon Kim, Seunghoon Woo, and Heejo Lee
(Korea University, Republic of Korea)
Article Search Artifacts Available Article: ase26main-p1485-p doi:10.1145/3832783.3837498
OrthCoder: Balancing Security and Utility in Secure Code Generation via Orthogonal Adaptation
Menghan Tian, Youliang Yuan, Zhiqing Zhong, and Pinjia He
(Chinese University of Hong Kong, Shenzhen, China)
Article Search Artifacts Available Article: ase26main-p1510-p doi:10.1145/3832783.3837499
Zero-Knowledge VMs: Security and Usability in Practice
Jinan Jiang, Jinzhao Chu, Pengyu Xue, Xinghao Peng, Haoran Qin, and Xiapu Luo
(Hong Kong Polytechnic University, Hong Kong)
Article Search Article: ase26main-p1549-p doi:10.1145/3832783.3837500
Formal Verification-Integrated Reinforcement Learning for Automated ORM Schema Synthesis
Md Rashedul Hasan and Hamid Bagheri
(University of Nebraska-Lincoln, USA)
Article Search Artifacts Available Article: ase26main-p1565-p doi:10.1145/3832783.3837501
Repository-Aware Metamorphic Relation Generation for Augmented Reality Applications using Large Language Models
Dibyendu Brinto Bose, Jiawei Qin, and Chris Brown
(Virginia Tech, USA)
Article Search Article: ase26main-p1578-p doi:10.1145/3832783.3837502
Learning to Triage Vulnerability Reports from Program Analysis: An Empirical Study in Node.js
Ronghao Ni, Aidan Z.H. Yang, Min-Chien Hsu, Nuno Sabino, Limin Jia, Ruben Martins, Darion Cassel, and Kevin Cheang
(Carnegie Mellon University, USA; Athanor AI, USA; University of California at Berkeley, USA)
Article Search Article: ase26main-p1614-p doi:10.1145/3832783.3837503
Code Transformation Rule Synthesis using LLMs: Potential and Limits
Axel Allain, Aymeric Blot, Djamel Eddine Khelladi, and Mathieu Acher
(INSA, France; University of Rennes, France; Inria, France; CNRS, France; IRISA, France)
Article Search Artifacts Available Article: ase26main-p1631-p doi:10.1145/3832783.3837504
A Low-Cost Human-in-the-Loop Investigation of Toxicity on GitHub at Scale
Rahat Rizvi Rahman, Mia Mohammad Imran, and Kostadin Damevski
(Virginia Commonwealth University, USA; Missouri University of Science and Technology, USA)
Article Search Article: ase26main-p1633-p doi:10.1145/3832783.3837505
Generation of Web Apps with Agentic IDEs: An Empirical Assessment
Manuel Marceca, Maria Teresa Rossi, and Leonardo Mariani
(University of Milano-Bicocca, Italy; Gran Sasso Science Institute, Italy)
Article Search Article: ase26main-p1651-p doi:10.1145/3832783.3837506
Looks Good, but Does It Run? A Large-Scale Empirical Study of the Executability of Example Code in Model Cards
Simeng Yao, Jialin Zhao, Yang Zhang, Tun Li, Tao Wang, Changrong Xie, Zezhou Tang, and Yiwen Wu
(National University of Defense Technology, China)
Article Search Artifacts Available Article: ase26main-p1672-p doi:10.1145/3832783.3837507
From Thread to Pool: Modeling and Static Detection of Thread Pool Misuses in Java Programs
Baoquan Cui, Yucheng Qiu, Rui Han, Hang Gao, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, Beijing, China; Hangzhou Institute for Advanced Study at University of Chinese Academy of Sciences, Hangzhou, China; University of Chinese Academy of Sciences, China)
Article Search Article: ase26main-p1687-p doi:10.1145/3832783.3837508
HERO: Hypothesis-Centered Root-Cause Analysis for Microservice Incidents
Jiewei Lyu, Junquan Yi, Shu Liang, Pengfei Chen, and Long Pan
(Sun Yat-sen University, China; Tencent, China)
Article Search Article: ase26main-p1707-p doi:10.1145/3832783.3837509
Gray-Box Fuzzing in Local Space
Martin Jonáš, Jan Strejček, and Marek Trtík
(Masaryk University, Czech Republic)
Article Search Artifacts Available Article: ase26main-p1719-p doi:10.1145/3832783.3837510
Revisiting LLMs on New Feature Implementation in Real-World Software Development Practices
Jia Li, Tingxuan Huang, Tiankuo Zhao, Yiming Wang, Yiran Zhang, Anshun Hu, Kechi Zhang, Lecheng Wang, Zinan Sheng, Kui Liu, Ge Li, and Zhi Jin
(Wuhan University, China; Nanyang Technological University, Singapore; Peking University, China; Huawei Technologies, China)
Article Search Article: ase26main-p1768-p doi:10.1145/3832783.3837511
Self-Discovering Security Oracles: Meta-learning Vulnerability Detection Strategies through Adversarial Self-Play
Md Rashedul Hasan and Hamid Bagheri
(University of Nebraska-Lincoln, USA)
Article Search Artifacts Available Article: ase26main-p1822-p doi:10.1145/3832783.3837512
S2CAgent: A Self-Learning Agent Knowledge Graph Framework for Software Supply Chain Analysis
Youfei Huang, Zhong Li, Minxue Pan, and Xuandong Li
(Nanjing University, China)
Article Search Article: ase26main-p1823-p doi:10.1145/3832783.3837513
ArkEval: Benchmarking and Evaluating Automated Code Repair for ArkTS
Bang Xie, Senjian Zhang, Zhiyuan Peng, Wei Chen, Xin Yin, Chenhao Ying, and Yuan Luo
(Shanghai Jiao Tong University, China; Zhejiang University, China)
Article Search Article: ase26main-p1862-p doi:10.1145/3832783.3837514
From Vibe to Spec: An Empirical Study to Demystify Specifications in Code Generation
Ruirui He, Hanqing Lu, Lezhi Ma, Kai Ye, Qiong Wu, Shangqing Liu, Lei Bu, and Xuandong Li
(Nanjing University, China)
Article Search Article: ase26main-p1876-p doi:10.1145/3832783.3837515
Instruction Alignment for Binary Code Representation Learning
Huaijin Wang and Shuai Wang
(Shandong University, China; Hong Kong University of Science and Technology, Hong Kong)
Article Search Article: ase26main-p1967-p doi:10.1145/3832783.3837516
Formula Completion Suggestions for Alloy Models with Selection Guidance
Mohammad Nurullah Patwary and Allison Sullivan
(University of Texas at Arlington, USA)
Article Search Article: ase26main-p1981-p doi:10.1145/3832783.3837517
COBug: A Bug Localization Pipeline for COBOL: Does It Work? An Exploratory Study
Kavyasri Gajula, Phanindra Kodela, and Sridhar Chimalakonda
(Indian Institute of Technology Tirupati, India)
Article Search Article: ase26main-p1990-p doi:10.1145/3832783.3837518
Accurate and Low-Cost Residual Risk Assessment via Sampled Profiling and Structure-Aware Coverage Amplification
Seongmin Lee, Işıl Özgü, Marcel Böhme, and Miryung Kim
(University of California at Los Angeles, USA; MPI-SP, Germany)
Article Search Article: ase26main-p2006-p doi:10.1145/3832783.3837519
SPSYN: Synthesizing DeFi Price-Manipulation Exploits via Semantic Recovery and State-Guided Search
Bosi Zhang, Ningyu He, Guangdong Bai, and Haoyu Wang
(Huazhong University of Science and Technology, China; Hong Kong Polytechnic University, Hong Kong; City University of Hong Kong, Hong Kong)
Article Search Article: ase26main-p2062-p doi:10.1145/3832783.3837520
To Think or Not to Think: Evaluating LLM Reasoning and Agents in Vulnerability Detection
Hua Beng Tan, Ratnadira Widyasari, Merve Astekin, Arda Goknil, Hasan Sözer, Yan Naing Tun, Erik Johannes Husom, Lwin Khin Shar, and Lingxiao Jiang
(Singapore Management University, Singapore; SINTEF, Norway; Ozyegin University, Türkiye)
Article Search Article: ase26main-p2084-p doi:10.1145/3832783.3837521
Demystifying Solana Bots: From GitHub Blueprints to On-Chain Fingerprints
Xiaoye Zheng, Yujing Chen, Minghao Wu, David Lo, Difan Xie, Daoyuan Wu, Xiaohu Yang, and Zhiyuan Wan
(Zhejiang University, China; Singapore Management University, Singapore; Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, China; Lingnan University, Hong Kong)
Article Search Article: ase26main-p2100-p doi:10.1145/3832783.3837522
CLEAR: Causal Context-Based Agentic Reasoning for Vulnerability Detection
Sungju Yun, Sijune Hwang, Yeonjoon Lee, Kyungtae Kang, and Sungbin Park
(Hanyang University, Republic of Korea)
Article Search Article: ase26main-p2153-p doi:10.1145/3832783.3837523
Large Language Model Enabled Symbolic Execution for Automated Functional Analysis
Meixi Liu, Zhenbang Chen, Xudong Wang, Ziran He, Jiachen Gu, Minghui Chen, Lei Wang, and Wei Dong
(National University of Defense Technology, China)
Article Search Artifacts Available Article: ase26main-p2155-p doi:10.1145/3832783.3837524
Structure-Guided Semantic Deobfuscation of Android Identifiers
Mingyang Chen, Zhentao Xie, Yaqi Gao, Shuang Li, and Wenrui Diao
(Shandong University, China)
Article Search Article: ase26main-p2252-p doi:10.1145/3832783.3837525
Orbis: Guiding Symbolic Execution Techniques to Maximize Option-Related Branch Coverage
Minjong Kim, Sungjae Hwang, and Sooyoung Cha
(Sungkyunkwan University, Republic of Korea)
Article Search Article: ase26main-p2260-p doi:10.1145/3832783.3837526
MultiFixer: A Coordinator-Proposer Based Multi-agent Framework for Fixing Multi-hunk Bugs
Haichuan Hu, Chunrong Fang, Ye Shang, Jiawei Liu, Weifeng Sun, Guoqing Xie, Chenxing Zhong, and Quanjun Zhang
(Nanjing University of Science and Technology, China; Nanjing University, China; Singapore Management University, Singapore)
Article Search Article: ase26main-p2372-p doi:10.1145/3832783.3837527
Mining Tactics for Automated Theorem Proving
Jian Fang, Yixun Yao, and Yingfei Xiong
(Peking University, China)
Article Search Article: ase26main-p2413-p doi:10.1145/3832783.3837528
Leveraging System-Level Observations to Inform Bayesian Learning of Model Parameters for Quantitative Verification
Simos Gerasimou and Xingyu Zhao
(Cyprus University of Technology, Cyprus; Wuhan University, China)
Article Search Article: ase26main-p2427-p doi:10.1145/3832783.3837529
Generating Loop Invariants for Deductive Verification using Iterator Profiles
Keisuke Nishimura, Jean-Pierre Lozi, and Julia Lawall
(Inria, France)
Article Search Article: ase26main-p2432-p doi:10.1145/3832783.3837530
RustGTC: Constraint-Guided Test Generation for Rust APIs via Comment Analysis and Code Context
Yichi Zhang, Jinhao Huang, and Yang Feng
(Peking University, China; Institute of Software at Chinese Academy of Sciences, China; Nanjing University, China)
Article Search Article: ase26main-p2466-p doi:10.1145/3832783.3837531
HyBinMAS: LLM-Powered Hybrid Analysis for Function Name Recovery of Stripped Binaries
Chenxi Wang, Lei Xu, Xincheng He, Gaozhan Yu, and Ye Wang
(Nanjing University, Nanjing, China; Jiangnan University, China; Southeast University, China)
Article Search Article: ase26main-p2478-p doi:10.1145/3832783.3837532
Beyond Syntactic Differencing: Semantic-Aware Scheduling for Cross-Configuration Incremental Builds
Xiaolong Dai, Shanshan Li, Jun Lyu, and Xintao Niu
(Nanjing University, China)
Article Search Artifacts Available Article: ase26main-p2497-p doi:10.1145/3832783.3837533
Probe to Generate: Program Variant-Guided Test Augmentation for Repository-Level Repair Benchmarks
Chenglin Li, Yisen Xu, Zehao Wang, Shin Hwei Tan, and Tse-Hsun (Peter) Chen
(Concordia University, Canada)
Article Search Article: ase26main-p2532-p doi:10.1145/3832783.3837534
Safeguarding LLM Agents from Misalignment through Provenance Analysis
Yining She, Yiliang Liang, and Eunsuk Kang
(Carnegie Mellon University, USA)
Article Search Article: ase26main-p2533-p doi:10.1145/3832783.3837535
PropGen: Automated Property Generation for Property-Based Testing of Mobile Apps
Yiheng Xiong, Shiwen Song, Bo Ma, Ting Su, and Xiaofei Xie
(Singapore Management University, Singapore; East China Normal University, China)
Article Search Article: ase26main-p2547-p doi:10.1145/3832783.3837536
From Function to Repository: Towards Understanding and an Agentic Approach for Repo-Level Directed Input Generation
Haoyu Wang, Ming Wen, Haoran Yan, Jiayi Huang, Xuanhua Shi, and Hai Jin
(Huazhong University of Science and Technology, China)
Article Search Article: ase26main-p2631-p doi:10.1145/3832783.3837537
A Comprehensive Evaluation of Code Language Models for Security Patch Detection
Nils Loose, Joseph Bienhüls, Kristoffer Hempel, Felix Mächtle, and Thomas Eisenbarth
(University of Lübeck, Germany)
Article Search Article: ase26main-p2677-p doi:10.1145/3832783.3837538
Exact-IaC: Execution-Driven Exact Knowledge Injection for Reliable IaC Synthesis
Hua Ge and Minxue Pan
(Nanjing University, China)
Article Search Artifacts Available Article: ase26main-p2695-p doi:10.1145/3832783.3837539
TrackTest: Trajectory Generation and Prioritization for Testing Multiple Object Tracking System
Xinyu Gao, Haoxin Chen, Shuoxiao Zhang, Enyi Tang, Hengrui Xu, Haoxiang Tian, Minghui Wei, and An Guo
(Nanjing University, China; Nanyang Technological University, Singapore; Hong Kong Polytechnic University, China)
Article Search Article: ase26main-p2727-p doi:10.1145/3832783.3837540
PELSE: Asymmetric-Evidence-Guided MCU Peripheral Model Synthesis
Guohao Wu, Chunlin Wang, Rui Yao, Feng Hong, Hongliang Liang, and Qiuping Yi
(Beijing University of Posts and Telecommunications, China; Fudan University, China; Beijing Institute of Computer Technology and Applications, China)
Article Search Artifacts Available Article: ase26main-p2735-p doi:10.1145/3832783.3837541
Benchmarking Automated Security Patch Backporting: How Far Are We?
Jincheng Yang, Yulong Fu, Chengwei Liu, Lyuye Zhang, Fangyuan Zhang, Bingyang Ren, Yang Liu, and Hui Li
(Xidian University, China; Nankai University, China; Nanyang Technological University, Singapore)
Article Search Article: ase26main-p2788-p doi:10.1145/3832783.3837542
When Knowledge Changes: Metamorphic Testing of RAG Systems with Mutations
Jinhan Kim, Samuele Pasini, and Paolo Tonella
(USI Lugano, Switzerland)
Article Search Article: ase26main-p2811-p doi:10.1145/3832783.3837543
Testing Static Analyzers via Semantic-Preserving Mutators Learned from Real-World Refactoring Practice
Meilin Li, Kaixuan Li, Zifan Xie, Shiyu Qiu, Ming Wen, Maolin Sun, and Hongyu Zhang
(Chongqing University, China; Nanyang Technological University, Singapore; Huazhong University of Science and Technology, China; Nanjing University, China)
Article Search Article: ase26main-p2906-p doi:10.1145/3832783.3837544
ReSEDA: Automatic and Precise Program-Level ReDoS Triage via Interprocedural Taint Analysis and Agentic Exploit Generation
Rongchen Li, Weihao Su, Chengyao Peng, Hong Huang, Haiming Chen, and Guiyi He
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
Article Search Article: ase26main-p2923-p doi:10.1145/3832783.3837545
A Few Pages of Markdown: Committed AI Configuration and Lower Quality Cost after Coding-Agent Adoption
Yegor Denisov-Blanch, Shyam Agarwal, Pavel Azaletskiy, Hao He, Rylan Schaeffer, Brando Miranda, Bogdan Vasilescu, and Sanmi Koyejo
(Stanford University, USA; Carnegie Mellon University, USA; Grid Dynamics, USA)
Article Search Article: ase26main-p2970-p doi:10.1145/3832783.3837546
Perception, Reasoning, and Action: A ReAct-Based Vulnerability Detection Framework with Repository-Level Reasoning
Xin-Cheng Wen, Hanyue Luo, Cuiyun Gao, Hao Zhu, Yang Xiao, and Ge Li
(Harbin Institute of Technology, Shenzhen, China; Peking University, China; Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
Article Search Article: ase26main-p3189-p doi:10.1145/3832783.3837547
TDiFf: Detecting Bugs in DataFrame Systems via Transferred DBMS Test Cases
Jiaxin Hu, Shaowei Chen, and Rongxin Wu
(Xiamen University, China; Fujian Agriculture and Forestry University, China)
Article Search Article: ase26main-p3190-p doi:10.1145/3832783.3837548
MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from Language Specification
Jungwoong Kim, Youngmin Cho, and Jihyeok Park
(Korea University, Republic of Korea)
Article Search Artifacts Available Article: ase26main-p3249-p doi:10.1145/3832783.3837549
IcFuzz: Fuzzing Isaac Sim with Semantic Stage Guidance and Multi-level Mutation
Zhixiang Chen, Zhuangbin Chen, Ruoxi Jia, Zeqin Liao, Wei Li, Jinyang Liu, and Zibin Zheng
(Sun Yat-sen University, China; Nanyang Technological University, Singapore; Chinese University of Hong Kong, Hong Kong)
Article Search Article: ase26main-p3261-p doi:10.1145/3832783.3837550
How Well Do LLMs Generate Taxonomies in the SE Domain? A Multi-perspective Evaluation Framework
Sota Nakashima, Yuta Ishimoto, Masanari Kondo, Tao Xiao, and Yasutaka Kamei
(Kyushu University, Japan)
Article Search Article: ase26main-p3263-p doi:10.1145/3832783.3837551
Implicit, Yet Impactful: Understanding Hidden Dependencies in Java Projects
Lyuye Zhang, Chengwei Liu, Fangyuan Zhang, Yiran Zhang, Yuan Zhou, and Yang Liu
(Nanyang Technological University, Singapore; Nankai University, China; Zhejiang Sci-Tech University, China)
Article Search Article: ase26main-p3524-p doi:10.1145/3832783.3837552
Piece by Piece: Automating Combination Interaction GUI Testing via Planning and Dual Memory
Zhe Liu, Oujin Wang, Junjie Wang, Chunyang Chen, Mengzhuo Chen, Boyu Wu, Yuekai Huang, and Qing Wang
(Institute of Software at Chinese Academy of Sciences, China; Tsinghua University, China; TU Munich, Germany; University of Chinese Academy of Sciences, Beijing, China)
Article Search Article: ase26main-p3565-p doi:10.1145/3832783.3837553
The CodeInverter Suite: Structure- and Data-Aware Binary Decompilation with Efficient LLMs
Peipei Liu, Jian Sun, Rongkang Sun, Li Chen, Zhaoteng Yan, Xiaoling Zhang, Dawei Wang, Dapeng Sun, Peizheng Zhang, and Dan Li
(Zhongguancun Laboratory, China; Tsinghua University, China)
Article Search Article: ase26main-p3581-p doi:10.1145/3832783.3837554
Evaluating Inference-Time Defenses against Package Hallucination in LLM-Generated Code
Alberick Euraste Djire, Iyiola E. Olatunji, Melissa Tessa, Earl T. Barr, Jacques Klein, and Tegawendé F. Bissyandé
(University of Luxembourg, Luxembourg; University College London, UK)
Article Search Article: ase26main-p3592-p doi:10.1145/3832783.3837555
Post-hoc Attention Steering of Large Language Models for Robust Code Understanding under Obfuscation
Xiaokai Rong, Aashish Yadavally, and Tien N. Nguyen
(University of Texas at Dallas, USA; University of Central Florida, USA)
Article Search Article: ase26main-p3738-p doi:10.1145/3832783.3837556
PAIChecker: Uncovering and Checking PR-Issue Misalignment in SWE-Bench-Like Benchmarks
Manyi Wang, Junjielong Xu, and Pinjia He
(Chinese University of Hong Kong, Shenzhen, China)
Article Search Article: ase26main-p3982-p doi:10.1145/3832783.3837557
Can Large Language Models Decompose User Stories into Tasks? Exploring the Role of Prompting Strategies and Models
Delina Ly, Fatma Başak Aydemir, and Fabiano Dalpiaz
(VX Company, Netherlands; Utrecht University, Netherlands)
Article Search Artifacts Available Article: ase26main-p4215-p doi:10.1145/3832783.3837558
Certified Program Synthesis with a Multi-modal Verifier
Yueyang Feng, Dipesh Kafle, Vladimir Gladshtein, Vitaly Kurin, George Pîrlea, Qiyuan Zhao, Peter Müller, and Ilya Sergey
(National University of Singapore, Singapore; Neapolis University Pafos, Cyprus; ETH Zurich, Switzerland)
Article Search Artifacts Available Article: ase26main-p4427-p doi:10.1145/3832783.3837559

Tools and Datasets

Graphectory Viewer: A Tool for Process-Centric Analysis of Agentic Software Trajectories
Charlie Jyu, Shuyang Liu, and Reyhaneh Jabbarvand
(University of Illinois at Urbana-Champaign, USA)
Article Search Article: ase26tool-p2-p doi:10.1145/3832783.3834593
VidSumEval: A Web Platform and Benchmark for Evaluating AI-Generated Programming Video Summaries
Osama AlGhamdi, Ameer AlGhamdi, Faisal Alorabi, Mohammad D. Alahmadi, Abdulmalik Alzahrani, and Abdullah Almazroui
(University of Jeddah, Saudi Arabia)
Article Search Artifacts Available Article: ase26tool-p3-p doi:10.1145/3832783.3834594
BESSER-NN: Visual Neural Network Design and Automated Code Generation with the BESSER Low-Code Platform
Nadia Daoudi, Armen Sulejmani, and Jordi Cabot
(Luxembourg Institute of Science and Technology, Luxembourg; University of Luxembourg, Luxembourg)
Article Search Article: ase26tool-p5-p doi:10.1145/3832783.3834595
TraceGate: A Framework for Policy-Controlled Failure Evidence in LLM-Assisted Program Repair
Nicolas Schuler, Vincenzo Scotti, and Raffaela Mirandola
(KIT, Germany)
Article Search Artifacts Available Article: ase26tool-p6-p doi:10.1145/3832783.3834596
SAF: An AI-Agent-Ready and Browser-Accessible Static Analysis Framework for LLVM IR
Yuekang Li, Wei Li, Wei Song, Yi Liu, and Gelei Deng
(University of New South Wales, Australia; Griffith University, Australia; Nanyang Technological University, Singapore)
Article Search Article: ase26tool-p8-p doi:10.1145/3832783.3834597
TLCrafter: Peeling the Layers of Natural Language to Reveal Temporal Logic Specifications
Cheng Wen, Wenjun Ke, Xiao Liang, Zhi Ma, Xiaoyong Xue, Shengchao Qin, and Cong Tian
(Xidian University, China; Northwest University, China; Peking University, China)
Article Search Article: ase26tool-p13-p doi:10.1145/3832783.3834598
VidTutorAssistant: Automating Responses to Programming Tutorial Questions
Ahmad Tayeb, Sonia Haiduc, and Mohammad D. Alahmadi
(King Abdulaziz University, Saudi Arabia; Florida State University, USA; University of Jeddah, Saudi Arabia)
Article Search Article: ase26tool-p17-p doi:10.1145/3832783.3834599
ProofPulse: Interactive Proof Coverage Analysis for Dafny
Álvaro F. Silva, Ruben Martins, and Alexandra Mendes
(INESC TEC, Portugal; Universidade do Porto, Portugal; Carnegie Mellon University, USA)
Article Search Artifacts Available Article: ase26tool-p18-p doi:10.1145/3832783.3834600
DT-Drive: A Tool for Deterministic Replay-Based Testing and Debugging of Autonomous Driving Systems
Sanjeetha Pennada, Matthew Leach, Olek Osikowicz, and Donghwan Shin
(University of Sheffield, UK)
Article Search Article: ase26tool-p26-p doi:10.1145/3832783.3834601
FairLint-DL: An IDE-Native Tool for Fairness Debugging of Deep Learning Software
Archit Rathod and Saeid Tizpaz-Niari
(University of Illinois at Chicago, USA)
Article Search Artifacts Available Article: ase26tool-p28-p doi:10.1145/3832783.3834602
VerusSeek: Retrieval-Augmented LLM-Based Proof Synthesis for Rust Programs
Yuchen Zhang, Cheng Wen, Jialun Cao, Dugang Liu, Zhiwu Xu, Yuwei Liu, and Shengchao Qin
(Xidian University, China; Hong Kong University of Science and Technology, Hong Kong; Shenzhen University, China; Institute of Software at Chinese Academy of Sciences, China)
Article Search Article: ase26tool-p29-p doi:10.1145/3832783.3834603
xDECAF: An Extensible Data Flow Diagram Analysis Framework for Information Security
Benjamin Arp, Felix Schwickerath, Alexander Vogt, Tom Hüller, Nils Niehues, and Nicolas Boltz
(KIT, Germany)
Article Search Article: ase26tool-p34-p doi:10.1145/3832783.3834604
AISmellBench: A Reusable Benchmark of AI Code Smells in ML and LLM-Based Systems
Brahim Mahmoudi, Naouel Moha, Quentin Stiévenart, and Florent Avellaneda
(École de Technologie Supérieure de Montréal, Canada; Université du Québec à Montréal, Canada)
Article Search Artifacts Available Article: ase26tool-p35-p doi:10.1145/3832783.3834605
CppPerf: An Automated Pipeline and Dataset for Performance-Improving C++ Commits
Tommy Ho, Khashayar Etemadi, and Zhendong Su
(ETH Zurich, Switzerland)
Article Search Article: ase26tool-p37-p doi:10.1145/3832783.3834606
FlightRecorder: Tracing Fine-Grained Development with AI Assistants
Tobias Dick, Benedict Bliem, Kallistos Weis, Alisa Welter, and Sven Apel
(Saarland University, Germany)
Article Search Artifacts Available Article: ase26tool-p38-p doi:10.1145/3832783.3834607
ThreatCraft: Automated Attack Scenario Generation via Hybrid Rule-Based and LLM-Driven Reasoning
Dohee Kang, Jiwon Kwak, Geunwoo Baek, and Seungjoo Kim
(Korea University, Republic of Korea)
Article Search Artifacts Available Article: ase26tool-p39-p doi:10.1145/3832783.3834608
QUTest: A Native Testing Framework for Quantum Programs
José Campos
(University of Porto, Porto, Portugal; University of Lisbon, Lisbon, Portugal)
Article Search Artifacts Available Article: ase26tool-p42-p doi:10.1145/3832783.3834609
DafnyRAG: A Retrieval-Augmented and Verification-Driven Tool for Automated Repair of Dafny Code
Yanzhen Liu, Xu Lu, Bin Yu, Haoxiang Zhang, Chu Chen, and Meng Wang
(Xidian University, China; Qufu Normal University, China; Hebei University, China)
Article Search Artifacts Available Article: ase26tool-p44-p doi:10.1145/3832783.3834610
SmellCC: A Tool for Automated Code Smells Remediation
Xiaoting Zhang, Yujie Zhang, Zhipeng Gao, Xing Hu, and Xin Xia
(Zhejiang University, China; Shanghai Institute for Advanced Study of Zhejiang University, China)
Article Search Article: ase26tool-p47-p doi:10.1145/3832783.3834611
UIBenchKit: A Unified Toolkit for Design-to-Code Model Evaluation
Chinh T. Le, Trevor Yee Siang Ong, Jingyu Xiao, Yuxuan Wan, and Yintong Huo
(Singapore Management University, Singapore; Chinese University of Hong Kong, Hong Kong)
Article Search Artifacts Available Article: ase26tool-p53-p doi:10.1145/3832783.3834612
CAS2UML: A Handwritten Sketch-to-PlantUML Dataset for Class and Activity Diagrams
Simon Scholz and Mersedeh Sadeghi
(University of Cologne, Germany)
Article Search Article: ase26tool-p54-p doi:10.1145/3832783.3834613
The EVerest Dataset for Secure Software Engineering
Sophie Corallo, Debora Grupp, Dominik Fuchß, Jan Keim, Frederik Reiche, Tobias Hey, and Anne Koziolek
(KIT, Germany)
Article Search Artifacts Available Article: ase26tool-p56-p doi:10.1145/3832783.3834614
AIGen: Automating AI Bill of Materials Generation through Hybrid MLOps Integration
Federica Pepe, Daniele Bifolco, Costantino Martignetti, Aureliano D'Amici, Fabiano Izzo, Damian Andrew Tamburri, and Massimiliano Di Penta
(University of Sannio, Italy; Smart Shaped, Italy)
Article Search Article: ase26tool-p57-p doi:10.1145/3832783.3834615
TypeScript Repository Indexing for Code Agent Retrieval
Junsong Pu, Yichen Li, and Zhuangbin Chen
(Sun Yat-sen University, Zhuhai, China; Chinese University of Hong Kong, Hong Kong; Sun Yat-sen University, China)
Article Search Article: ase26tool-p59-p doi:10.1145/3832783.3834616
multiplex: A Modular LLM-Based Mutation Framework
Megan Maton, Gregory M. Kapfhammer, and Phil McMinn
(University of Sheffield, UK; Allegheny College, USA)
Article Search Article: ase26tool-p60-p doi:10.1145/3832783.3834617
ScratchLog+: Live Analytics of Learners’ Exercise Progress
Benedikt Fein and Gordon Fraser
(University of Passau, Germany)
Article Search Artifacts Available Article: ase26tool-p62-p doi:10.1145/3832783.3834618
NL2VBench: A Benchmark for End-to-End Natural-Language to Verifiable Rust Generation
Lianhe Hu, Cheng Wen, Dugang Liu, Zhiwu Xu, Zhuohua Li, Jie Su, Bin Yu, and Shengchao Qin
(Xidian University, China; Shenzhen University, China; Chinese University of Hong Kong, Hong Kong)
Article Search Artifacts Available Article: ase26tool-p66-p doi:10.1145/3832783.3834619
A Smart Assistant for Debugging
Steven P. Reiss and Mohamed Salem
(Brown University, USA; University of Pécs, Hungary)
Article Search Article: ase26tool-p71-p doi:10.1145/3832783.3834620
The ARDoCo Tool Landscape: REST API, TraceView, and TraceViz for Architecture Traceability
Jan Keim, Dominik Fuchß, Sophie Corallo, Tobias Hey, Julian Winter, and Kevin Feichtinger
(KIT, Germany)
Article Search Artifacts Available Article: ase26tool-p73-p doi:10.1145/3832783.3834621
FallibleUser: An Imperfect User Agent for Realistic Evaluation of Interactive AI Systems
Yaotian Yang, Zhi Jin, Dongming Jin, and Xiaohong Chen
(Beijing Forestry University, China; Peking University, China; East China Normal University, China)
Article Search Article: ase26tool-p74-p doi:10.1145/3832783.3834622
SplitCA: An Effective Tool for Generating 4-wise Covering Arrays for Large-Scale Highly Configurable Systems
Shuangyu Lyu, Ruizhi Shi, Yuechen Duan, Chunming Hu, and Chuan Luo
(Beihang University, China)
Article Search Artifacts Available Article: ase26tool-p76-p doi:10.1145/3832783.3834623
MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems
Wang Yi, Chengzi Huang, Behnam Khodabandeloo, and Duc Anh Nguyen
(Uppsala University, Sweden)
Article Search Article: ase26tool-p77-p doi:10.1145/3832783.3834624
MASSIV: A Hybrid RAG for Automated Defeater Extraction in Autonomous Driving Safety Cases
Tihomir Rohlinger, Daniel Ratiu, and Stefan Wagner
(University of Stuttgart, Germany; Cariad, Germany; TU Munich, Germany)
Article Search Artifacts Available Article: ase26tool-p79-p doi:10.1145/3832783.3834625
PITMuS: A Tool for Automated Bug Dataset Generation via Source-Level Mutant Reconstruction
Tasfia Tasnim and Soneya Binta Hossain
(University of Texas at Dallas, USA)
Article Search Article: ase26tool-p80-p doi:10.1145/3832783.3834626
StarFuse: LLM Guided Multimodal Interactive Theorem Proving
Sharvil Athaley, Samyak Singhania, Khushboo Agrawal, and Subhajit Roy
(IIT Kanpur, India)
Article Search Article: ase26tool-p81-p doi:10.1145/3832783.3834627
ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis
Junjie Hu, Cheng Wen, Bin Yu, Jialun Cao, Dugang Liu, Weidi Sun, Haokun Li, Shengchao Qin, and Cong Tian
(Xidian University, China; Hong Kong University of Science and Technology, Hong Kong; Shenzhen University, China; Peking University, China)
Article Search Article: ase26tool-p82-p doi:10.1145/3832783.3834628
DSpec2Test: Specification-Driven Test Generation in Dafny
Sofia Vieira Pinto, Álvaro F. Silva, João Pascoal Faria, and Alexandra Mendes
(INESC TEC, Portugal; Universidade do Porto, Portugal)
Article Search Artifacts Available Article: ase26tool-p85-p doi:10.1145/3832783.3834629
MergeSE: Post-Hoc Model Merging for Software Engineering Tasks without Retraining
Palash R. Roy, Banani Roy, Kevin A. Schneider, and Chanchal K. Roy
(University of Saskatchewan, Canada)
Article Search Artifacts Available Article: ase26tool-p86-p doi:10.1145/3832783.3834630
AIRBORNE: Augmented fIne-grained softwaRe Bill Of mateRials geNerator for stack ovErflow
Sabato Nocera, Massimiliano Di Penta, Simone Romano, and Giuseppe Scanniello
(University of Salerno, Italy; University of Sannio, Italy)
Article Search Article: ase26tool-p88-p doi:10.1145/3832783.3834631
LintCFG: DSL-Driven Linter Configuration Generation for Coding Standards
Yi Tang, Zejun Zhang, Zhenchang Xing, Minxue Pan, Tian Zhang, and Xuandong Li
(Nanjing University, China; CSIRO's Data61, Australia)
Article Search Article: ase26tool-p96-p doi:10.1145/3832783.3834632
InsightQL: A Unified Code Database for Fuzz Blocker Analysis
Wentao Gao, Renata Borovica-Gajic, Sang Kil Cha, Michael Fu, Tian Qiu, and Van-Thuan Pham
(University of Melbourne, Australia; KAIST, Republic of Korea)
Article Search Article: ase26tool-p98-p doi:10.1145/3832783.3834633
AgentSysFilter: A Multi-agent Analysis Approach for Scenario-Aware Syscall Limitation
Dongyang Zhan, Xingchen Yan, Zhaofeng Yu, Yangfan Guo, Kai Tan, and Langtong Zhang
(Harbin Institute of Technology, China; Macau University of Science and Technology, China)
Article Search Artifacts Available Article: ase26tool-p106-p doi:10.1145/3832783.3834634
AutoFLC: An LLM-Based Flowchart Generation Tool for Legacy Code Repository
Yixing Luo, Longxing Yang, Xiaofeng Li, Bin Gu, and Zhi Jin
(Beijing Institute of Control Engineering, China; Peking University, China)
Article Search Article: ase26tool-p107-p doi:10.1145/3832783.3834635
UCT: A Versatile Code Translation Framework Based on a Unified Intermediate Representation
Wangcai Li, Dongyan Wang, Zehong Yu, Yifan Cheng, Ning Ge, Chunming Hu, and Zhuo Su
(Beihang University, China; Renmin University of China, China; Tsinghua University, China; University of Electronic Science and Technology of China, China)
Article Search Article: ase26tool-p111-p doi:10.1145/3832783.3834636
Introducing Safe LLM-Agent Execution via Typed Tool Mediation and World-Effect Evaluation
Jun Zhou and Tao Jia
(Chongqing Normal University, China; Chongqing Electric Power College, China; Southwest University, China)
Article Search Article: ase26tool-p115-p doi:10.1145/3832783.3834637
ReproBreak: A Dataset of Reproducible Web Locator Breaks
Thiago Santos de Moura, Leon Adamietz, Samra Mehboob, and Yannic Noller
(Ruhr University Bochum, Germany)
Article Search Artifacts Available Article: ase26tool-p118-p doi:10.1145/3832783.3834638
Cam2Sim: Neural Scenario Reconstruction for Closed-Loop Autonomous Driving Simulation
Davide Jannussi, Stefano Carlo Lambertenghi, Constantin Carste, and Andrea Stocco
(Politecnico di Torino, Italy; TU Munich, Germany; fortiss, Germany)
Article Search Article: ase26tool-p120-p doi:10.1145/3832783.3834639
EnergyTrackr: A Modular Energy Regressions Detection Tool
François Bechet, Jérôme Maquoi, Luís Cruz, Benoît Vanderose, and Xavier Devroey
(University of Namur, Belgium; TU Delft, Netherlands)
Article Search Article: ase26tool-p125-p doi:10.1145/3832783.3834640
FlakeFighters: A Pytest Plugin to Detect Flaky Test Failures
Michael Foster, Owain Parry, Michael Hilton, Gregory M. Kapfhammer, and Phil McMinn
(University of Sheffield, UK; University of Edinburgh, UK; Carnegie Mellon University, USA; Allegheny College, USA)
Article Search Artifacts Available Article: ase26tool-p127-p doi:10.1145/3832783.3834641
UltraInstinctVR: A Model-Based Tool for Automated System Testing of VR Applications
Gerry Longfils, Maxime Cauz, Arnaud Blouin, and Xavier Devroey
(University of Namur, Belgium; INSA Rennes, France)
Article Search Article: ase26tool-p141-p doi:10.1145/3832783.3834642
Marv: An Interactive Tool for Visualising and Reviewing the Results of Mutation Analysis
Daniel Wells, Zalán Lévai, and Phil McMinn
(University of Sheffield, UK)
Article Search Article: ase26tool-p144-p doi:10.1145/3832783.3834643
GoLiSA: An Advanced Static Analysis Tool for Detecting Potential Risks and Vulnerabilities in Hyperledger Fabric Smart Contracts
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Fausto Spoto, and Agostino Cortesi
(Ca’ Foscari University of Venice, Italy; University of Parma, Italy; University of Verona, Italy)
Article Search Artifacts Available Article: ase26tool-p147-p doi:10.1145/3832783.3834644
Baseliner: A Plugin-Oriented, Hardware-Agnostic GPU Benchmarking Library
Côme Eyraud and Maxime Lamothe
(Polytechnique Montréal, Canada)
Article Search Article: ase26tool-p156-p doi:10.1145/3832783.3834645
FeatX: Editing Software by Editing Features for Repository-Level Code Evolution
Xutian Li, Yifeng Zhu, Xianlin Zhao, Yanzhen Zou, Lu Zhang, and Bing Xie
(Peking University, China)
Article Search Artifacts Available Article: ase26tool-p157-p doi:10.1145/3832783.3834646
IoTutorMine: A Tool for Mining Hardware Bills of Materials from IoT Tutorial Videos
Abdullah A. Alahmadi, Ahmed O. Bahaj, and Mohammad D. Alahmadi
(University of Jeddah, Saudi Arabia)
Article Search Article: ase26tool-p160-p doi:10.1145/3832783.3834647
E-CoDrive: A Co-Simulation Framework for Testing Energy-Critical Driving Scenarios
Manfredi Napolitano, Alessandra Somma, Alessio Gambi, Andrea Stocco, and Nicola Mazzocca
(University of Naples Federico II, Italy; Austrian Institute of Technology, Austria; Italian Institute of AI for Industry, Italy; TU Munich, Germany; fortiss, Germany)
Article Search Article: ase26tool-p162-p doi:10.1145/3832783.3834648
JavaVulBench: A Java Vulnerability Benchmark with Realistic Splits, a Unified Multi-backend Harness, and a Leakage-Aware Evaluation Mode
Norbert Sándor Szolnoki and Gábor Antal
(University of Szeged, Hungary)
Article Search Article: ase26tool-p190-p doi:10.1145/3832783.3834649
OpenStack-RCA-Bench: A Reproducible IaaS Root Cause Analysis Dataset
Igor Bogomolov and Oleg Borisenko
(Trusted AI Research Center, RAS, Russian Federation; System Solutions, Russian Federation)
Article Search Artifacts Available Article: ase26tool-p197-p doi:10.1145/3832783.3834650
Cochise: A Reference Harness for Autonomous Penetration Testing
Andreas Happe and Jürgen Cito
(TU Wien, Austria)
Article Search Artifacts Available Article: ase26tool-p208-p doi:10.1145/3832783.3834651
Agent-HAnS: Maintaining Feature and Code Traceability in Agentic Development
Johan Martinson, Jacob Bengtsson, Moltas Hultin, Kevin Hermann, and Thorsten Berger
(Ruhr University Bochum, Germany; University of Gothenburg and Chalmers University of Technology, Sweden)
Article Search Article: ase26tool-p225-p doi:10.1145/3832783.3834652
TORI: A Tool for Oracle Quality Assessment
Facundo Molina, Nazareno Aguirre, and Alessandra Gorla
(Complutense University of Madrid, Spain; University of Rio Cuarto, Argentina; CONICET, Argentina; Guangdong Technion-Israel Institute of Technology, China; IMDEA Software Institute, Spain)
Article Search Article: ase26tool-p238-p doi:10.1145/3832783.3834653
RELY-SE: A Dashboard for Measuring Operational Reliability of AI Coding Agents
Akilesh P, Shivadharshan S, Sridhar Chimalakonda, Vibhu Saujanya Sharma, and Vikrant Kaulgud
(IIT Tirupati, India; Accenture Labs, India)
Article Search Article: ase26tool-p279-p doi:10.1145/3832783.3834654
AIALIB: A Threat Library for AI-Generated Code
Ali Aljaberi, Jian Kang, and Youcheng Sun
(MBZUAI, United Arab Emirates)
Article Search Article: ase26tool-p295-p doi:10.1145/3832783.3834655

Industry Showcases

DragonCrawl: A Generative, Intent-Based Framework for Scalable Mobile End-to-End Testing
Sowjanya Puligadda, Mengdie Zhang, Ali Zamani, Dhruva Dixith Kurra, Eric Chen, and Juan Marcano
(Uber Technologies, USA)
Article Search Article: ase26ind-p2-p doi:10.1145/3832783.3834455
Bridging Stakeholder and Product Requirements: An Empirical Study of Requirement Engineering in the Automotive Industry
Zixu Wang, Shengcheng Yu, Zhenchang Xing, Tobias Wenzel, and Chunyang Chen
(TU Munich, Germany; CSIRO's Data61, Australia; Infineon Technologies, Germany)
Article Search Article: ase26ind-p9-p doi:10.1145/3832783.3834456
MicroWeaver: A Constraint-Guided Structure–Semantic Aware Approach to Automated Microservice Decomposition
Huitian Xue, Kairui Zhang, Chenxi Zhang, Zheng Li, Chuan Luo, Yilong Yang, Tianyu Wo, Chunming Hu, Yanliang Li, Yang Zhou, Penghao Zhang, Tiezi Zhang, and Renyu Yang
(Beihang University, China; Xidian University, China; Queen's University Belfast, UK; Independent Researcher, China; Kuaishou, China)
Article Search Article: ase26ind-p19-p doi:10.1145/3832783.3834457
When Elo Lies: Hidden Biases in Codeforces-Based Evaluation of Large Language Models in Practice
Shenyu Zheng, Ximing Dong, Xiaoshuang Liu, Chun Yong Chong, Gustavo Oliva, Dayi Lin, Boyuan Chen, Shaowei Wang, and Ahmed E. Hassan
(Huawei Canada, Canada; Huawei, China; Monash University, Malaysia; Queen's University, Canada; University of Manitoba, Canada)
Article Search Article: ase26ind-p20-p doi:10.1145/3832783.3834458
Maintaining Control States for Initialization-Aware GRPO in Industrial LLM Workflows
Chen Liu, Zhenzhao Yuan, Fengyuan Fan, Limei Che, Qiao Qian, Qingyuan Liang, Zeyu Sun, and Lu Zhang
(Peking University, China; Tencent, China; Institute of Software at Chinese Academy of Sciences, China)
Article Search Article: ase26ind-p22-p doi:10.1145/3832783.3834459
FPSieve: LLM-Powered Cascade for Filtering False Positives in OS Migration Testing
Jie Dong, Ying Fu, Chao Hu, Yuhang Chen, Qi Xiao, and Heyuan Shi
(Central South University, China; Tsinghua University, China; Hunan Congmao Technology, China)
Article Search Article: ase26ind-p24-p doi:10.1145/3832783.3834460
Disassembly-Augmented Root Cause Analysis for C/C++ Segmentation Faults in SAP HANA
Jihoon Jung, Chansong You, Jingun Hong, Thomas Bach, and Gabin An
(SAP Labs Korea, Republic of Korea; SAP, Germany; Korea University, Republic of Korea)
Article Search Artifacts Available Article: ase26ind-p32-p doi:10.1145/3832783.3834461
Characterizing and Mitigating Productivity Loss in Large-Scale Model Training: An Empirical Study
Dinghao Xue, Yanxiang Chen, Junhong Liu, Yepeng Zhang, Guangsen Ni, Menghao Zhang, Tianyu Wo, Zheng Zheng, Chunming Hu, Jin Ouyang, and Renyu Yang
(Beihang University, China; Kuaishou, China; Unaffiliated, China)
Article Search Article: ase26ind-p34-p doi:10.1145/3832783.3834462
DBRepro: Automated Database Synthesis via a Hybrid Constraint-Solving Approach for Reproducing Slow Queries
Zhaoyang Zhang, Shuang Liu, Dengfeng Xu, Wei Lu, Jianquan Leng, Sheng Du, and Xiaoyong Du
(Renmin University of China, China; China Electronics Technology Kingbase (Beijing) Technologies, China)
Article Search Article: ase26ind-p50-p doi:10.1145/3832783.3834463
WiseSword: An Automated Computation Graph Partitioning Tool for Industrial DLRM Deployment on Ascend NPUs
Ke Cheng, Yuhan Zhang, Bo Pan, Jiawei Zhu, Qidong Zhang, Yuting Yan, Sheng Zhang, Yibo Jin, and Zhengyong Zhang
(Nanjing University, China; Huawei Technologies, China)
Article Search Article: ase26ind-p52-p doi:10.1145/3832783.3834464
Airdrop Scams in Practice: An Industry-Oriented Taxonomy, Benchmark, and Tool Audit
Ningyu He, Xiaohui Hu, and Haoyu Wang
(Hong Kong Polytechnic University, Hong Kong; Huazhong University of Science and Technology, China)
Article Search Article: ase26ind-p54-p doi:10.1145/3832783.3834465
ABACI: Automated Downstream Bug Resolution via Semantic-Aware Bisection and Convergent Backporting
Runzhe Wang, Yuanhang Zhou, Qingming Su, Yong Yang, Xiaohai Shi, and Tao Ma
(Alibaba Cloud Computing, China)
Article Search Article: ase26ind-p55-p doi:10.1145/3832783.3834466
KRCA: An Efficient Root Cause Analysis System in Hyper-scale Microservice Systems via Agentic AI
Jiamin Jiang, Jingfei Feng, Yu Luo, Qingliang Zhang, Yongqian Sun, Wenwei Gu, Shenglin Zhang, Tianyu Cui, Yao Wu, Jielong Huang, Nan Qi, and Dan Pei
(Nankai University, China; Kuaishou Technology, China; Tsinghua University, China)
Article Search Article: ase26ind-p61-p doi:10.1145/3832783.3834468
Understanding the Performance-Effectiveness Trade-Offs of AddressSanitizer in Real-World Programs: An Empirical Study
Jiaxin Xi, Cheng Wen, Zhiwei Lin, Yuandao Cai, Jie Su, Bin Yu, Zhuohua Li, and Shengchao Qin
(Xidian University, China; Hong Kong University of Science and Technology, China; Chinese University of Hong Kong, China)
Article Search Article: ase26ind-p63-p doi:10.1145/3832783.3834469
Debug2Fix: Can Interactive Debugging Help Coding Agents Fix More Bugs?
Spandan Garg and Yufan Huang
(Microsoft Corporation, USA)
Article Search Article: ase26ind-p65-p doi:10.1145/3832783.3834471
ActionNex: A Production-Grade System for Next-Best-Action Recommendation in Cloud Outage Management
Zhenfeng Lin, Haoji Hu, Ming Hao, Xuchao Zhang, Yudi He, Oleg Kulygin, Hatay Tuna, Chetan Bansal, Ze Li, Murali Chintalapati, Sheila Jiang, Salman Zafar, Angie Anderson, and Ryan Zhang
(Microsoft, USA; Microsoft, UK)
Article Search Article: ase26ind-p70-p doi:10.1145/3832783.3834472
Expanding Guard Reach: Online Learning-Driven Incremental Kernel Panic Diagnosis
Yicheng Sui, Xiaotian Wang, Hailin Zhang, Shenglin Zhang, Binhong Jiang, Heng Zheng, Yongqian Sun, Yuzhi Zhang, Yang Zhang, Xin Wu, Liangyan Peng, Linlin Han, Feng Wang, Xiaozhou Liu, and Yu Zhang
(Nankai University, China; ByteDance, China)
Article Search Artifacts Available Article: ase26ind-p78-p doi:10.1145/3832783.3834474
An Empirical Study of Security Risks in the Android Push Notification Ecosystem
Shilong Hu, Zikan Dong, Chao Wang, Tianming Liu, and Haoyu Wang
(Huazhong University of Science and Technology, China)
Article Search Article: ase26ind-p82-p doi:10.1145/3832783.3834475
eARCO: Efficient Automated Root Cause Analysis with Prompt Optimization
Drishti Goel, Raghav Magazine, Supriyo Ghosh, Akshay Nambi, Prathamesh Deshpande, Xuchao Zhang, Chetan Bansal, and Saravan Rajmohan
(University of Illinois at Urbana-Champaign, USA; Microsoft Research, India; Inception, United Arab Emirates; Microsoft, India; Microsoft Research, USA; Microsoft, USA; Microsoft 365, USA)
Article Search Article: ase26ind-p86-p doi:10.1145/3832783.3834477
Prompt Coach: An Empirical Evaluation of an Agentic Tutor for Learning Prompt Engineering in Software Development
Rohit Mehra, Kapil Singi, Vikrant Kaulgud, Vibhu Saujanya Sharma, Swapnajeet Gon Choudhury, Swati Sharma, Adam P. Burden, and Majd Sakr
(Accenture Labs, India; Accenture, India; Accenture, USA)
Article Search Article: ase26ind-p91-p doi:10.1145/3832783.3834478
OpsAgent: An Evolving Multi-agent System for Incident Management in Microservices
Yu Luo, Jiamin Jiang, Jingfei Feng, Lei Tao, Qingliang Zhang, Xidao Wen, Yongqian Sun, Shenglin Zhang, Tong Liu, Wenjie Zhang, and Dan Pei
(Nankai University, China; Alibaba Cloud, China; Lenovo, China; Tsinghua University, China)
Article Search Article: ase26ind-p92-p doi:10.1145/3832783.3834479
Towards Reliable Alarm Flood Reduction in Data Center via Grammar-Guided Verifiable LLM Reasoning
Jiacheng Liu, Guocong Lin, Jichao Yan, Huiwen Zheng, Hongli Ma, Changhao Zhou, Zhiyi Yu, Yuanchun Li, Yunxin Liu, Ding Li, Tao Xie, and Yao Guo
(Peking University, China; Tsinghua University, China; GDS Holdings, China)
Article Search Artifacts Available Article: ase26ind-p96-p doi:10.1145/3832783.3834481
Test Suite Generation for Simulink Models: An Experience with Reactis
Andrea Bombarda, Nunzio Marco Bisceglia, Marco Saini, Federico Formica, Angelo Gargantini, and Claudio Menghi
(University of Bergamo, Italy; Gran Sasso Science Institute, Italy; McMaster University, Canada)
Article Search Article: ase26ind-p98-p doi:10.1145/3832783.3834483
Beyond Single-Level PGO: Understanding and Harnessing Cross-Level Optimization Effects in Industrial Systems
Dong Liu, Yifan Cheng, Yunfeng Cui, Ting Chen, Jiachi Chen, Zhihong Xue, Chong Hu, and Shengyu Cheng
(ZTE Corporation, China; University of Electronic Science and Technology of China, China; Zhejiang University, China)
Article Search Article: ase26ind-p100-p doi:10.1145/3832783.3834484
DCAS: Decoupling CLI Agent Scaffolding to Internalize Planning across Scaffolds
Kishanthan Thangarajah, Boyuan Chen, and Ahmed E. Hassan
(Huawei Canada, Canada; Queen's University, Canada)
Article Search Article: ase26ind-p106-p doi:10.1145/3832783.3834485
CAPMix: Robust KPI Anomaly Detection for AIOps in Noisy and Dynamic Environments
Xudong Mou, Rui Wang, Tiejun Wang, Zexin Wu, Fangda Guo, Jie Sun, Shiru Chen, Penghao Zhang, Tiezi Zhang, Tianyu Wo, Hao Peng, Chunming Hu, Xudong Liu, and Renyu Yang
(Beihang University, China; Chinese Academy of Sciences, China; Inspur, China; Kuaishou, China)
Article Search Article: ase26ind-p110-p doi:10.1145/3832783.3834487
ControlsDSL: A Language for Verifiable Cloud Configuration Controls
Miyriee Alair, Shrutarshi Basu, Sean Cai, Loris D'Antoni, Julio Delgado Jr., Antonio Filieri, Andrew Gacek, Anand Goyal, Sebastiaan Joosten, Varad Panch, Sorawee Porncharoenwase, Vishwanath Raman, Niloofar Razavi, Neha Rungta, Mike Schliep, Preethi Sekaran, and Chase Johnson
(Amazon Web Services, USA; University of Minnesota, USA)
Article Search Article: ase26ind-p111-p doi:10.1145/3832783.3834488
Why Is This on My Bill? Documentation-Grounded Rule Learning for Itemized Bill Explanation
John Konstantinides, Jason Titus Lefever, Muhammed Numair Mansur, Martin Schaef, and Willem Visser
(Amazon Web Services, USA; Drexel University, USA; Amazon Web Services, Germany)
Article Search Article: ase26ind-p112-p doi:10.1145/3832783.3834490
Requirements-Augmented Generation for Trustworthy Acceptance Testing of LLM-Based Software
Fanyu Wang, Chetan Arora, Zhenping Xie, Yonghui Liu, Kla Tantithamthavorn, Aldeida Aleti, and Siwei Jiang
(Monash University, Australia; Jiangnan University, China; Australian National University, Australia; Yiwuyishi Intelligent Technology (Nantong), China; Tianjin University, China)
Article Search Article: ase26ind-p113-p doi:10.1145/3832783.3834491
Debugging the Debuggers: Failure-Anchored Structured Recovery for Software Engineering Agents
Chenyu Zhao, Shenglin Zhang, Yihang Lin, Wenwei Gu, Zhimin Chen, Yongqian Sun, Dan Pei, Chetan Bansal, Saravan Rajmohan, and Minghua Ma
(Nankai University, China; Tsinghua University, China; Microsoft, USA; Microsoft 365, USA)
Article Search Article: ase26ind-p114-p doi:10.1145/3832783.3834492
Automating Low-Risk Code Review at Meta: RADAR, Risk Calibration, and Review Efficiency
Audris Mockus, Peter C. Rigby, and Nachiappan Nagappan
(University of Tennessee, USA; Meta, USA; Concordia University, Canada)
Article Search Article: ase26ind-p116-p doi:10.1145/3832783.3834493
Understanding Real-World Ordering-Related Concurrency Bugs under Weak-Memory and Cross-Architecture Settings
Shaohao Wang, Cheng Wen, Yuandao Cai, Shengchao Qin, Jie Su, Mengda He, Xiaoxue Ma, and Cong Tian
(Xidian University, China; Hong Kong University of Science and Technology, China; Fermat Labs, China)
Article Search Article: ase26ind-p129-p doi:10.1145/3832783.3834494
CADscanner: Automating Malware Analysis for Compiled AutoCAD Scripts in Engineering Environments
Luxing Yin, Chang Sun, Chenghui Liang, Chu Wang, Shufu Zhi, Tianshi Zheng, Ziang Liu, Xin Liu, and Qingguo Zhou
(Lanzhou University, China; Sangfor Technologies, China)
Article Search Article: ase26ind-p134-p doi:10.1145/3832783.3834495
GraphQLer: Enhancing GraphQL Security with Context-Aware API Testing
Omar Tsai, Jianing Li, Tsz Tung Cheung, Lejing Huang, Hao Zhu, Jianrui Xiao, Iman Sharafaldin, and Mohammad A. Tayebi
(Simon Fraser University, Canada; Forward Security, Canada)
Article Search Artifacts Available Article: ase26ind-p143-p doi:10.1145/3832783.3834496
Top-Down Multi-agent LLM System with Runtime Data for MISRA C Violation Detection
Ahcheong Lee, Yeongbin Kang, Sechang Jang, Heechan Yang, and Moonzoo Kim
(KAIST, Republic of Korea; VplusLab, Republic of Korea)
Article Search Article: ase26ind-p152-p doi:10.1145/3832783.3834497
Fuzz4DB: A Practice of LLM-Agent-Guided Fuzzing for Database Feature-Level Delta Testing
Chunling Qin, Yong Hu, Xiao Zhang, Jinchuan Chen, Fangtao Gu, Baoxun Wang, Yuxing Chen, Anqun Pan, and Lixiong Zheng
(Renmin University of China, China; Tencent, China)
Article Search Article: ase26ind-p161-p doi:10.1145/3832783.3834498
Kani: A Model Checker for Rust
Rémi Delmas, Zyad Hassan, Qinheping Hu, Rahul Kumar, Felipe R. Monteiro, Thanh Nguyen, Adrián Palacios, Celina Val, Michael Tautschnig, Justus Adam, Daniel Schwartz-Narbonne, and Carolyn Zech
(Amazon Web Services, USA; Amazon Web Services, UK; Queen Mary University, UK; Brown University, USA; Datadog, USA; Massachusetts Institute of Technology, USA)
Article Search Artifacts Available Article: ase26ind-p163-p doi:10.1145/3832783.3834499
Closing the Gap: Automated Discovery of Secure Dockerfile Reference Standards via Semantic Clustering in Enterprise Inner Source
Jessica Hösl, Benedikt Hofmann, and Patrick Stöckle
(TU Munich, Germany; Siemens, Germany)
Article Search Article: ase26ind-p179-p doi:10.1145/3832783.3834500
OpsLens: Runbook-Free Root Cause Analysis via Multi-agent Collaboration and Tool Management
Haiyu Huang, Jiewei Lyu, Gou Tan, Pengfei Chen, Zhihan Jiang, Guangba Yu, Penghui Mi, Fuqiang Wang, Jian Han, Chongkang Tan, and Michael R. Lyu
(Sun Yat-sen University, China; Chinese University of Hong Kong, China; Huawei, China; Independent Researcher, China)
Article Search Artifacts Available Article: ase26ind-p181-p doi:10.1145/3832783.3834501
Li-WaC: A Lightweight WebAssembly Container for Independently Upgradable IoT Applications in Xiaomi Vela
Bin Liao, Canfeng Zheng, Shiwen Shan, Qi Huang, Junjie Dong, Xiang Xiao, Yaoyao Gu, and Yuxin Su
(Beijing Xiaomi Mobile Software, China; Sun Yat-sen University, China)
Article Search Article: ase26ind-p186-p doi:10.1145/3832783.3834502
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
Yuwei Liu, Xinyi Wan, Yanhao Wang, Minghua Wang, Lin Huang, and Tao Wei
(Ant Group, China; Independent Researcher, China)
Article Search Artifacts Available Article: ase26ind-p190-p doi:10.1145/3832783.3834503
Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Failures on Asterinas Vostd
Dugang Liu, Ding Wang, Chao Jiang, Cheng Wen, Zhiwu Xu, Zhong Ming, Yuwei Liu, Xinyi Wan, and Lin Huang
(Shenzhen University, China; Ant Group, China)
Article Search Artifacts Available Article: ase26ind-p194-p doi:10.1145/3832783.3834504
DepWareTrans: Dependency-Aware Incremental Repository Migration across Co-executable Languages
Sivajeet Chand, Alexander Pretschner, Steve Haupt, Derui Zhu, and Sushant Kumar Pandey
(TU Munich, Germany; andrena objects, Munich, Germany; University of Groningen, Netherlands)
Article Search Article: ase26ind-p197-p doi:10.1145/3832783.3834505
Search-Based Testing of Vision Language Models for In-Car Scene Understanding
Lev Sorokin, Chen Yang, Ken E. Friedl, and Andrea Stocco
(TU Munich, Germany; BMW Group, Germany; fortiss, Germany)
Article Search Article: ase26ind-p198-p doi:10.1145/3832783.3834506
Doc2Test: An Industrial Multi-agent Framework for Document-Driven End-to-End Selenium Test Generation
Andrea Lops, Antonio Ferrara, Fedelucio Narducci, Azzurra Ragone, and Michelantonio Trizio
(Polytechnic University of Bari, Italy; Wideverse, Italy; University of Bari, Italy)
Article Search Article: ase26ind-p201-p doi:10.1145/3832783.3834507
Customizing an LLM for Enterprise Software Engineering
Aditya Kini, Satish Chandra, Milad Hashemi, Saksham Thakur, Aditya Pandey, Vincent Nguyen, Marc Brockschmidt, Franjo Ivančić, Danny Tarlow, Parthasarathy Ranganathan, Petros Maniatis, Ahmed Omran, Zaheer Abbas, Anita Gergely, Martin Sevenich, Gufeng Zhang, Amy Hua, and Alexander Frömmgen
(Google, USA; Meta, USA; Google DeepMind, USA; Google Brain, USA)
Article Search Article: ase26ind-p210-p doi:10.1145/3832783.3834508
From Security Findings to Verified Fixes: Automated Repair of Infrastructure-as-Code Misconfigurations
Ying Li, Tamjid Al Rahat, Yingjun Lyu, Omer Tripp, and George Argyros
(University of California at Los Angeles, USA; Amazon Web Services, USA)
Article Search Article: ase26ind-p211-p doi:10.1145/3832783.3834509
RiskScope: Pre-audit Triage for Incentive and Control Risks in Smart Contracts
Yu Pan, Qi Zhang, Yuannan Yang, and Dan She
(CertiK, USA)
Article Search Article: ase26ind-p212-p doi:10.1145/3832783.3834510
Catching Developers in the Flow: Low-Latency Agentic Program Repair at Google Scale
Celal Ziftci, Spencer Greene, Ray Liu, Livio Dalloro, and Lorenzo Dini
(Google, USA)
Article Search Article: ase26ind-p231-p doi:10.1145/3832783.3834511
IAM Policy Autopilot: Static Analysis for Policy Generation from Application Code
Antonio Filieri, Luke Kennedy, Kevin Luo, Matt Luttrell, Adrián Palacios, Akash Panda, Neha Rungta, Matthias Schlaipfer, Karan Jit Singh, Anvesh Tanuku, Nick Winans, Diana Yin, and Weiben Zhang
(Amazon Web Services, USA; Amazon Web Services, Germany)
Article Search Article: ase26ind-p234-p doi:10.1145/3832783.3834512
Vulnerability Tracking using Normalized Scope+Offset
Julian Thome, Hua Yan, Lucas Charles, Craig Smith, and Jason Leasure
(GitLab, Luxembourg; GitLab, Australia; GitLab, USA; Independent Researcher, USA)
Article Search Article: ase26ind-p239-p doi:10.1145/3832783.3834513
DAL: Decoupled Aspect-Based Layering of I/O Processing for Automotive Software
Muhammet Uslu, Atif Imran Penkar, Robert Rasche, Olaf Spinczy, Marc Fessler, and Michael Unterreiner
(Cariad, Germany; Volkswagen Group, Germany; TU Dortmund, Germany; Tensor embedded, Germany; Osnabrück University, Germany; Porsche, Germany)
Article Search Article: ase26ind-p250-p doi:10.1145/3832783.3834514
A Longitudinal Analysis of Software Development Evolution in a Financial Organization
Wentao Chen, Zehong Zhang, Huiqun Yu, Guisheng Fan, Huan Wang, and Kaiwen Zhi
(East China University of Science and Technology, China; Orient Securities Company Limited, China)
Article Search Article: ase26ind-p256-p doi:10.1145/3832783.3834515
Manifesting Implicit Dependencies in Requirements Task: An Automated Method Integrating Code Awareness and Change Analysis
Hui Ma, Jiajun Yang, Yan Chen, Pingjia Liao, Baoyu Zhao, and Daoping Jiang
(Shenzhen Poweroak Newener, China)
Article Search Article: ase26ind-p257-p doi:10.1145/3832783.3834516
Deployment Risk Assessment using Diff-Aware Features: A Case Study at Prime Video
Mayur Premkumar Kurup, Hyunjae Suh, Swathi Vaidyanathan, Pranesh Vyas, Srinidhi Madabhushi, and Yegor Silyutin
(Amazon.com, USA; University of California at Irvine, USA)
Article Search Article: ase26ind-p261-p doi:10.1145/3832783.3834517
MERA: A Multi-expert LLM Framework for Severity Assessment of User Tickets in Mobile OS Beta Testing
Yongqian Sun, Yimin Zuo, Qingliang Zhang, Bowen Hao, Wenwei Gu, Jiaqi Luan, Sixu Zhou, Shenglin Zhang, and Dan Pei
(Nankai University, China; Tsinghua University, China)
Article Search Article: ase26ind-p263-p doi:10.1145/3832783.3834518
REAP: Automatic Curation of Coding Agent Benchmarks from Interactive Production Usage
Smriti Jha, Matteo Paltenghi, Chandra Maddila, Vijayaraghavan Murali, Shubham Ugare, and Satish Chandra
(Meta Platforms, USA)
Article Search Artifacts Available Article: ase26ind-p266-p doi:10.1145/3832783.3834519
If You Build It, Will They Come? Lessons from 20 Years of Industrial Use of a Code Transformation DSL
Johan Fabry and Vadim Zaytsev
(Raincode Labs, Belgium; University of Twente, Netherlands)
Article Search Article: ase26ind-p279-p doi:10.1145/3832783.3834520
LLM-Assisted Joint Ticket and Log Analysis for Incident Triage in Intelligent and Connected Vehicles
Ruowei Fu, Shenglin Zhang, Wenwei Gu, Weiguo Li, Yongqian Sun, and Dan Pei
(Nankai University, China; Huawei, China; Tsinghua University, China)
Article Search Article: ase26ind-p283-p doi:10.1145/3832783.3834521
No Isolated Evolution, No Blind Search: Memory-Guided Prompt Co-evolution for Industrial Multi-agent Vulnerability Detection
Jie Xu, Zihan Wu, Yun Peng, Chun Yong Chong, Linghan Meng, Kui Liu, and Xiaohua Jia
(City University of Hong Kong, Hong Kong; Chinese University of Hong Kong, Hong Kong; Monash University, Malaysia; Huawei Technologies, China)
Article Search Article: ase26ind-p297-p doi:10.1145/3832783.3834522
AgenticSCR: An Autonomous Agentic Secure Code Review for Immature Vulnerabilities Detection
Wachiraphan Charoenwet, Kla Tantithamthavorn, Patanamon Thongtanunam, Hong Yi Lin, Minwoo Jeong, and Ming Wu
(University of Melbourne, Australia; Monash University, Australia; Atlassian, USA)
Article Search Article: ase26ind-p302-p doi:10.1145/3832783.3834523
AlarmClaw: Context-Enriched Alarm Management with Category-/Severity-Aware Incident Graphs
Siyu Yu, Meizhen Li, Jiacheng Yang, Yifan Wu, Ning Wang, Zhaoxing Chen, Ming Liu, Xinchi Ren, Xincheng Ren, Chan Li, Tong Jia, Xiang Zhang, and Ying Li
(Peking University, China; ByteDance, China)
Article Search Article: ase26ind-p313-p doi:10.1145/3832783.3834524
EvoLLM: High-Coverage, Readable, and Token-Efficient Unit Test Generation for Industrial Java Codebases
Seokhyeon Moon, Myungho Lee, Jihun Kim, Yoon-Chan Jhi, Jihoon Cho, and Hakjoo Oh
(Samsung SDS, Republic of Korea; Korea University, Republic of Korea)
Article Search Article: ase26ind-p335-p doi:10.1145/3832783.3834525
InfraAPR: An Agent-Based Repair Framework for Cloud Infrastructure-as-Code Programs
Quan Chen, Zhao Liu, Chunfang Li, Yifan Zhang, Ning Hu, and Qing Liao
(Harbin Institute of Technology, Shenzhen, China; Pengcheng Laboratory, China; Hunan University, China; Nanchang University, China)
Article Search Article: ase26ind-p338-p doi:10.1145/3832783.3834526
From Backlog Items to Security Guidance: Towards Continuous Security Compliance
Ignacio García Núñez, Florian Angermeir, and Fabiola Moyón Constante
(Technical University of Munich, Germany; fortiss, Germany; Blekinge Institute of Technology, Sweden; Siemens Technology, Germany)
Article Search Artifacts Available Article: ase26ind-p344-p doi:10.1145/3832783.3834527
LiteScope: Revealing the Security Paradox of Android Lite Apps in Resource-Constrained Ecosystems
Yuanxiang Shi, Liangcai Su, Kai Ye, Xi Xiao, and Chenxiong Qian
(University of Hong Kong, Hong Kong; Tsinghua University, Shenzhen, China)
Article Search Article: ase26ind-p351-p doi:10.1145/3832783.3834528
Mutation Testing of Simulink Cyber-Physical System Models: Challenges and Solutions in Practice
Murat Kavak, Onur Kilincceker, Serge Demeyer, Kevin Vandenbroucke, and Halim Abdurrahman Ceylan
(University of Antwerp, Belgium; Flanders Make, Belgium; Duco, Belgium; Ege University, Türkiye)
Article Search Article: ase26ind-p356-p doi:10.1145/3832783.3834529
FlowChecker: One Command to Model Check Control-Flow Rules in Industrial Java
Qiuye Wang, Liqing Cao, Wei Hu, and Dengcheng He
(Alibaba Cloud Computing, China)
Article Search Article: ase26ind-p388-p doi:10.1145/3832783.3834530
Kozuchi Agent: A Language-Agnostic Open-Weight Agent for Software Repair
Mehdi Bahrami, Kosaku Kimura, Satoshi Munakata, Satoshi Nakashima, Yu Ishikawa, Kosuke Maeda, Nao Soma, Kenichi Kobayashi, Keisuke Miyazaki, Keizo Kato, Shigeki Fukuta, Tatsuo Kumano, Nobutaka Imamura, Kevin Musgrave, Shahbaz Abdul Khader, Kwun Ho Ngan, Joe Townsend, Fayas Asharindavida, Matthieu Parizy, Akira Sakai, Yuma Ichikawa, Yang Zhao, Michiaki Takizawa, Taku Fukui, Hiroki Ohtsuji, Wei-Peng Chen, and Hiro Kobashi
(Fujitsu Research of America, USA; Fujitsu Research, Japan; Fujitsu Research of Europe, UK; Fujitsu Research & Development, China)
Article Search Article: ase26ind-p408-p doi:10.1145/3832783.3834531
Continuous On-Commit Certification Testing of Railway Control Software: An Experience Report
Jacopo Maltagliati, Salvatore De Simone, and Giovanni Denaro
(University of Milano-Bicocca, Italy; Rete Ferroviaria Italiana, Italy)
Article Search Article: ase26ind-p431-p doi:10.1145/3832783.3834532
IP-Preserving Enterprise System Modernization via LLM-Driven Specification Extraction and Multi-target Code Generation
Andreas Biesdorf, Eckhard Seibert, Nicole Wengatz, Bart Carpels, and Tom Schoonbaert
(Trier University of Applied Sciences, Germany; Siemens, Germany; Euroports, Belgium)
Article Search Article: ase26ind-p443-p doi:10.1145/3832783.3834533
Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning
Feng Luo, Jiachen Liu, Cuiyun Gao, Jia Feng, and Kui Liu
(Harbin Institute of Technology, Shenzhen, China; Huawei Technologies, China)
Article Search Article: ase26ind-p459-p doi:10.1145/3832783.3834534
Continuum: Automated Construction and Retrieval of Software Decision Knowledge Graphs from Developer-AI Conversations
Mohammad Ali Shehral, Karthik Ravi, Nikhil Trivedi, and Akram Bayat
(Northeastern University, USA)
Article Search Artifacts Available Article: ase26ind-p465-p doi:10.1145/3832783.3834535
Command Coding: A Methodological Framework for AI-Accelerated Software Development
Thomas S. Villani and Martin Kellogg
(New Jersey Innovation Institute, USA; New Jersey Institute of Technology, USA)
Article Search Article: ase26ind-p500-p doi:10.1145/3832783.3834536
Model-Guided Property-Based Testing of WeChat Pay at Billion-User Scale
Xiangchen Shen, Yiting Wang, Ting Su, Jingjing Liang, Jingling Sun, Xixian Liang, Haiying Sun, Xinjie Xu, Haochuan Lu, Yuetang Deng, Pengcheng Wang, Geguang Pu, Zhendong Su, and John Hughes
(East China Normal University, China; University of Electronic Science and Technology of China, China; Tencent, China; ETH Zurich, Switzerland; Chalmers University of Technology, Sweden)
Article Search Article: ase26ind-p569-p doi:10.1145/3832783.3834537

New Ideas and Emerging Results

Beyond the First Crash: Interaction-Aware Multi-fault Fuzzing
Omar I. Al-Bataineh
(Gran Sasso Science Institute, Italy)
Article Search Article: ase26nier-p2-p doi:10.1145/3832783.3834538
Phantom Fixes: Fault Interaction Ambiguity in Multi-fault Concurrent Programs
Omar I. Al-Bataineh
(Gran Sasso Science Institute, Italy)
Article Search Article: ase26nier-p3-p doi:10.1145/3832783.3834539
Empirical Computation: Prompting versus Programming
Eric Tang, Jing Liu, and Marcel Böhme
(Carnegie Mellon University, USA; MPI-SP, Germany; CISPA Helmholtz Center for Information Security, Germany)
Article Search Article: ase26nier-p11-p doi:10.1145/3832783.3834540
End-to-End Regulatory Compliance Evolution Pipeline: From Legal Requirements to Developer Tests
Carolin Brandt and Sallam Abualhaija
(Delft University of Technology, Netherlands; University of Luxembourg, Luxembourg)
Article Search Article: ase26nier-p13-p doi:10.1145/3832783.3834541
Towards Diagnostic Explainability in Workflow Verification via Shapley Attribution
Radosław Klimek and Jakub Błażowski
(AGH University of Krakow, Poland)
Article Search Article: ase26nier-p15-p doi:10.1145/3832783.3834542
PR2Trigger: From Concurrency-Fix PR Diffs to Executable Triggering Tests for Go
Risheng Wei, Yuheng Shen, Yiming Ye, Yuchen Yan, Yihao Peng, Hao Xi, Yue Chen, Hai Wan, and Xibin Zhao
(Tsinghua University, China)
Article Search Article: ase26nier-p35-p doi:10.1145/3832783.3834543
ECLAIR: A Causally-Grounded AI Framework for Scientific Discovery in Empirical Software Engineering
Alejandro Velasco, Daniel Rodriguez-Cardenas, Dipin Khati, David N. Palacio, and Denys Poshyvanyk
(William & Mary, USA; Microsoft, USA)
Article Search Article: ase26nier-p39-p doi:10.1145/3832783.3834544
Let’s Chat about Design: A Transformation-Oriented Viewpoint for LLM-Native Software
Víctor A. Braberman and Flavia Bonomo-Braberman
(University of Buenos Aires, Argentina; CONICET, Argentina)
Article Search Article: ase26nier-p44-p doi:10.1145/3832783.3834545
Agentic Code Review in the Terminal: A Trajectory-Level Analysis of Behavior, Cost, and Human-Alignment
Wachiraphan Charoenwet, Kla Tantithamthavorn, Patanamon Thongtanunam, Hong Yi Lin, Minwoo Jeong, and Ming Wu
(University of Melbourne, Australia; Monash University, Australia; Atlassian, USA)
Article Search Article: ase26nier-p49-p doi:10.1145/3832783.3834546
Is Three the Magic Number? An Empirical Evaluation of LLM-Based Repair Loops
Tobias Kiecker, Eik Reichmann, Hosung Kang, Gabin An, and Lars Grunske
(Humboldt-Universität zu Berlin, Germany; Korea University, Republic of Korea)
Article Search Article: ase26nier-p58-p doi:10.1145/3832783.3834547
BanditFuzz: A Synergistic Differential Fuzzing Framework for Compilers
Donghui Li, Yingying Li, Jinlong Xu, Bo Zhao, Nan Wang, Jinyang Yao, and Lili Liu
(Information Engineering University, China; Henan Normal University, China)
Article Search Article: ase26nier-p61-p doi:10.1145/3832783.3834548
Can Formal Specifications Be Synthesized from Tests Alone?
Tianhai Liu, Maximilian Müller, Tobias Hey, Vitus Lüntzel, Muhammad Minhas, Anne Koziolek, and Bernhard Beckert
(KIT, Germany)
Article Search Artifacts Available Article: ase26nier-p62-p doi:10.1145/3832783.3834549
SkillMOO: Multi-objective Optimization of Agent Skills for Software Engineering
Jingzhi Gong, Ruizhen Gu, Zhiwei Fei, Yazhuo Cao, Lukas Twist, Alina Geiger, Shuo Han, Dominik Sobania, Federica Sarro, and Jie M. Zhang
(King's College London, UK; Queen's University Belfast, UK; Nanjing University, China; Johannes Gutenberg University Mainz, Germany; University College London, UK; University of Duisburg-Essen, Germany)
Article Search Article: ase26nier-p65-p doi:10.1145/3832783.3834550
Specifying the Delegated-Autonomy Boundary: Requirements Engineering for Agentic AI
Chetan Arora, Andreas Vogelsang, and Abbi Sharma
(Monash University, Australia; University of Duisburg-Essen, Germany)
Article Search Article: ase26nier-p67-p doi:10.1145/3832783.3834551
FaultForge: A Business-Semantics-Driven Cross-Layer Fault Injection Framework for Microservice
Yongxin Yang, Yang Yang, Anni Jiang, Mingyuan Yang, and Peng Yu
(Beijing University of Posts and Telecommunications, Beijing, China)
Article Search Artifacts Available Article: ase26nier-p75-p doi:10.1145/3832783.3834552
The Ground Is Shifting: A Reflection on the Foundations of Software Measurement
Thomas Bock, Audris Mockus, and Bogdan Vasilescu
(Carnegie Mellon University, USA; University of Tennessee, USA)
Article Search Artifacts Available Article: ase26nier-p76-p doi:10.1145/3832783.3834553
Do Not Copy/Paste: Soft Barriers for Copying in AI-Assisted Programming
Iyiola E. Olatunji, Alberick Euraste Djire, Jacques Klein, and Tegawendé F. Bissyandé
(University of Luxembourg, Luxembourg)
Article Search Article: ase26nier-p79-p doi:10.1145/3832783.3834554
Distributional Program Analysis: Treating Large Language Models as Program Samplers
Phat T. Tran-Truong and Xuan-Bach Le
(Ho Chi Minh City University of Technology, Vietnam)
Article Search Article: ase26nier-p81-p doi:10.1145/3832783.3834555
UIXPOSE: Screen-Conditioned Runtime Discrepancy Analysis for Security-Aware Android GUI Exploration
Amirmohammad Pasdar, Van-Thuan Pham, and Toby Murray
(University of Melbourne, Australia)
Article Search Article: ase26nier-p83-p doi:10.1145/3832783.3834556
Agents That Teach: Towards Designing Incidental Learning Back into AI-Assisted Software Development
Rohit Mehra, Samdyuti Suri, Prithviraj K. Tagadinamani, Kapil Singi, Vikrant Kaulgud, and Adam P. Burden
(Accenture Labs, India; Accenture, USA)
Article Search Article: ase26nier-p97-p doi:10.1145/3832783.3834557
Towards Multilingual AI-Assisted Software Engineering
Shivadharshan S, Anirudh Arrepu, and Sridhar Chimalakonda
(Indian Institute of Technology Tirupati, India)
Article Search Article: ase26nier-p100-p doi:10.1145/3832783.3834558
Software Engineering Meets the EU AI Act: Artifacts, Patterns, and Future Directions
Sridhar Chimalakonda and Upendra Karimi
(Indian Institute of Technology Tirupati, India)
Article Search Article: ase26nier-p101-p doi:10.1145/3832783.3834559
K-COBAgent: A Knowledge-Driven Multi-agent Framework for COBOL Modernization
Kavyasri Gajula, Phanindra Kodela, and Sridhar Chimalakonda
(Indian Institute of Technology Tirupati, India)
Article Search Article: ase26nier-p105-p doi:10.1145/3832783.3834560

proc time: 12.33