ICSE 2026
Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil

This program is tentative and subject to change.

Wed 15 Apr 2026 14:45 - 15:00 at Asia IV - AI for Software Engineering 5 Chair(s): Jan Bosch

Dependence analysis (DA) plays a critical role in software engineering, from code optimization to debugging. It is traditionally limited to scenarios where entire source code is available. In practice, however, developers often encounter incomplete or partial code snippets, as in StackOverflow (S/O) forums or during modular development, where program constructs are missing. This presents challenges for DA tools, which rely on syntactic and semantic correctness to correctly identify dependencies. Thus, existing DA tools for partial code often face trade-offs in precision and recall.

In this work, we introduce L𝜆MDA, a framework that addresses these limitations by leveraging large language models (LLMs) as context augmenters to enrich partial code snippets with the program elements required for enabling such analyses. Through our evaluation, we showed that L𝜆MDA exhibits high correctness and completeness guarantees, yielding a higher recall than traditional approaches, and a higher precision than learning-based approaches. Overall, L𝜆MDA improves over all baselines in partial program dependence analysis by 5%-265% and 16%-331% across S/O benchmarks. Moreover, we show L𝜆MDA’s effectiveness in providing exception handling suggestions as well as exception-flow analysis.

This program is tentative and subject to change.

Wed 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

14:00 - 15:30
AI for Software Engineering 5Research Track / SE In Practice (SEIP) at Asia IV
Chair(s): Jan Bosch Chalmers University of Technology
14:00
15m
Talk
SpecGuru: Hierarchical LLM-Driven API Points-to Specification Generation with Self-Validation
Research Track
Shuangxiang Kan UNSW, Yuekang Li UNSW, Xiao Cheng Macquarie University, Yulei Sui University of New South Wales
14:15
15m
Talk
Panoptes: A Profile Clustering Framework for Context-Aware Binary OptimizationVirtual Attendance
Research Track
Edwin Kayang Arizona State University, Eric Jahns Arizona State University, Mishel Jyothis Paul Arizona State University, Michel Kinsy Arizona State University
14:30
15m
Talk
HoarePrompt: Structural Reasoning About Program Correctness in Natural LanguageDistinguished Paper Award
Research Track
Dimitrios Stamatios Bouras Peking University, Yihan Dai Peking University, Tairan Wang University College London, Yingfei Xiong Peking University, Sergey Mechtaev Peking University
14:45
15m
Talk
Large Language Model-Aided Partial Program Dependence Analysis
Research Track
Xiaokai Rong The University of Texas at Dallas, Aashish Yadavally University of Central Florida, Tien N. Nguyen University of Texas at Dallas
Pre-print
15:00
15m
Talk
Reducing False Positives in Static Bug Detection with LLMs: An Empirical Study in Industry
SE In Practice (SEIP)
Xueying Du Fudan University, Jiayi Feng Fudan University, Yi Zou Fudan University, Wei Xu Tencent, Jie Ma Tencent, Wei Zhang Tencent, Sisi Liu Tencent, Xin Peng Fudan University, Yiling Lou University of Illinois at Urbana-Champaign
15:15
15m
Talk
CASCADE: LLM-powered JavaScript Deobfuscator at Google
SE In Practice (SEIP)
Shan Jiang UT Austin, Pranoy Kovuri Google, David Tao Google, Zhixun Tan Google
Hide past events