ASE 2025 (series) / AgenticSE 2025 (series) /
AgenticSE 2025 Program
This is the AgenticSE 2025 program - see the full program for ASE 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Thu 20 NovDisplayed time zone: Seoul change
Thu 20 Nov
Displayed time zone: Seoul change
08:30 - 10:00 | |||
08:45 15mDay opening | Welcome and Introduction AgenticSE Maliheh Izadi Delft University of Technology, Michael Pradel CISPA Helmholtz Center for Information Security, Satish Chandra Google, Inc | ||
09:00 60mKeynote | Building Jules, Google's first external coding agent AgenticSE Mehadi Seid Hassen Google | ||
10:30 - 12:30 | |||
10:30 25mFull-paper | LLMs in Debate: Does Arguing Make Them Better at Detecting Metamorphic Relations? AgenticSE | ||
10:55 25mFull-paper | A 3-Layer Agentic Model for Nonfunctional Requirements in Software Engineering AgenticSE | ||
11:20 15mTalk | Transforming Natural Language into Formal Specifications AgenticSE | ||
11:35 15mTalk | PRIMA: Enabling User Agency and Control in Mobile GUI Agent Autonomy AgenticSE | ||
14:00 - 15:30 | |||
14:00 60mKeynote | Trae Agent: SOTA Open-source AI Coding Agent for SWE-bench AgenticSE Chao Peng ByteDance | ||
15:00 25mFull-paper | Leveraging Large Language Models for Cybersecurity Risk Assessment — A Case from Forestry Cyber-Physical Systems AgenticSE | ||
16:00 - 18:00 | |||
16:00 15mShort-paper | AgentGuard: Runtime Verification of AI Agents AgenticSE | ||
16:15 15mShort-paper | Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification AgenticSE | ||
16:30 25mTalk | The Last Dependency Crusade: Solving Python Dependency Conflicts with LLMs AgenticSE | ||
17:00 15mDay 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 | ||