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

This program is tentative and subject to change.

For any application to understand what it allows its users to do, we must rely on app functionality descriptions provided by software developers on app pages in marketplaces and in the release notes, the developer view or claimed features. User reviews and public discussions on thematic forums can serve as another source of information about app’s features, and sometimes new features are inspired by such user view. However, little research has been done on app artifact analysis to distill actual high-level features, with researchers focusing on bytecode analysis to understand low-level app behaviors, such as API calls,without necessarily mapping those to features. Herein, we explore the possibilities of LLMs to reconstruct the app features and functionality descriptions from the (middle-level) app artifact information to bridge the perspective and knowledge gaps. We extract diverse unstructured text strings from 235 macOS app artifacts obtained from the Setapp app store, and prompt the GPT-4o LLM for a list of possible feature desscriptions, which we later compare with the human-written app’s feature list in the app store. We observe minor differences in lexical structure in terms of part-of-speech counts, and the average semantic similarity (cosine) score varies between 0.45–0.75 with GloVe embeddings and between 0.56–0.81 with BERT ones, meaning that even naive prompting can produce similar enough app feature descriptions w.r.t. the human-produced oracle. Our results show the potential of the LLM use for automatic/assisted app feature description generation in marketplaces and for contrasting the claimed and actual app behavior for detecting any discrepancies.

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
:
:
:
: