ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea
Thu 20 Nov 2025 16:30 - 16:55 at Grand Hall 4 - Session 4 & Closing

Resolving Python dependency issues remains a tedious and error-prone process, forcing developers to manually trial compatible module versions and interpreter configurations. Existing automated solutions, such as knowledge-graph-based and database-driven methods, face limitations due to the variety of dependency error types, large sets of possible module versions, and conflicts among transitive dependencies. This paper investigates the use of Large Language Models (LLMs) to automatically repair dependency issues in Python programs. We propose PLLM (pronounced “plum”), a novel retrieval-augmented generation (RAG) approach that iteratively infers missing or incorrect dependencies. PLLM builds a test environment where the LLM proposes module combinations, observes execution feedback, and refines its predictions using natural language processing (NLP) to parse error messages. We evaluate PLLM on the Gistable HG2.9K dataset, a curated collection of real-world Python programs. Using this benchmark, we explore multiple PLLM configurations, including six open-source LLMs evaluated both with and without RAG. Our findings show that RAG consistently improves fix rates, with the best performance achieved by Gemma-2 9B when combined with RAG. Compared to two state-of-the-art baselines, PyEGo and ReadPyE, PLLM achieves significantly higher fix rates; +15.97% more than ReadPyE and +21.58% more than PyEGo. Further analysis shows that PLLM is especially effective for projects with numerous dependencies and those using specialized numerical or machine-learning libraries.

Thu 20 Nov

Displayed time zone: Seoul change

16:00 - 18:00
Session 4 & ClosingAgenticSE at Grand Hall 4
16:00
15m
Short-paper
AgentGuard: Runtime Verification of AI Agents
AgenticSE
Roham Koohestani Delft University of Technology
16:15
15m
Short-paper
Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
AgenticSE
Keshav Ramani J.P. Morgan AI Research, Vali Tawosi J.P. Morgan AI Research, Salwa Alamir J.P. Morgan AI Research, Daniel Borrajo
16:30
25m
Talk
The Last Dependency Crusade: Solving Python Dependency Conflicts with LLMs
AgenticSE
Antony Bartlett TU Delft, The Netherlands, Cynthia C. S. Liem Delft University of Technology, Annibale Panichella Delft University of Technology
17:00
15m
Day closing
Wrap-up, acknowledgments, and discussion
AgenticSE
Maliheh Izadi Delft University of Technology, Michael Pradel CISPA Helmholtz Center for Information Security, Satish Chandra Google, Inc