AIware 2026
Mon 6 - Tue 7 July 2026 Montreal, Canada
co-located with FSE 2026
VenueConcordia SGW Campus @Downtown Montreal
Room nameMB 2.430
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

14:00 - 15:30
Tutorial 2FSE Tutorials at MB 2.430
16:00 - 18:00
Tutorial 2FSE Tutorials at MB 2.430

Mon 6 Jul

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

14:00 - 15:30
Tutorial 4FSE Tutorials at MB 2.430
16:00 - 18:00
Tutorial 7FSE Tutorials at MB 2.430

Tue 7 Jul

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

11:00 - 12:30
11:00
20m
Talk
Understanding the Limitations of C/C++ Binary Third-Party Library Detection Tool: An Empirical Study at Scale
FSE Research Papers
CHENGYUE LIU , Zhengzi Xu Imperial Global Singapore, Kaixuan Li Nanyang Technological University, Wu Jiahui , Sihao Qiu Institute of Information Engineering Chinese Academy of Sciences & University of Chinese Academy of Sciences, China, Siyuan Li University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Siyang Xiong Desay SV Automotive Singapore Pte. Ltd., Yang Xiao Chinese Academy of Sciences, Yang Liu Nanyang Technological University
11:20
20m
Talk
Pig: Leveraging Large Language Models for Python Library Migrations
FSE Research Papers
Miryeong Kang Korea University, Wonseok Oh Korea University, Gabin An Korea University, Hakjoo Oh Korea University
11:40
20m
Talk
Bringing Managed Language Support to WebAssembly with External Library Linking
FSE Research Papers
Shuyao Jiang The Chinese University of Hong Kong, Ruiying Zeng Fudan University, Yangfan Zhou Fudan University, Michael Lyu The Chinese University of Hong Kong
12:00
10m
Talk
Package Dashboard: A Cross-Ecosystem Framework for Dual-Perspective Analysis of Software Packages
FSE Tool Demonstrations
Ziheng Liu Peking University, Runzhi He Peking University, Minghui Zhou Peking University
12:10
20m
Talk
A Tuple-Oriented Sampling Method for Generating Small Pairwise Covering Arrays in Configurable Software Systems
FSE Research Papers
Kaichen Chen South China University of Technology, Yi Xiang South China University of Technology, Haining Wang South China University of Technology, Jiatong Ma South China University of Technology, Fujian Feng Guizhou Minzu University, Miqing Li University of Birmingham, Han Huang Sun Yat-Sen University
14:00 - 15:10
14:00
20m
Talk
Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis
FSE Research Papers
Jiahong Xiang Southern University of Science and Technology, Xiaoyang Xu Southern University of Science and Technology, Xiaopan Chu Southern University of Science and Technology, Hongliang Tian Ant Group, Yuqun Zhang Southern University of Science and Technology
14:20
20m
Talk
Debugging Engine Enhanced by Prior Knowledge: Can We Teach LLM How to Debug?
FSE Research Papers
Kunyi Li Zhejiang University, China, Sai Wu Zhejiang University, Xiu Tang Zhejiang University, Chang Yao Zhejiang University, Songhao Bu Zhejiang University, Quanqing Xu OceanBase, Ant Group, Gang Chen Zhejiang University
14:40
20m
Talk
A Grounded Theory of Debugging in Professional Software Engineering Practice
FSE Research Papers
Haolin Li University of California San Diego, Michael Coblenz University of California, San Diego
15:00
10m
Talk
Towards Output Directed Debugging of Finite Model Finders
FSE Ideas, Visions and Reflections
Mohammad Nurullah Patwary The Unviersity of Texas at Arlington, Allison Sullivan University of Texas at Arlington
16:00 - 17:40
16:00
10m
Talk
IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints
FSE Ideas, Visions and Reflections
Zixuan Yuan Xidian University, Bin Yu Xidian University, Xu Lu Xidian University, WenSheng Wang Xidian University, Yuanzhe Liu Xidian University, Cheng Wen Xidian University, Meng Wang Hebei university, Chu Chen Qufu Normal University
16:10
20m
Talk
Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper
FSE Research Papers
Yoel Kim Kyungpook National University, Yunja Choi Kyungpook National University
DOI Pre-print
16:30
20m
Talk
Precondition Synthesis for Deep Neural Networks with Statistical Guarantees
FSE Research Papers
Zengyu Liu National University of Defense Technology, Bai Xue Institute of Software at Chinese Academy of Sciences, China, Pengfei Yang College of Computer and Information Science, Software College, Southwest University, Ji Wang National University of Defense Technology
16:50
20m
Talk
Satisfiability Solving with LLMs
FSE Research Papers
Leizhen Zhang University of Louisiana at Lafayette, Shuhan Chen East China Normal University, Sheng Chen UL Lafayette
17:10
10m
Talk
EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR
FSE Tool Demonstrations
Jiaying Zhu The Chinese University of Hong Kong, Baoqi Zhang National Center of Technology Innovation for EDA, Mengxia Tao National Center of Technology Innovation for EDA, Kezhi Li The Chinese University of Hong Kong, Hao Yan Central South University, Xu, Qiang , Min Li Southeast University
17:20
20m
Talk
Compiler Optimization-Based SMT Simplifications: An In-Depth Study
FSE Journal-First Paper
Hanyun Jiang The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Peisen Yao Zhejiang University, Jiachen Lu The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Yongwang Zhao The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Kui Ren The State Key Laboratory of Blockchain and Data Security, Zhejiang University

