FORGE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025

This program is tentative and subject to change.

Artificial intelligence (AI), including large language models and generative AI, is emerging as a significant force in software development, offering developers powerful tools that span the entire development lifecycle. Although traditional software engineering research has extensively studied developer-tool interactions, the specific interactions between developers and these AI-powered tools have only recently begun to receive attention. Understanding and improving these interactions has the potential to improve productivity, trust, and efficiency in AI-driven workflows. In this paper, we propose a taxonomy of interaction types between developers and AI tools, identifying eleven distinct interaction modes, such as auto-complete code suggestions, command-driven actions, and conversational assistance. Building on this taxonomy, we outline a research agenda focused on optimizing AI interactions, improving developer control, and addressing trust and usability challenges in AI-assisted development. By establishing a structured foundation for understanding developer-AI interactions, this paper seeks to stimulate research on creating more effective, adaptive AI tools for software development.

This program is tentative and subject to change.

Mon 28 Apr

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

11:00 - 12:30
Session4: Human-AI Collaboration & Legal Aspects of using FMResearch Papers / Industry Papers at 207
11:00
12m
Long-paper
Extracting Fix Ingredients using Language Models
Research Papers
Julian Prenner Free University of Bozen-Bolzano, Romain Robbes Univ. Bordeaux, CRNS
11:12
12m
Long-paper
CodeFlow: Program Behavior Prediction with Dynamic Dependencies Learning
Research Papers
Cuong Chi Le FPT Software AI Center, Hoang Nhat Phan Nanyang Technological University, Huy Nhat Phan FPT Software AI Center, Tien N. Nguyen University of Texas at Dallas, Nghi D. Q. Bui Salesforce Research
11:24
12m
Long-paper
Addressing Specific and Complex Scenarios in Semantic Parsing
Research Papers
Yu Wang Nanjing University, Ming Fan Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University
11:36
12m
Long-paper
Skill over Scale: The Case for Medium, Domain-Specific Models for SE
Research Papers
Manisha Mukherjee Carnegie Mellon University, Vincent J. Hellendoorn Carnegie Mellon University
Pre-print
11:48
12m
Long-paper
Resource-Efficient & Effective Code Summarization
Research Papers
Saima Afrin William & Mary, Joseph Call William & Mary, Khai Nguyen William & Mary, Oscar Chaparro William & Mary, Antonio Mastropaolo William and Mary, USA
12:00
6m
Short-paper
How Developers Interact with AI: A Taxonomy of Human-AI Collaboration in Software Engineering
Research Papers
Christoph Treude Singapore Management University, Marco Gerosa Northern Arizona University
Pre-print
12:06
6m
Short-paper
"So what if I used GenAI?” - Legal Implications of Using GenAI in Software Engineering Research
Research Papers
Gouri Ginde (Deshpande) University of Calgary
12:12
6m
Short-paper
Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast
Research Papers
Marilyn Rego Purdue University, Wen Fan Purdue University, Xin Hu Univeristy of Michigan - Ann Arbor, Sanya Dod , Zhaorui Ni Purdue University, Danning Xie Purdue University, Jenna DiVincenzo (Wise) Purdue University, Lin Tan Purdue University
12:18
6m
Short-paper
Towards Generating App Feature Descriptions Automatically with LLMs: the Setapp Case Study
Industry Papers
:
:
:
: