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
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 | ||
10:30 - 12:30 | |||
10:30 25mFull-paper | LLMs in Debate: Does Arguing Make Them Better at Detecting Metamorphic Relations? AgenticSE Dibyendu Brinto Bose Virginia Tech, USA , Yoseph Berhanu Alebachew Virginia Tech, Chris Brown Virginia Tech | ||
10:55 25mFull-paper | A 3-Layer Agentic Model for Nonfunctional Requirements in Software Engineering AgenticSE Ehsan Zabardast Nordea / Blekinge Institute of Technology, Tiago Vieira , Tony Gorschek Blekinge Institute of Technology / DocEngineering | ||
11:20 15mTalk | Transforming Natural Language into Formal Specifications AgenticSE Kuangxiangzi Liu , Alexander Liggesmeyer , Dhiman Chakraborty , Andreas Zeller CISPA Helmholtz Center for Information Security | ||
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 Fikret Mert Gultekin , Oscar Lilja , Ranim Khojah Chalmers University of Technology and University of Gothenburg, Rebekka Wohlrab Chalmers University of Technology, Marvin Damschen , Mazen Mohamad Chalmers | RISE - Research Institutes of Sweden | ||
16:00 - 18:00 | |||
16:00 15mShort-paper | AgentGuard: Runtime Verification of AI Agents AgenticSE Roham Koohestani Delft University of Technology | ||
16:15 15mShort-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 25mTalk | 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 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 | ||