FSE 2026
Sun 5 - Thu 9 July 2026 Montreal, Canada
VenueConcordia SGW Campus @Downtown Montreal
Room nameMB 5.215
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 7 Jul

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

11:00 - 12:30
11:00
20m
Talk
NESA: Relational Neuro-Symbolic Static Program Analysis
Research Papers
Chengpeng Wang National University of Singapore, Yifei Gao Purdue University, Wuqi Zhang MegaETH, Xuwei Liu Purdue University, USA, Jinyao Guo Purdue University, Mingwei Zheng Purdue University, Qingkai Shi Nanjing University, Xiangyu Zhang Purdue University
11:20
10m
Talk
Path-Guider: An IDE-based Agentic AI Tool for Path-based COBOL Program Analysis
Tool Demonstrations
Sameer Pimparkhede IBM Research, Pankaj Kumar Kalita IBM Research, Diptikalyan Saha IBM Research, Toshiaki Yasue IBM Research - Tokyo, Fumiko Satoh IBM Research - Tokyo
11:30
20m
Talk
JavaScript Pointer Analysis with Adaptive Heap Abstraction
Research Papers
Wenyuan Xu Aarhus University, Anders Møller Aarhus University
Pre-print
11:50
20m
Talk
Large Language Models for Opaque Predicate Resolution: A Universal Control Flow Deobfuscation Framework
Research Papers
Xiao Chen , Wang Qiuyun Institute of Information Engineering, Chinese Academy of Sciences;and University of Chinese Academy of Sciences, Wang Shuwei Institute of Information Engineering, Chinese Academy of Sciences;and University of Chinese Academy of Sciences, Zhang Weize Institute of Information Engineering, Chinese Academy of Sciences;and University of Chinese Academy of Sciences, Yuling Liu Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, University of Chinese Academy of Sciences} \city{Beijing, Baoxu Liu Institute of Information Engineering, Chinese Academy of Sciences, Jiang Zhengwei Institute of Information Engineering, Chinese Academy of Sciences;and University of Chinese Academy of Sciences
12:10
20m
Talk
GPU-Accelerated Flow-Sensitive Pointer Analysis for C/C++ Programs
Research Papers
Jiaqi He University of Alberta, Karim Ali NYU Abu Dhabi
14:00 - 15:30
14:00
10m
Talk
Round-trip Engineering for Tactical DDD: A Constraint-Based Vision for the Masses
Ideas, Visions and Reflections
Weixing Zhang Karlsruhe Institute of Technology (KIT), Mario Herb esentri AG, Martin Armbruster Karlsruhe Institute of Technology (KIT), Bowen Jiang Karlsruhe Institute of Technology, Marcel Vielsack esentri AG, Anne Koziolek Karlsruhe Institute of Technology
14:10
20m
Talk
Classifier or Prompt: A Case Study on Legal Requirements Traceability
Journal-First Paper
Romina Etezadi University of Ottawa, Sallam Abualhaija University of Luxembourg, Chetan Arora Monash University, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
14:30
10m
Talk
SpecPylot: Python Specification Generation with Large Language Models
Tool Demonstrations
Ragib Shahariar Ayon Texas State University, Shibbir Ahmed Texas State University
14:40
20m
Talk
Multi-LLM Persona Generation for Virtual Focus Groups in Software Engineering: A Controlled, Multi-Domain Study of Emotional Requirements Elicitation
Research Papers
Guangrui Fan Taiyuan University of Science and Technology, Dandan Liu Universiti Malaya, Lihu Pan Taiyuan University of Science and Technology, Rui Zhang Taiyuan University of Science and Technology, Qian Guo Taiyuan University of Science and Technology
15:00
20m
Talk
On the Utility of Domain Modeling Assistance with Large Language Models
Journal-First Paper
Meriem Ben Chaaben Université de Montréal, Lola Burgueño University of Malaga, Istvan David McMaster University / McMaster Centre for Software Certification (McSCert), Houari Sahraoui DIRO, Université de Montréal
15:20
10m
Talk
ADATracer - Towards A Software Traceability Pipeline for ADA Systems
Tool Demonstrations
Nithin Chepuri Indian Institute of Technology Tirupati, Rajeev Thota Indian Institute of Technology Tirupati, Venkat Kaushal Thippisetty Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati, Sumith Shankar U. R. Rao Satellite Centre, ISRO
16:00 - 17:30
16:00
20m
Talk
Failing with Purpose: Dangling Coverage-Guided Negative Test Generation from a Mechanized P4 Type System
Research Papers
16:20
10m
Talk
Argus: A Guided and Traceable Mutation Testing Engine
Tool Demonstrations
Zi Yang University of California, Riverside, Zhaorui Yang University of California, Riverside, Jiyuan Wang Tulane University, Qian Zhang University of California at Riverside
16:30
20m
Talk
Evaluating LLM-based Regression Test Generation
Research Papers
Jing Liu Max Planck Institute for Security and Privacy, Seongmin Lee UCLA, Eleonora Losiouk University of Padua, Marcel Böhme MPI for Security and Privacy
16:50
20m
Talk
TestLoop: A Process Model Describing Human-in-the-Loop Software Test Suite Generation
Journal-First Paper
Matthew C. Davis Carnegie Mellon University, Sangheon Choi Rose-Hulman Institute of Technology, Amy Wei University of Michigan, Sam Estep Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
Link to publication DOI
17:10
20m
Talk
MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis
Research Papers
Congying Xu The Hong Kong University of Science and Technology, China, Hengcheng Zhu The Hong Kong University of Science and Technology, Songqiang Chen The Hong Kong University of Science and Technology, Jiarong Wu , Valerio Terragni University of Auckland, Shing-Chi Cheung Hong Kong University of Science and Technology
Pre-print

Wed 8 Jul

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

10:30 - 12:30
10:30
20m
Talk
GAER: Graph Auto-Encoders for Unsupervised Software Architecture Recovery
Research Papers
Rakhshanda Jabeen Electrolux Professional, Morgan Ericsson Linnaeus University, Jonas Nordqvist Linnaeus University, Anna Wingkvist Linnaeus University
10:50
20m
Talk
Developer Perspectives on REST API Usability: A Study of REST API Guidelines
Industry Papers
Sven Peldszus Chalmers | University of Gothenburg, Jan Rutenkolk Ruhr University Bochum, Marcel Heide Ruhr University Bochum, Jan Sollmann Ruhr University Bochum, Benjamin Klatt viadee AG, Frank Köhne viadee AG, Thorsten Berger Ruhr University Bochum
DOI Pre-print
11:10
20m
Talk
An Exploratory Eye Tracking Study on How Developers Classify and Debug Python Code in Different Paradigms
Journal-First Paper
Samuel W. Flint Dakota State University, Jigyasa Chauhan University of Nebraska-Lincoln, Niloofar Mansoor University of Nebraska-Lincoln, Bonita Sharif University of Nebraska-Lincoln, USA, Robert Dyer University of Nebraska-Lincoln
DOI
11:30
20m
Talk
On the Structure and Semantics of Identifier Names Containing Closed Syntactic Category Words
Journal-First Paper
Christian D. Newman Rochester Institute of Technology, Anthony Peruma University of Hawai‘i at Mānoa, Eman Abdullah AlOmar Stevens Institute of Technology, USA, Mahie Crabbe University of Hawai‘i at Mānoa, Syreen Banabilah Kent State University, Reem Alsuhaibani Prince Sultan University, Michael J. Decker Bowling Green State University, Farhad Akhbardeh Briar Cliff University, Marcos Zampieri George mason University, Mohamed Wiem Mkaouer University of Michigan-Flint, Jonathan I. Maletic Kent State University
11:50
10m
Talk
Supporting the Comprehension of Data Analysis Scripts
Tool Demonstrations
Florian Sihler Ulm University, Oliver Gerstl Ulm University, Lars Pfrenger Ulm University, Julian Schubert Ulm University, Matthias Tichy Ulm University
12:00
10m
Talk
ZION: System Exploration With Class Contours
Tool Demonstrations
Mattia Giannaccari REVEAL @ Software Institute – USI, Lugano, Switzerland, Marco Raglianti REVEAL @ Software Institute – USI, Lugano, Switzerland, Michele Lanza Software Institute - USI, Lugano
12:10
20m
Talk
Evaluating Explanatory Artefacts of DSAR-Recovered Software Architectures from Industrial Codebases
Industry Papers
Satrio Adi Rukmono Institut Teknologi Bandung, Lina Ochoa Eindhoven University of Technology, Thijs Bressers ASML, Jacob Krüger Eindhoven University of Technology, Michel Chaudron Eindhoven University of Technology, The Netherlands
14:00 - 15:30
14:00
20m
Talk
EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems
Research Papers
Luan Pham University of New South Wales, Australia, Victor Nicolet Amazon, Joey Dodds Amazon, Inc., Hui Guan Amazon Web Services, USA, Daniel Kroening Amazon
14:20
20m
Talk
A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection
Journal-First Paper
Shan Ali University of Ottawa, Chaima Boufaied University of Calgary, Domenico Bianculli University of Luxembourg, Paula Branco University of Ottawa, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
14:40
10m
Talk
From Load Tests to Live Streams: Graph Embedding-Based Anomaly Detection in Microservice Architectures
Industry Papers
Srinidhi Madabhushi Amazon Prime Video, Pranesh Vyas Amazon Prime Video, Swathi Vaidyanathan Amazon Prime Video, Mayur Kurup Amazon Prime Video, Elliott Nash Amazon Prime Video, Yegor Silyutin Amazon Prime Video
14:50
20m
Talk
Holmes: Multimodal Agentic Diagnosis for Mixed-Language Mobile Crashes at Industrial Scale
Industry Papers
Jia Li The Chinese University of Hong Kong, Wenyuan Ma Tencent Inc., Ting Peng Tencent Inc., Haibing Zheng Tencent, Yuetang Deng Tencent
15:10
20m
Talk
E2E-REME: Towards End-to-End Microservices Auto-Remediation via Experience-Simulation Reinforcement Fine-Tuning
Industry Papers
Lingzhe Zhang Peking University, China, Yunpeng Zhai Alibaba Group, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Minghua He Peking University, Chiming Duan Peking University, Zhaoyang Liu Alibaba Group, Bolin Ding Alibaba Group, Ying Li School of Software and Microelectronics, Peking University, Beijing, China

Thu 9 Jul

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

10:30 - 12:30
10:30
20m
Talk
Natural Language-Focused Software Engineering via Code-Documentation Equivalence
Research Papers
Aryaz Eghbali CISPA Helmholtz Center for Information Security, Germany, Zhongxin Liu Zhejiang University, Michael Pradel CISPA Helmholtz Center for Information Security
10:50
20m
Talk
Industrial Deployment of an AI Multi-Agent System for Requirements-Driven Code Verification
Industry Papers
Paul Baker JP Morgan - Chase, Blanca Manu JPMorganChase, Rebecca Moussa University College London, Federica Sarro University College London
11:10
20m
Talk
Leveraging LLMs for Alert Summarization and Mitigation Plan Generation
Industry Papers
Komal Sarda York University, Honggeun Ji York University, Amr M. Zaki York University, Marin Litoiu York University, Canada, Ian Watts IBM Canada, Larisa Shwartz IBM T.J. Watson Research
11:30
20m
Talk
TSGen: Automated Troubleshooting Guide Generation
Industry Papers
Yi Xiao Chongqing University, Hongyu Zhang Chongqing University, Daniel Genkin Microsoft, Chaoyun Zhang Microsoft, Rujia Wang Microsoft, Chetan Bansal Microsoft Research, Bhala Ranganathan Microsoft, Saravanakumar Rajmohan Microsoft 365, Minghua Ma Microsoft
11:50
20m
Talk
DualCodeDetect: Zero-Shot LLM-Generated Code Detection via Dual-Channel Perturbation
Research Papers
Zhengdao Li University of Science and Technology of China, Xiuwei Shang University of Science and Technology of China, Zhenkan Fu University of Science and Technology of China, Shikai Guo Dalian Maritime University, Weiming Zhang University of Science and Technology of China, Nenghai Yu School of Cyber Security, University of Science and Technology of China, Kejiang Chen University of Science and Technology of China
12:10
20m
Talk
Topic-wise Summarization of Support Ticket Dialogue via LLM
Industry Papers
XiaoLei Chen Fudan University, Fengrui Liu ByteDance, Xiao He Bytedance, Tieying Zhang ByteDance, Peng Wang Fudan University, Wei Wang Fudan University
14:00 - 15:30
14:00
20m
Talk
StepFly: Agentic Troubleshooting Guide Automation for Incident Diagnosis
Research Papers
Jiayi Mao Tsinghua University, Liqun Li Microsoft Research, Yanjie Gao Microsoft Research, Zegang Peng Tsinghua University, Shilin He Microsoft Research, Chaoyun Zhang Microsoft, Si Qin Microsoft Research, Samia Khalid Microsoft, Qingwei Lin Microsoft, Saravan Rajmohan Microsoft, Sitaram Lanka Microsoft, Dongmei Zhang Microsoft
14:20
20m
Talk
Spectrum-based Failure Attribution for Multi-Agent Systems
Research Papers
Yu Ge Nanjing University, Linna Xie Nanjing University, Zhong Li Nanjing University, Yu Pei Hong Kong Polytechnic University, Tian Zhang Nanjing University
14:40
10m
Talk
RuntimeSlicer: Towards Generalizable Unified Runtime State Representation for Failure Management
Ideas, Visions and Reflections
Lingzhe Zhang Peking University, China, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Weijie Hong Peking university, Mingyu Wang Peking University, Chiming Duan Peking University, Minghua He Peking University, Rongqian Wang Huawei Theory Lab, Xi Peng Huawei Theory Lab, Meiling Wang Huawei America Lab, Nicholas Zhang Huawei Theory Lab, Renhai Chen Huawei Theory Lab, Ying Li School of Software and Microelectronics, Peking University, Beijing, China
14:50
10m
Talk
Efficient Failure Management for Multi-Agent Systems with Reasoning Trace Representation
Ideas, Visions and Reflections
Lingzhe Zhang Peking University, China, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Mingyu Wang Peking University, Weijie Hong Peking university, Chiming Duan Peking University, Minghua He Peking University, Rongqian Wang Huawei Theory Lab, Xi Peng Huawei Theory Lab, Meiling Wang Huawei America Lab, Nicholas Zhang Huawei Theory Lab, Renhai Chen Huawei Theory Lab, Ying Li School of Software and Microelectronics, Peking University, Beijing, China
15:00
20m
Talk
FaultWeave: Bounded Resilience Testing with Failure Diagnosis Capability for Microservice Applications
Industry Papers
Mingzhuo Zheng Institute of Software, Chinese Academy of Sciences, Guoquan Wu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College; China Southern Power Grid, Jinbo Zhang Information Center, Guangdong Power Grid, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Wei Chen Institute of Software at Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Zheheng Liang Joint Laboratory on Cyberspace Security of China Southern Power Grid
15:20
10m
Talk
From Syntactic to Semantic Spectra for Fault Localization
Ideas, Visions and Reflections
Zhaorui Yang University of California, Riverside, Qian Zhang University of California at Riverside, Rajiv Gupta University of California at Riverside, Ashish Kundu Cisco Research

Tue 7 Jul

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
MB 5.215