ASE 2026
41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026)

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:

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

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