Wed 8 Jul

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

10:30 - 12:30
Requirements and SpecificationFSE Research Papers / FSE Journal-First Paper at MB 2.430
10:30
20m
Talk
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
FSE Research Papers
Aren Babikian University of Toronto, Alessio Di Sandro University of Toronto, Federico Formica McMaster University, Claudio Menghi University of Bergamo; McMaster University, Marsha Chechik University of Toronto
10:50
20m
Talk
An empirical study on LLM-based classification of requirements-related provisions in food-safety regulations
FSE Journal-First Paper
Shabnam Hassani University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Daniel Amyot University of Ottawa
11:10
20m
Talk
Speculate: Generating REST API Specifications Using LLMs
FSE Research Papers
Krishanu Singh IIT Delhi, Kushagra Karar IIT Delhi, Abhilash Jindal IIT Delhi, India, Guowei Yang University of Queensland
11:30
20m
Talk
Requirements Coverage-Guided Minimization for Natural Language Test Cases
FSE Journal-First Paper
RONGQI PAN University of Ottawa, Feifei Niu University of Ottawa, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Hanyang Hu Company A
11:50
20m
Talk
SpecWeaver: End-to-End HTTP API Specification Inference Across Multi-Layer Routing in Production Web Services
FSE Research Papers
Wenbo Hu Institute of Information Engineering at Chinese Academy of Sciences, Jie Lu SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Jingting Chen Institute of Information Engineering, Chinese Academy of Sciences, Feng Li Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China, Chenghang Shi SKLP, Institute of Computing Technology, CAS, Xiaonan Shi Institute of Information Engineering, Chinese Academy of Sciences and School of Cyber Security, University of Chinese Academy of Sciences, Jinchen Wang Institute of Information Engineering, Chinese Academy of Sciences and School of Cyber Security, University of Chinese Academy of Sciences, Wei Huo Institute of Information Engineering at Chinese Academy of Sciences
12:10
20m
Talk
From Specifications to Implementation in the Gen-AI Era: Lessons from a Project-based Software Engineering Course
FSE Research Papers
Yingying Wang University of British Columbia, Masih Beigi Rizi University of British Columbia, Fatemeh Khashei University of British Columbia, Julia Rubin The University of British Columbia
14:00 - 15:30
14:00
20m
Talk
IntentTester: Intent-Driven Multi-Agent Framework for Cross-Library Test Migration
FSE Research Papers
Yi Gao Zhejiang University, Ziyuan Zhang Zhejiang University, Xing Hu Zhejiang University, Xiaohu Yang Zhejiang University, Xin Xia Zhejiang University
14:20
20m
Talk
Revealing Regressions: A Comparative Study of State-Capture Strategies in Validating Program Behavior
FSE Research Papers
Hang Du University of California at Irvine, Vijay Krishna Palepu Microsoft, James Jones University of California at Irvine
14:40
20m
Talk
TestTailor: Generating High-Coverage Tests via Path-Proximal Tests with LLMs
FSE Research Papers
Xiaoxuan Zhou Northeastern University, Yiling Lou University of Illinois at Urbana-Champaign, Jinhao Dong Peking University, Dan Hao Peking University
15:00
20m
Talk
Dynamic Cogeneration of Bug Reproduction Test in Agentic Program Repair
FSE Industry Papers
Sam Cheng Google, Michele Tufano Google, José Pablo Cambronero Google, USA, Renyao Wei Google, Sherry Shi Google, Grant Uy Google, Patrick Rondon Google, Franjo Ivančić Google
15:20
10m
Talk
Argus: A Guided and Traceable Mutation Testing Engine
FSE 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

Thu 9 Jul

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

