SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026

This program is tentative and subject to change.

Mon 5 Oct 2026 11:24 - 11:42 at East Hall 2 - LLM Agents for Program Analysis Chair(s): Yun Lin

Remediating vulnerabilities in open-source software (OSS) dependencies is vital to maintaining software supply chain security. However, current automated approaches almost exclusively rely on dependency upgrades, which is limited by the nature of upgrades, i.e., the availability of secure versions, version pinning, and API incompatibilities. To address the limitation, this paper presents Remedius, an agent-based remediation framework for Maven projects that unifies dependency upgrading and patch porting within a holistic optimization workflow. Remedius dynamically clusters dependencies by usage, gathers project-specific evidence through autonomous LLM-driven agents, and formulates a cost-aware remediation optimization problem solved via Satisfiability Modulo Theory (SMT). The agents translate complex contextual factors—such as compatibility, reachability, and patch difficulty—into solver-ready constraints, enabling flexible and scalable decision-making beyond what static rules or LLM reasoning alone can achieve. By redefining optimization at the vulnerability level rather than the dependency level, Remedius maximizes vulnerability coverage while preserving build correctness and runtime compatibility. An evaluation of 301 real-world Maven projects demonstrates that Remedius outperforms state-of-the-art baselines, achieving the highest number of vulnerabilities fixed and the
fewest build or test failures. These results highlight a new direction for automated OSS remediation beyond upgrade-only solutions toward adaptive, agent-driven vulnerability management.

This program is tentative and subject to change.

Mon 5 Oct

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
LLM Agents for Program AnalysisOOPSLA at East Hall 2
Chair(s): Yun Lin Shanghai Jiao Tong University
10:30
18m
Talk
Process-Centric Analysis of Agentic Software Systems
OOPSLA
Shuyang Liu University of Illinois at Urbana-Champaign, Yang Chen University of Illinois at Urbana-Champaign, Rahul Krishna IBM Research, Saurabh Sinha IBM Research, Jatin Ganhotra IBM, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
DOI
10:48
18m
Talk
MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
OOPSLA
Gengyang Xu Hong Kong University of Science and Technology, Dongwei Xiao Hong Kong University of Science and Technology, Yiteng Peng Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology
DOI
11:06
18m
Talk
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
OOPSLA
Zong Cao Imperial Global Singapore; Nanyang Technological University, Yuqiang Sun Nanyang Technological University, Zhengzi Xu Imperial Global Singapore, Kaixuan Li Nanyang Technological University, Yeqi Fu National University of Singapore, Yiran Zhang Nanyang Technological University, Ziqiao Kong Nanyang Technological University, Yang Liu Nanyang Technological University
DOI
11:24
18m
Talk
Agent-Based Automated Remediation for Vulnerabilities in Maven Projects
OOPSLA
Lyuye Zhang Nankai University; Nanyang Technological University, He Ye University College London, Federica Sarro University College London, Yuqiang Sun Nanyang Technological University, Yang Liu Nanyang Technological University
DOI
11:42
18m
Talk
LLM-Based Alarm Resolution Guided by Bayesian Program Analysis
OOPSLA
Yifan Zhang Peking University, Yuanfeng Shi Peking University, Haoran Lin Peking University, Yingfei Xiong Ministry of Education; Peking University; Zhongguancun Laboratory, Xin Zhang Peking University
DOI
Hide past events