AIware 2026
Mon 6 - Tue 7 July 2026 Montreal, Canada
co-located with FSE 2026
FSE 2026 (series) / AIware 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

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

Mon 6 Jul

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

14:00 - 15:30
Tutorial 10FSE Tutorials at MB 2.435
16:00 - 18:00
Tutorial 9FSE Tutorials at MB 2.435

Tue 7 Jul

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

11:00 - 12:30
Mobile Apps 1FSE Journal-First Paper / FSE Research Papers / FSE Industry Papers / FSE Tool Demonstrations at MB 2.435
11:00
20m
Talk
An Empirical Analysis of Rust Integration in Android Open Source Project
FSE 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
FSE 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
FSE 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
FSE 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
FSE 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 securityFSE Research Papers / FSE Tool Demonstrations at MB 2.435
14:00
10m
Talk
SCAR: Mining and Structuring Smart Contract Security Audit Reports
FSE 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
FSE 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
FSE 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
FSE 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
SynthesisFSE Research Papers / FSE Industry Papers at MB 2.435
16:00
20m
Talk
Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
FSE 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
FSE 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
FSE 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
FSE 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
CloudFSE Industry Papers / FSE Research Papers / FSE 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
FSE 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
FSE 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
FSE 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
FSE 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
FSE 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
FSE 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 2FSE Research Papers / FSE Industry Papers at MB 2.435
14:00
10m
Talk
Lessons from Mitigating False Positives in Google's OSS-Fuzz-Gen
FSE 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
FSE 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
FSE 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
FSE 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
FSE 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 SystemsFSE Industry Papers / FSE Research Papers / FSE Journal-First Paper at MB 2.435
10:30
20m
Talk
A Comprehensive Multi-Vocal Empirical Study of ML Cloud Service Misuses
FSE Journal-First Paper
Hadil Ben Amor Ecole de Technologie Supérieure, Manel Abdellatif École de Technologie Supérieure, Taher A. Ghaleb Trent University
10:50
20m
Talk
Replication-Free Failover: Protocol-Fenced Takeover for Stateful Services
FSE 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
FSE 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
FSE 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
From Particles to Perils: SVGD-Based Hazardous Scenario Generation for Autonomous Driving Systems Testing
FSE Research Papers
Linfeng Liang Macquarie University, Xiao Cheng Macquarie University, Tsong Yueh Chen Swinburne University of Technology, Xi Zheng Macquarie University
12:10
20m
Talk
SwarmBox: A Plug-and-Play Drone Swarm Framework for Streamlined Development and Comprehensive Analysis
FSE 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
FailuresFSE Tool Demonstrations / FSE Research Papers / FSE Industry Papers / FSE Journal-First Paper at MB 2.435
14:00
20m
Talk
GREClue: Failure Indexing with Graph-based Failure Representation and Entropy-based Deep Clustering
FSE Research Papers
Zhenyu Yang Shandong University, Zhongxing Yu Shandong University
14:20
20m
Talk
Failure-Based Testing for Deep Reinforcement Learning Agents
FSE 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
FSE 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
FSE 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
FSE Tool Demonstrations
Nahian Salsabil University of Virginia, Sebastian Elbaum University of Virginia
16:00 - 17:00
Code translation and transformation 1FSE Industry Papers / FSE Research Papers at MB 2.435
16:00
20m
Talk
Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
FSE Industry Papers
jiafeng Harbin Institute of Technology, Shenzhen, Wenjie Gan Southeast university of China, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Chaozheng Wang The Chinese University of Hong Kong, Feng Luo Harbin Institute of Technology (Shenzhen), Xin Xia Zhejiang University, Ge Li Peking University, Kui Liu Huawei
16:20
20m
Talk
Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
FSE Research Papers
Zhiqiang Yuan Fudan University, Wenjun Mao Fudan University, Zhou , Xiyue Shang Fudan University, Chong Wang Nanyang Technological University, Yiling Lou University of Illinois at Urbana-Champaign, Xin Peng Fudan University
16:40
20m
Talk
GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption
FSE Research Papers
Saleh Amareen Wayne State University, Arif Rahman Wayne State University, Sazzadur Rahaman University of Arizona, Tucson, Arizona, USA, Amiangshu Bosu Wayne State University

Sun 5 Jul

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

Room14:003015:003016:003017:0030
MB 2.435

FSE Tutorials

Tutorial 5

FSE Tutorials

Tutorial 5

Mon 6 Jul

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

Room14:003015:003016:003017:0030
MB 2.435

FSE Tutorials

Tutorial 10

FSE 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

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

Mobile Apps 1

FSE Research Papers + FSE Tool Demonstrations

Smart contract security

FSE Research Papers + FSE Industry Papers

Synthesis

Wed 8 Jul

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

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

FSE Industry Papers + FSE Research Papers + FSE Journal-First Paper

Cloud

FSE Research Papers + FSE 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

FSE Industry Papers + FSE Research Papers + FSE Journal-First Paper

Service and Systems

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

Failures

FSE Industry Papers + FSE 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:0015304516:00153045
MB 2.435
FSE Journal-First Paper
A Comprehensive Multi-Vocal Empirical Study of ML Cloud Service Misuses
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
From Particles to Perils: SVGD-Based Hazardous Scenario Generation for ...
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
FSE Industry Papers
Dependency-Guided Repository-Level C-to-Rust Translation with Reinforce ...
16:00 - 16:20
FSE Research Papers
Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
16:20 - 16:40
FSE Research Papers
GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption
16:40 - 17:00