10:30 - 12:30
10:30
20m
Talk
Rethinking the Evaluation of Microservice RCA with a Fault Propagation-Aware Benchmark
FSE Research Papers
Aoyang Fang Chinese University of Hong Kong, Shenzhen, Songhan Zhang The Chinese University of Hong Kong, Shenzhen, Yifan Yang , Haotong Wu The Chinese University of Hong Kong, Shenzhen, Junjielong Xu The Chinese University of Hong Kong, Shenzhen, Xuyang Wang The Chinese University of Hong Kong, Shenzhen, Rui Wang The Chinese University of Hong Kong, Shenzhen, Manyi Wang The Chinese University of Hong Kong, Shenzhen, Qisheng Lu The Chinese University of Hong Kong, Shenzhen, Pinjia He Chinese University of Hong Kong, Shenzhen
10:50
20m
Talk
Bridging the Delay: Lag-Aware Spatio-Temporal Causal Inference for Microservice Root Cause Analysis
FSE Industry Papers
Shenglin Zhang Nankai University, Junhua Kuang Nankai University, Yimeng Zhang Nankai University, Sibo Xia Nankai University, Jintao Feng Nankai University, Jingyu Wang Nanjing University, Wenwei Gu Nankai University, Yongqian Sun Nankai University, Wei Li Alibaba Group, Liping Zhang Alibaba Group, Dan Pei Tsinghua University
11:10
20m
Talk
TORAI: Multi-Source Root Cause Analysis for \textit{Blind Spots} in Microservice Service Call Graph
FSE Research Papers
Luan Pham University of New South Wales, Australia, Huong Ha RMIT University, Xiuzhen Zhang RMIT University, Hongyu Zhang Chongqing University
11:30
20m
Talk
CARE: Context Aware Root Cause Identification Using Distributed Traces and Profiling Metrics
FSE Journal-First Paper
Mahsa Panahandeh Postdoctoral Fellow, School of Electrical Engineering and Computer Science, University of Ottawa, Naser Ezzati Jivan , Abdelwahab Hamou-Lhadj Concordia University, Montreal, Canada, James Miller Department of Electrical and Computer Engineering, University of Alberta, Edmonton, AB, Canada
11:50
20m
Talk
MetaRCA: A Generalizable Root Cause Analysis Framework for Cloud-Native Systems Powered by Meta Causal Knowledge
FSE Research Papers
Shuai Liang Sun Yat-sen University; China Unicom Software Research Institute: Beijing, CN, Pengfei Chen Sun Yat-sen University, Bozhe Tian China Unicom Software Research Institute: Beijing, CN, Gou Tan School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Maohong Xu China Unicom Software Research Institute: Beijing, CN, Youjun Qu China Unicom Software Research Institute: Beijing, CN, Yahui Zhao China Unicom Software Research Institute: Beijing, CN, Yiduo Shang China Unicom Software Research Institute: Beijing, CN, Chongkang Tan Individual Researcher
14:00 - 15:20
14:00
20m
Talk
VLM-Fuzz: Vision Language Model Assisted Recursive Depth-First Search Exploration for Effective GUI Testing of Android Apps
FSE Journal-First Paper
Biniam Fisseha Demissie Technology Innovation Institute, Abu Dhabi, UAE, Yan Naing Tun Singapore Management University, Lwin Khin Shar Singapore Management University, Mariano Ceccato University of Verona
14:20
20m
Talk
From Suspicious Signals to Crashes: Guiding Bug-driven GUI Testing via Code-inspired Tracing
FSE Research Papers
Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Zhe Liu Institute of Software, Chinese Academy of Sciences, Chunyang Chen TU Munich, Junjie Wang Institute of Software at Chinese Academy of Sciences, Boyu Wu Institute of Software at Chinese Academy of Sciences, Yuekai Huang Institute of Software, Chinese Academy of Sciences, Jun Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences
14:40
20m
Talk
WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements
FSE Research Papers
Xiwen Teoh National University of Singapore, Yun Lin Shanghai Jiao Tong University, Duc-Minh Nguyen Shanghai Jiao Tong University, Ruofei Ren Shanghai Jiao Tong University, Wenjie Zhang National University of Singapore, Jin Song Dong National University of Singapore
15:00
20m
Talk
TUSR: A Test Unit–Based Framework for Repairing Obsolete GUI Test Scripts
FSE Research Papers
Shaoheng Cao Nanjing University, Minxue Pan Nanjing University, Xuandong Li Nanjing University
16:00 - 17:00
16:00
10m
Talk
From GUI Tests to Conversational Interaction: A New Perspective on App-Specific Voice Assistants
FSE Ideas, Visions and Reflections
Xue Qin Villanova University, Sumesh Surendran Letha Villanova University
16:10
10m
Talk
Towards Reliable Testing for Machine Unlearning
FSE Ideas, Visions and Reflections
Anna Mazhar Cornell University, Sainyam Galhotra Cornell University
DOI Pre-print
16:20
10m
Talk
Energy-Aware Test Prioritization for High-Performance Computing: A Multi-Objective Approach
FSE Ideas, Visions and Reflections
Ninad Anklesaria Oregon State University, Manish Motwani Oregon State University
16:30
10m
Talk
PYURIFY: Purifying Python Tests for Precise Fault Localization
FSE Tool Demonstrations
Marius Smytzek CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
16:40
20m
Talk
TestLoop: A Process Model Describing Human-in-the-Loop Software Test Suite Generation
FSE 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

Tue 7 Jul

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

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

Thu 9 Jul

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
MB 2.430