FSE 2025
Mon 23 - Fri 27 June 2025 Trondheim, Norway
Mon 23 Jun 2025 17:00 - 17:10 at Cosmos Hall - SE and AI 1 Chair(s): Yuchao Jiang

ML-based systems are software systems that incorporates machine learning components such as Deep Neural Networks (DNNs) or Large Language Models (LLMs). While such systems enable advanced features such as high performance computer vision, natural language processing, and code generation, their internal behaviour largely remain opaque to traditional dynamic analysis techniques such as testing: existing dynamic analysis typically concern only what is observable from the outside, such as input similarity or class label changes. We propose semantic flow, a concept designed to capture the internal behaviour of ML-based system and to provide a platform for traditional dynamic analysis techniques to be adapted to. Semantic flow combines the idea of control flow with internal states taken from executions of ML-based systems, such as activation values of a specific layer in a DNN, or embeddings of LLM responses at a specific inference step of LLM agents. The resulting representation, summarised as semantic flow graphs, can capture internal decisions that are not explicitly represented in the traditional control flow of ML-based systems. We propose the idea of semantic flow, introduce two examples using a DNN and an LLM agent, and finally sketch its properties and how it can be used to adapt existing dynamic analysis techniques for use in ML-based software systems.

Mon 23 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
16:00
10m
Talk
Learning to Edit Interactive Machine Learning Notebooks
Ideas, Visions and Reflections
Bihui Jin University of Waterloo, Jiayue Wang University of Waterloo, Pengyu Nie University of Waterloo
16:10
20m
Talk
Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
Research Papers
Shaila Sharmin Iowa State University, Anwar Hossain Zahid Iowa State University, Subhankar Bhattacharjee Iowa State University, Chiamaka Igwilo Iowa State University, Miryung Kim UCLA and Amazon Web Services, Wei Le Iowa State University
DOI
16:30
20m
Talk
Mitigating Regression Faults Induced by Feature Evolution in Deep Learning Systems
Journal First
Hanmo You Tianjin University, Zan Wang Tianjin University, Xuyang Chen College of Intelligence and Computing, Tianjin University, Junjie Chen Tianjin University, Jun Sun Singapore Management University, Shuang Liu Renmin University of China, Zishuo Dong College of Intelligence and Computing, Tianjin University
16:50
10m
Talk
ClusterXplain: a Clustering-based Tool for DNN components Debugging
Demonstrations
Mohammed Attaoui University of Luxembourg, Fabrizio Pastore University of Luxembourg
17:00
10m
Talk
Capturing Semantic Flow of ML-based Systems
Ideas, Visions and Reflections
Shin Yoo KAIST, Robert Feldt Chalmers | University of Gothenburg, Somin Kim Korea Advanced Institute of Science and Technology, Naryeong Kim Korea Advanced Institute of Science and Technology
17:10
20m
Talk
Has My Code Been Stolen for Model Training? A Naturalness Based Approach to Code Contamination Detection
Research Papers
Haris Ali Khan Beijing Institute of Technology, Yanjie Jiang Peking University, Qasim Umer Information and Computer Science Department, King Fahd University of Petroleum & Minerals (KFUPM), Dhahran 31261, Saudi Arabia, Yuxia Zhang Beijing Institute of Technology, Waseem Akram Beijing Institute of Technology, Hui Liu Beijing Institute of Technology
DOI
17:30
20m
Talk
AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation
Research Papers
Ali Reza Ibrahimzada University of Illinois Urbana-Champaign, Kaiyao Ke University of Illinois Urbana-Champaign, Mrigank Pawagi Indian Institute of Science, Bengaluru, Muhammad Salman Abid Cornell University, Rangeet Pan IBM Research, Saurabh Sinha IBM Research, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
DOI Pre-print Media Attached
17:50
10m
Talk
Can Hessian-Based Insights Support Fault Diagnosis in Attention-based Models?
Ideas, Visions and Reflections
Sigma Jahan Dalhousie University, Masud Rahman Dalhousie University

Information for Participants
Mon 23 Jun 2025 16:00 - 18:00 at Cosmos Hall - SE and AI 1 Chair(s): Yuchao Jiang
Info for room Cosmos Hall:

This is the main event hall of Clarion Hotel, which will be used to host keynote talks and other plenary sessions. The FSE and ISSTA banquets will also happen in this room.

The room is just in front of the registration desk, on the other side of the main conference area. The large doors with numbers “1” and “2” provide access to the Cosmos Hall.