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 10:30 - 10:48 at East Hall 2 - LLM Agents for Program Analysis Chair(s): Yun Lin

Agentic systems are modern software systems: they consist of orchestrated modules, expose interfaces, and are deployed in software pipelines. Unlike conventional programs, their execution, i.e., trajectories, is inherently stochastic and adaptive to the problems they are solving. Evaluation of such systems is often outcome-centric, i.e., judging their performance based on success or failure at the final step. This narrow focus overlooks detailed insights about such systems, failing to explain how agents reason, plan, act, or change their strategies. Inspired by the structured representation of conventional software systems as graphs, we introduce Graphectory to systematically encode the temporal and semantic relations in such software systems. Graphectory facilitates the design of process-centric metrics and analyses to assess the quality of agentic workflows.

Using Graphectory, we automatically analyze 4000 trajectories of two dominant agentic programming workflows, namely SWE-agent and OpenHands, with a combination of four backbone Large Language Models (LLMs), attempting to resolve SWE-bench Verified issues. Our fully automated analyses (completed within four minutes) reveal that: (1) agents using richer prompts or stronger LLMs exhibit more complex Graphectory, reflecting deeper exploration, broader context gathering, and more thorough validation before patch submission; (2) agents’ problem-solving strategies vary with both problem difficulty and the underlying LLM—for resolved issues, the strategies often follow coherent localization–patching–validation steps, while unresolved ones exhibit chaotic, repetitive, or backtracking behaviors; and (3) even when successful, agentic programming systems often display inefficient processes, leading to unnecessarily prolonged trajectories.

We also implement a novel technique for real-time construction and analysis of Graphectory and Langutory during the agent’s execution to flag trajectory issues. Upon detecting such issues in the trajectory, the proposed technique notifies the agent with a diagnostic message and, when applicable, rolls back the trajectory. The experimental results show that online monitoring and process-centric analysis, when accompanied by proper interventions, can improve resolution rates by 6.9%-23.5% across different models for problematic instances, while significantly shortening trajectories with a near-zero overhead

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 Research, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
10:48
18m
Talk
MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
OOPSLA
Gengyang Xu Department of Computer Science and Engineering, The 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
11:06
18m
Talk
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
OOPSLA
Zong Cao Imperial Global Singapore, 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
11:24
18m
Talk
Agent-Based Automated Remediation for Vulnerabilities in Maven Projects
OOPSLA
Lyuye Zhang Nanyang Technological University, He Ye University College London (UCL), Federica Sarro University College London, Yuqiang Sun Nanyang Technological University, Yang Liu Nanyang Technological University
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 Peking University, Xin Zhang Peking University