FSE 2026
Sun 5 - Thu 9 July 2026 Montreal, Canada
FSE 2026 (series) / Concordia SGW Campus @Downtown Montreal /

Room information: MB 2.435

VenueConcordia SGW Campus @Downtown Montreal
Room nameMB 2.435
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

Sun 5 Jul

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

09:00 - 10:30
Tutorial 3Tutorials at MB 2.435

Evaluating and Improving the Quality of LLM-Generated Code

Speakers

  • Glaucia Melo Toronto (Metropolitan University)
  • Jessica Pourleyli (Toronto Metropolitan University)
  • Genevieve Caumartin (Concordia University)
  • Corey Yang-Smith (University of Calgary)
  • Diego Elias Costa (Concordia University)
  • Ahmad Abdellatif (University of Calgary)

Duration (mins): 180
Type: Tutorial

11:00 - 12:30
Tutorial 3Tutorials at MB 2.435

Evaluating and Improving the Quality of LLM-Generated Code

Speakers

  • Glaucia Melo Toronto (Metropolitan University)
  • Jessica Pourleyli (Toronto Metropolitan University)
  • Genevieve Caumartin (Concordia University)
  • Corey Yang-Smith (University of Calgary)
  • Diego Elias Costa (Concordia University)
  • Ahmad Abdellatif (University of Calgary)

Duration (mins): 180
Type: Tutorial

14:00 - 15:30
Tutorial 5Tutorials at MB 2.435

Practical Software Performance Analysis on Linux Systems

Speakers

  • Adel Belkhiri (Polytechniuqe Montreal)
  • Heng Li (Polytechnique Montreal)

Duration (mins): 180
Type: Tutorial

16:00 - 18:00
Tutorial 5Tutorials at MB 2.435

Practical Software Performance Analysis on Linux Systems

Speakers

  • Adel Belkhiri (Polytechniuqe Montreal)
  • Heng Li (Polytechnique Montreal)

Duration (mins): 180
Type: Tutorial

Mon 6 Jul

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

09:00 - 10:30
Tutorial 13Tutorials at MB 2.435

From Digital Twins to the Twinning Paradigm (What Every Software Engineer Should Know)

Speakers

  • Hans Vangheluwe (University of Antwerp - Flanders Make)

Duration (mins): 180
Type: Tutorial

11:00 - 12:30
Tutorial 13Tutorials at MB 2.435

From Digital Twins to the Twinning Paradigm (What Every Software Engineer Should Know)

Speakers

  • Hans Vangheluwe (University of Antwerp - Flanders Make)

Duration (mins): 180
Type: Tutorial

14:00 - 15:30
Tutorial 10Tutorials at MB 2.435

Technical Briefing on Beyond A/B Testing - Orthogonal and Experimental Designs

Speakers

  • Fabio Massacci (University of Trento and Vrije Universiteit Amsterdam)
  • Winnie Bahati Mbaka (Vrije Universiteit Amsterdam)
  • Katja Tuma (Eindhoven University of Technology (TU/e))

Duration (mins): 90
Type: Tech. Breiefing

16:00 - 18:00
Tutorial 9Tutorials at MB 2.435

Taming the Stochastic Machine: Observability and Runtime Governance for Agentic AI Systems

Speakers

  • Naser Ezzati-Jivan (Brock University)
  • Maryam Ekhlasi (Polytechnique Montreal University)

Duration (mins): 90
Type: Tech. Breiefing

Tue 7 Jul

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

11:00 - 12:30
Mobile Apps 1Journal-First Paper / Research Papers / Industry Papers / Tool Demonstrations at MB 2.435
11:00
20m
Talk
An Empirical Analysis of Rust Integration in Android Open Source Project
Industry Papers
Yinte Fan Huazhong University of Science and Technology, Chao Wang Huazhong University of Science and Technology, Zikan Dong Huazhong University of Science and Technology, Tianming Liu Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
11:20
20m
Talk
CI/CD Configuration Practices in Open-Source Android Apps: An Empirical Study
Journal-First Paper
Taher A. Ghaleb Trent University, Osamah Abduljalil Imam Mohammad Ibn Saud Islamic University, Saudi Arabia, Safwat Hassan University of Toronto
11:40
10m
Talk
AccessDroid: Uncovering Screen Reader Accessibility Issues from Runtime Pages of Android Apps
Tool Demonstrations
Hang Zhou Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology
11:50
20m
Talk
AccessDroid: Detecting Screen Reader Accessibility Issues in Android Applications via Semantics Trees
Research Papers
Hang Zhou Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology
12:10
20m
Talk
Behind Defective Mobile AR Apps: Studying Reviews and Bugs of Android AR Software with Comparison to Prior Bug Studies
Research Papers
Tahmid Rafi University of Texas at San Antonio, Xueling Zhang Rochester Institute of Technology, Jianwei Niu University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio
14:00 - 15:10
Smart contract securityResearch Papers / Tool Demonstrations at MB 2.435
14:00
10m
Talk
SCAR: Mining and Structuring Smart Contract Security Audit Reports
Tool Demonstrations
Ilham Qasse Reykjavik University, Po-Yu Tseng National Taiwan University, Mohammad Hamdaqa Polytechnique Montreal, Gísli Hjálmtýsson Reykjavik University
14:10
20m
Talk
Verifying Smart Contract Security Against Re-entrancy Attacks through Relational Value Analysis
Research Papers
Divya Rathore IIT Madras, Kartik Nagar IIT Madras
14:30
20m
Talk
SmartCoder-R1: Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization
Research Papers
Lei Yu Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Jingyuan Zhang Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Xin Wang Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, Li Yang Institute of Software, Chinese Academy of Sciences, Fengjun Zhang Institute of Software, Chinese Academy of Sciences, China, Jiajia Ma Institute of Software, Chinese Academy of Sciences, China
14:50
20m
Talk
V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
Research Papers
Jingwen Zhang School of Software Engineering, Sun Yat sen University, Yuhong Nan Sun Yat-sen University, Kaiwen Ning Sun Yat-sen University, Mingxi Ye Sun Yat-sen University, Wei Li School of Software Engineering, Sun Yat sen University, Yuming Xiao School of Software Engineering, Sun Yat sen University, Yuming Feng Peng Cheng Laboratory, Weizhe Zhang Harbin Institute of Technology, Zibin Zheng Sun Yat-sen University
16:00 - 17:20
SynthesisResearch Papers / Industry Papers at MB 2.435
16:00
20m
Talk
Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
Research Papers
Hongshu Wang National University of Singapore, Xinyue Zuo National University of Singapore, Yuhan Sun East China Normal University, Qin Li Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Yamine AIT AMEUR IRIT - National Polytechnic Institute of Toulouse, Jin Song Dong National University of Singapore
16:20
20m
Talk
Fun2spec: Code Contract Synthesis At Scale
Industry Papers
Shubham Ugare Meta, Tarun Suresh University of Illinois, Urbana-Champaign, Sasa Misailovic University of Illinois Urbana-Champaign, Julien Vanegue Imperial College London; Bloomberg
16:40
20m
Talk
Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
Research Papers
Alexandros Evangelidis University of York, UK, Gricel Vázquez University of York, UK, Simos Gerasimou Cyprus University of Technology
Pre-print File Attached
17:00
20m
Talk
TraceSynth: Generating Production-Quality Kernel Traces with Constraint-Guided Diffusion Models
Industry Papers
Yuvraj Sehgal Brock University, Sneh Patel , Mahsa Panahandeh Postdoctoral Fellow, School of Electrical Engineering and Computer Science, University of Ottawa, Naser Ezzati-Jivan Brock University, François Tetreault Ciena

Wed 8 Jul

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

10:30 - 12:30
CloudIndustry Papers / Research Papers / Journal-First Paper at MB 2.435
10:30
20m
Talk
Aloha: Localizing Batch Failures in Large-scale Cloud Systems via Contrast Analysis and Human-in-the-Loop Agent
Industry Papers
Shenglin Zhang Nankai University, Yujia Wu Nankai University, Jinghuan Ren Nankai University, College of Software, Yongqian Sun Nankai University, Wenwei Gu Nankai University, Chaoyun Zhang Microsoft, Liqun Li Microsoft Research, Qingwei Lin Microsoft, Dongmei Zhang Microsoft, Saravanakumar Rajmohan Microsoft 365, Chetan Bansal Microsoft Research, Minghua Ma Microsoft
10:50
20m
Talk
Attention Enhanced Entity Recommendation for Intelligent Monitoring in Cloud Systems
Industry Papers
Fiza Husain Independent, Anson Bastos Microsoft, Anjaly Parayil Microsoft, Ayush Choure Independent, Chetan Bansal Microsoft Research, Rujia Wang Microsoft, Saravanakumar Rajmohan Microsoft 365
11:10
20m
Talk
An Agentic Framework for Triaging Incidents in Production Cloud Infrastructure
Industry Papers
Yuhan Yao Microsoft, Yuxuan Jiang University of Michigan Ann-Arbor, Minghua Ma Microsoft, Madhura Vaidya Microsoft, Jieren Deng Microsoft, Yigong Hu Boston University, Chetan Bansal Microsoft Research, Ze Li Microsoft Azure, Murali Chintalapati Microsoft Azure
11:30
20m
Talk
TSGuard: Automated User-Centric Incident Diagnosis for AI Workloads in the Cloud
Research Papers
Yitao Yang The Chinese University of Hong Kong, Yangtao Deng The Chinese University of Hong Kong, Yifan Xiong Microsoft Research, Baochun Li University of Toronto, Hong Xu The Chinese University of Hong Kong, Peng Cheng Microsoft Research Asia
11:50
20m
Talk
Exploring the impact of cloud computing on software architecture for sustainability: A practitioners' perspective
Journal-First Paper
Sahar Ahmadisakha University of Groningen, Vasilios Andrikopoulos University of Groningen
12:10
20m
Talk
AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud
Research Papers
Ning Kang Xi'an Jiaotong University, Peng Zhang Xi'an Jiaotong University, Jianyuan Zhang Xi'an Jiaotong University, Hao Li Xi'an Jiaotong University, Dan Wang Xi'an Jiaotong University, Zhenrong Gu Xi'an Jiaotong University, Weibo Lin Huawei Cloud, Shibiao Jiang Huawei Cloud, Zhu He Huawei Cloud, Xu Du Huawei Cloud, Longfei Chen Huawei Cloud, Jun Li Huawei, Xiaohong Guan Xi'an Jiaotong University
14:00 - 15:30
Fuzzing 2Research Papers / Industry Papers at MB 2.435
14:00
10m
Talk
Lessons from Mitigating False Positives in Google's OSS-Fuzz-Gen
Industry Papers
Paschal Amusuo Purdue University, Dongge Liu , Ricardo Andres Calvo Mendez Purdue University, Jonathan Metzman Google, Oliver Chang Google, James C. Davis Purdue University
14:10
20m
Talk
Binvariants: Enhancing Fuzzing of Closed-source Binary Executables via Register-level Likely Invariants
Research Papers
Zao Yang University of Utah, Stefan Nagy University of Utah
14:30
20m
Talk
In Bugs We Trust? On Measuring the Randomness of a Fuzzer Benchmarking Outcome
Research Papers
Ardi Madadi Max Planck Institute for Security and Privacy, Seongmin Lee UCLA, Cornelius Aschermann Ruhr-University Bochum, Marcel Böhme MPI for Security and Privacy
14:50
20m
Talk
An Empirical Study of Fuzz Harness Degradation
Research Papers
Philipp Görz Ruhr-University Bochum, Joschua Schilling CISPA Helmholtz Center for Information Security, Nicolai Bissantz Ruhr-University Bochum, Thorsten Holz Max Planck Institute for Security and Privacy
15:10
20m
Talk
SnakeCharmer: Automatic Fuzzing Harness Generation for Pure and Hybrid Python Libraries
Research Papers
Gabriel Sherman University of Utah, Stefan Nagy University of Utah

Thu 9 Jul

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

10:30 - 12:30
Service and SystemsIndustry Papers / Research Papers / Journal-First Paper at MB 2.435
10:30
20m
Talk
LLM Agents for AIOps in Kubernetes: An Industrial Experience Report with Red Hat OpenShift
Industry Papers
Arthur Vitui Red Hat, Inc., Tse-Hsun (Peter) Chen Concordia University
10:50
20m
Talk
Replication-Free Failover: Protocol-Fenced Takeover for Stateful Services
Industry Papers
Rongtong Jin Alibaba Cloud Computing Co. Ltd., Yinyou Gu Alibaba Cloud Computing Co. Ltd., Juntao Ji Alibaba Cloud Computing Co. Ltd., Yubao Fu Alibaba Cloud Computing Co. Ltd., Tao Liu Alibaba Cloud Computing, Fuzhi Lai Alibaba Cloud Computing, Gaoyang Cai Alibaba Cloud Computing, Qingshan Lin Alibaba Cloud Computing Co. Ltd.
11:10
20m
Talk
Programming of Automation Configuration in Smart Home Systems: Challenges and Opportunities
Journal-First Paper
Sheik Murad Hassan Anik Virginia Tech, Xinghua Gao Virginia Tech, Hao Zhong Shanghai Jiao Tong University, Xiaoyin Wang University of Texas at San Antonio, Na Meng Virginia Tech
11:30
20m
Talk
SmartDispatch: Dynamic Substitution of NumPy-style APIs on Heterogenous CPU-GPU Systems
Research Papers
Jinku Cui North Carolina State University, Yueming Hao Meta, Shuyin Jiao North Carolina State University, Jiajia Li North Carolina State University, Xu Liu North Carolina State University
11:50
20m
Talk
CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings
Research Papers
Pascal Joos CISPA Helmholtz Center for Information Security, Islem BOUZENIA CISPA Helmholtz Center for Information Security, Michael Pradel CISPA Helmholtz Center for Information Security
Pre-print
12:10
20m
Talk
SwarmBox: A Plug-and-Play Drone Swarm Framework for Streamlined Development and Comprehensive Analysis
Research Papers
Minki Lee Pohang University of Science and Technology, Seojin Lee Daegu Gyeongbuk Institute of Science and Technology, Seulbae Kim Pohang University of Science and Technology
DOI Pre-print Media Attached
14:00 - 15:30
FailuresTool Demonstrations / Research Papers / Industry Papers / Journal-First Paper at MB 2.435
14:00
20m
Talk
GREClue: Failure Indexing with Graph-based Failure Representation and Entropy-based Deep Clustering
Research Papers
Zhenyu Yang Shandong University, Zhongxing Yu Shandong University
14:20
20m
Talk
Failure-Based Testing for Deep Reinforcement Learning Agents
Research Papers
Weibin Lin , Jiangtao Meng Beihang University, Zheng Zheng Beihang University
14:40
20m
Talk
Predicting Intermittent Job Failure Categories for Diagnosis Using Few-Shot Fine-Tuned Language Models
Industry Papers
Henri Aïdasso École de technologie supérieure (ÉTS), Francis Bordeleau École de Technologie Supérieure (ETS), Ali Tizghadam TELUS
15:00
20m
Talk
How Execution Features Relate to Failures: An Empirical Study and Diagnosis Approach
Journal-First Paper
Marius Smytzek CISPA Helmholtz Center for Information Security, Martin Eberlein Humboldt-Universtität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin, Andreas Zeller CISPA Helmholtz Center for Information Security
Link to publication DOI
15:20
10m
Talk
TRACE: Topology-aware Reconstruction of Accidents in CARLA for AV Evaluation
Tool Demonstrations
Nahian Salsabil University of Virginia, Sebastian Elbaum University of Virginia
16:00 - 17:00
Code translation and transformation 1Research Papers at MB 2.435

Sun 5 Jul

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
MB 2.435

Tutorials

Tutorial 3

Tutorials

Tutorial 3

Tutorials

Tutorial 5

Tutorials

Tutorial 5

Mon 6 Jul

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
MB 2.435

Tutorials

Tutorial 13

Tutorials

Tutorial 13

Tutorials

Tutorial 10

Tutorials

Tutorial 9

Tue 7 Jul

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

Room11:003012:003013:003014:003015:003016:003017:0030
MB 2.435

Journal-First Paper + Research Papers + Industry Papers + Tool Demonstrations

Mobile Apps 1

Research Papers + Tool Demonstrations

Smart contract security

Research Papers + Industry Papers

Synthesis

Wed 8 Jul

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

Room10:003011:003012:003013:003014:003015:0030
MB 2.435

Industry Papers + Research Papers + Journal-First Paper

Cloud

Research Papers + Industry Papers

Fuzzing 2

Thu 9 Jul

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

Room10:003011:003012:003013:003014:003015:003016:0030
MB 2.435

Industry Papers + Research Papers + Journal-First Paper

Service and Systems

Tool Demonstrations + Research Papers + Industry Papers + Journal-First Paper

Failures

Research Papers

Code translation and transformation 1

Tue 7 Jul

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
MB 2.435
FSE Industry Papers
An Empirical Analysis of Rust Integration in Android Open Source Project
11:00 - 11:20
FSE Journal-First Paper
CI/CD Configuration Practices in Open-Source Android Apps: An Empirical ...
11:20 - 11:40
FSE Tool Demonstrations
AccessDroid: Uncovering Screen Reader Accessibility Issues from Runtime ...
11:40 - 11:50
FSE Research Papers
AccessDroid: Detecting Screen Reader Accessibility Issues in Android Ap ...
11:50 - 12:10
FSE Research Papers
Behind Defective Mobile AR Apps: Studying Reviews and Bugs of Android A ...
12:10 - 12:30
FSE Tool Demonstrations
SCAR: Mining and Structuring Smart Contract Security Audit Reports
14:00 - 14:10
FSE Research Papers
Verifying Smart Contract Security Against Re-entrancy Attacks through R ...
14:10 - 14:30
FSE Research Papers
SmartCoder-R1: Towards Secure and Explainable Smart Contract Generation ...
14:30 - 14:50
FSE Research Papers
V2E: Validating Smart Contract Vulnerabilities through Profit-driven Ex ...
14:50 - 15:10
FSE Research Papers
Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
16:00 - 16:20
FSE Industry Papers
Fun2spec: Code Contract Synthesis At Scale
16:20 - 16:40
FSE Research Papers
Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adap ...
16:40 - 17:00
FSE Industry Papers
TraceSynth: Generating Production-Quality Kernel Traces with Constraint ...
17:00 - 17:20

Wed 8 Jul

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
MB 2.435
FSE Industry Papers
Aloha: Localizing Batch Failures in Large-scale Cloud Systems via Contr ...
10:30 - 10:50
FSE Industry Papers
Attention Enhanced Entity Recommendation for Intelligent Monitoring in ...
10:50 - 11:10
FSE Industry Papers
An Agentic Framework for Triaging Incidents in Production Cloud Infrast ...
11:10 - 11:30
FSE Research Papers
TSGuard: Automated User-Centric Incident Diagnosis for AI Workloads in ...
11:30 - 11:50
FSE Journal-First Paper
Exploring the impact of cloud computing on software architecture for su ...
11:50 - 12:10
FSE Research Papers
AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud
12:10 - 12:30
FSE Industry Papers
Lessons from Mitigating False Positives in Google's OSS-Fuzz-Gen
14:00 - 14:10
FSE Research Papers
Binvariants: Enhancing Fuzzing of Closed-source Binary Executables via ...
14:10 - 14:30
FSE Research Papers
In Bugs We Trust? On Measuring the Randomness of a Fuzzer Benchmarking ...
14:30 - 14:50
FSE Research Papers
An Empirical Study of Fuzz Harness Degradation
14:50 - 15:10
FSE Research Papers
SnakeCharmer: Automatic Fuzzing Harness Generation for Pure and Hybrid ...
15:10 - 15:30

Thu 9 Jul

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
MB 2.435
FSE Industry Papers
LLM Agents for AIOps in Kubernetes: An Industrial Experience Report wit ...
10:30 - 10:50
FSE Industry Papers
Replication-Free Failover: Protocol-Fenced Takeover for Stateful Services
10:50 - 11:10
FSE Journal-First Paper
Programming of Automation Configuration in Smart Home Systems: Challeng ...
11:10 - 11:30
FSE Research Papers
SmartDispatch: Dynamic Substitution of NumPy-style APIs on Heterogenous ...
11:30 - 11:50
FSE Research Papers
CodeCureAgent: Automatic Classification and Repair of Static Analysis W ...
11:50 - 12:10
FSE Research Papers
SwarmBox: A Plug-and-Play Drone Swarm Framework for Streamlined Develop ...
12:10 - 12:30
FSE Research Papers
GREClue: Failure Indexing with Graph-based Failure Representation and E ...
14:00 - 14:20
FSE Research Papers
Failure-Based Testing for Deep Reinforcement Learning Agents
14:20 - 14:40
FSE Industry Papers
Predicting Intermittent Job Failure Categories for Diagnosis Using Few- ...
14:40 - 15:00
FSE Journal-First Paper
How Execution Features Relate to Failures: An Empirical Study and Diagn ...
15:00 - 15:20
FSE Tool Demonstrations
TRACE: Topology-aware Reconstruction of Accidents in CARLA for AV Evalu ...
15:20 - 15:30