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

Tue 7 Jul

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

11:00 - 12:30
11:00
20m
Research paper
Carbon-Taxed Transformers: A Green Compression Pipeline for Overgrown Language Models
FSE Research Papers
Ajmain Inqiad Alam University of Saskatchewan, Palash Ranjan Roy University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Banani Roy University of Saskatchewan, Kevin Schneider University of Saskatchewan
Pre-print
11:20
10m
Talk
Advancing Evidence-Based Social Sustainability in Software Engineering: A Research Roadmap
FSE Ideas, Visions and Reflections
Bimpe Ayoola Dalhousie University, Anielle Andrade Federal University of Pampa, Paul Ralph Dalhousie University, Ronnie de Souza Santos University of Calgary
11:30
20m
Talk
Practical Feasibility of Sustainable Software Engineering Tools and Techniques
FSE Industry Papers
Satwik Ghanta University of Glasgow, Peggy Gregory University of Glasgow, UK, Gül Calikli University of Glasgow
11:50
20m
Talk
Adopting Concepts for Sustainable Improvement of the Developer Experience within a Medium-sized Corporation
FSE Industry Papers
Jannik Lange Munich University of Applied Sciences, Axel Böttcher Munich University of Applied Sciences
12:10
20m
Talk
Fairness Testing of Large Language Models in Role-Playing
FSE Research Papers
Xinyue Li Peking University, Zhenpeng Chen Tsinghua University, Jie M. Zhang Mistral AI and King's College London, Ying Xiao , Li Tianlin , Weisong Sun Nanyang Technological University, Yang Liu Nanyang Technological University, Yiling Lou University of Illinois at Urbana-Champaign, Xuanzhe Liu Peking University
14:00 - 15:30
14:00
10m
Talk
TestAgent: A Multi-Agent LLM Framework for Repository-Level Unit Test Generation
FSE Tool Demonstrations
ye shang Nanjing University, Quanjun Zhang Nanjing University of Science and Technology, Zhengyu Zhan Nanjing University, Ke Huang Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University
14:10
20m
Talk
Just-in-Time Catching Test Generation at Meta
FSE Industry Papers
Mark Harman Meta Platforms, Inc. and UCL, Matthew Becker Meta, Yifei Chen Meta, Nicholas Cochran Meta, Pouyan Ghasemi Meta, Abhishek Gulati Meta platforms, Mehrdad Honarkhah Meta, Hervé Robert Meta platforms, Jiacheng Liu Meta, Weini Liu Meta, Sreeja Thummala Meta, Xiaoning Yang Meta, Rui Xin Meta, Sophie Zeng Meta, Zac Haluza Meta
14:30
20m
Talk
Understanding and Mitigating Hallucinations in Industrial LLM-based Unit Test Generation
FSE Industry Papers
Yanlun Tu Ant Group, Ziyue Zhou University of Electronic Science and Technology of China, Cheng Xu Ant Group, Jingling Sun University of Electronic Science and Technology of China, Shuai Feng Ant Group, Chengyu Zhang Loughborough University
14:50
20m
Talk
Directed Grammar-Based Test Generation
FSE Journal-First Paper
Lukas Kirschner Saarland University, Ezekiel Soremekun Singapore University of Technology and Design
15:10
20m
Talk
iCoRe: An Iterative Correlation-Aware Retriever for Bug Reproduction Test Generation
FSE Research Papers
JunyiWang Zhejiang University, Jialun Cao Hong Kong University of Science and Technology, Zhongxin Liu Zhejiang University
16:00 - 17:20
Code similarity and searchFSE Research Papers at MB 3.435
16:00
20m
Talk
Understanding Code Similarity across Instruction Set Architectures: An Empirical Study
FSE Research Papers
yuhaonan Institute of Software Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Yingying Zheng Institute of Software at Chinese Academy of Sciences, Yuwei Zhang Institute of Software Chinese Academy of Sciences, Wei Wang Institute of Software at Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tao Huang Institute of Software at Chinese Academy of Sciences
16:20
20m
Talk
SBridge: Identifying Source-to-Binary Function Similarity via Cross-Domain Control Block Matching
FSE Research Papers
Heedong Yang Korea University, Jeongwoo Lee Korea University, Hajin Yun Korea University, Seunghoon Woo Korea University
16:40
20m
Talk
Understanding Binary Code Similarity for Real-World Vulnerability Detection: A Large-Scale Empirical Study
FSE Research Papers
Jingdong Guo Institute of Information Engineering, CAS; School of Cyber Security, UCAS, Chaopeng Dong School of Cyberspace, Hangzhou Dianzi University, Yimo Ren 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, Jie Liu Institute of Software, Chinese Academy of Sciences, Hong Li Institute of Information Engineering at Chinese Academy of Sciences, Hongsong Zhu Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences
17:00
20m
Talk
UNICS: Multilingual Code Search via Unified Pseudocode and Contrastive Transfer Learning
FSE Research Papers
Ye Fan Nanjing University, Jidong Ge Nanjing University, Chuanyi Li Nanjing University, Liguo Huang Southern Methodist University, Bin Luo Nanjing University

Wed 8 Jul

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

10:30 - 12:30
10:30
20m
Talk
YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group
FSE Industry Papers
Yayi Wang Ant Group, Shenao Wang Huazhong University of Science and Technology, Jian Zhao Huazhong University of Science and Technology, Shaosen Shi Ant Group, Ting Li Ant Group, Yan Cheng Ant Group, Lizhong Bian Ant Group, Kan Yu Ant Group, Yanjie Zhao Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
10:50
20m
Talk
InDe-LLM: Defending Against Jailbreak Attacks in LLM-Powered Systems via Intention Disentangling
FSE Research Papers
YujueWang Tsinghua University, Quan Zhang East China Normal University, Chijin Zhou East China Normal University, Gwihwan Go Tsinghua University, Dalong Shi AVIC International Digital Network Technology Co., Ltd., Yu Jiang Tsinghua University
11:10
20m
Talk
Characterizing Trust Boundary Vulnerabilities in TEE Container Systems: An Empirical Study
FSE Research Papers
Weijie Liu Nankai University, Hongbo Chen Indiana University Bloomington, Shuo Huai Nankai University, Zhen Xu Nanyang Technological University, Wenhao Wang Institute of Information Engineering, CAS, XiaoFeng Wang Nanyang Technological University, Danfeng Zhang Duke University, Zhi Li Huazhong University of Science and Technology, Haixu Tang Indiana University Bloomington, Zheli Liu Nankai University
11:30
20m
Talk
GadgetHunter: Region-Based Neuro-Symbolic Detection of Java Deserialization Vulnerabilities
FSE Research Papers
Kaixuan Li Nanyang Technological University, Jian Zhang Beihang University, Chong Wang Nanyang Technological University, Sen Chen Nankai University, Zong Cao Imperial Global Singapore, Min Zhang East China Normal University, Yang Liu Nanyang Technological University
Pre-print
11:50
20m
Talk
ReGA: Model-based Safeguard for LLMs via Representation-Guided Abstraction
FSE Research Papers
Zeming Wei Peking University, Chengcan Wu Peking University, Meng Sun Peking University
14:00 - 15:30
14:00
20m
Talk
Impact of extensions on browser performance: An empirical study on google chrome
FSE Journal-First Paper
Bihui Jin University of Waterloo, Heng Li Polytechnique Montréal, Ying Zou Queen's University, Kingston, Ontario
14:20
20m
Talk
Evaluating Risk and Confidence in Performance Bounds of Configuration Sampling Strategies
FSE Research Papers
Kallistos Weis Saarland University, Martina Maggio Saarland University, Germany / Lund University, Sweden, Norbert Siegmund Leipzig University, Sven Apel Saarland University
14:40
20m
Talk
Unleashing HPC Application Performance through Software Deployment: A Joint Model of Software Parallelism and Co-location
FSE Research Papers
Yuxin Ren Huawei Technologies, li zhou Huawei Technologies, Chumin Sun Huawei Technologies, Rui Fan Huawei Technologies, Jie Sun Huawei Technologies, Ning Jia Huawei Technologies, Xinwei Hu Huawei Technologies
15:00
10m
Talk
Rethinking Performance Debugging: From Optimization to Collaborative Reasoning
FSE Ideas, Visions and Reflections
Mahsa Panahandeh Postdoctoral Fellow, School of Electrical Engineering and Computer Science, University of Ottawa, Naser Ezzati-Jivan Brock University, Abdelwahab Hamou-Lhadj Concordia University, Montreal, Canada
15:10
10m
Talk
Energy Flow Graph: Modeling Software Energy Consumption
FSE Ideas, Visions and Reflections
Saurabhsingh Rajput Dalhousie University, Tushar Sharma Dalhousie University
15:20
10m
Talk
CodeGreen: Towards Improving Precision and Portability in Software Energy Measurement
FSE Tool Demonstrations
Saurabhsingh Rajput Dalhousie University, Tushar Sharma Dalhousie University
16:00 - 16:50
16:00
20m
Talk
Cost-Effective Testing of MPC Compilers
FSE Research Papers
Pre-print
16:20
10m
Talk
Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violation-Guided Mutation
FSE Research Papers
Zixi Liu Nanjing University, Yang Feng Nanjing University, Jialiang Jiang Nanjing University, Baowen Xu Nanjing University
16:30
20m
Talk
Compilomorphic Fuzzing: Turning a Compiler Against Itself
FSE Ideas, Visions and Reflections
Vasileios Klimis Queen Mary University of London

Thu 9 Jul

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

10:30 - 12:30
10:30
10m
Talk
FISTS: A Field-based Security Testing Tool for Updates in Software-Defined Networks
FSE Tool Demonstrations
Jahanzaib MALIK University of Luxembourg, Fabrizio Pastore University of Luxembourg
10:40
20m
Talk
Enabling Security Champions With Breakout Action Groups (BAGs) – A Longitudinal Case Study
FSE Industry Papers
Jens Christian Opdenbusch Ruhr University Bochum, Sangavi Shanthakumar Ruhr University Bochum, Martina Angela Sasse Ruhr University Bochum, Marco Gutfleisch LMU Munich
11:00
20m
Talk
An Empirical Evaluation of Generative AI in Security Requirements Engineering and Threat Modeling
FSE Industry Papers
Francis Martins UNB, Elaine Venson University of Brasilia
11:20
20m
Talk
Uncovering Similar but Different Packages in PyPI and Potential Security Threats
FSE Research Papers
Sunha Park Korea University, Soojin Han Dongduk Women's University, Seunghoon Woo Korea University
11:40
20m
Talk
Reducing the TCB of SGX-oriented LibOSes at Runtime
FSE Research Papers
Donghui Yu Shanghai Jiao Tong University, Dahan Pan Shanghai Jiao Tong University, Fengwei Zhang Shanghai Jiao Tong University, Haoran Fang Shanghai Jiao Tong University, Ya Fang Shanghai Jiao Tong University, Yuanyuan Zhang Shanghai Jiao Tong University
12:00
10m
Talk
BackportCheck: An Open-Source Tool to Support Backport Decisions in Large Software Ecosystems
FSE Tool Demonstrations
Salma Sghaier ENSI, Mannouba University, Mohamed Anas Daoud ENSI, Mannouba University, Marouene Chaieb National School of Computer Science, Moataz Chouchen Concordia University, Mohammad Hamdaqa Polytechnique Montreal, Mohamed Wiem Mkaouer University of Michigan-Flint
12:10
10m
Short-paper
Towards Predicting Multi-Vulnerability Attack Chains in Software Supply Chains from Software Bill of Materials Graphs
FSE Ideas, Visions and Reflections
Laura Baird University of Colorado Colorado Springs (UCCS), Armin Moin University of Colorado Colorado Springs
DOI
14:00 - 15:30
14:00
20m
Talk
Agentic Verification of Software Systems
FSE Research Papers
Haoxin Tu Singapore Management University, Singapore, Huan Zhao National University of Singapore, Yahui Song Standard Chartered Bank, Mehtab Zafar National University of Singapore, Ruijie Meng National University of Singapore, Singapore, Abhik Roychoudhury National University of Singapore
14:20
20m
Talk
DiverFPS: Generating Diverse Solutions for Floating-Point SMT Formulas
FSE Research Papers
Shuangyu Lyu Beihang University, Chuan Luo Beihang University, Ruizhi Shi Beihang University, Zhuo Su Beihang University, Chunming Hu Beihang University
14:40
10m
Talk
The Watermark Paradox: How Provenance Verification Paves the Road to Camouflaged Backdoors
FSE Ideas, Visions and Reflections
Haoyi Zhang Xi’an Jiaotong-Liverpool University, Huaijin Ran Xi’an Jiaotong-Liverpool University, Kisub Kim DGIST, Xunzhu Tang University of Luxembourg
DOI
14:50
10m
Talk
HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects
FSE Tool Demonstrations
Dirk Beyer LMU Munich, Po-Chun Chien LMU Munich, Bo-Yuan Huang Intel, USA, Nian-Ze Lee National Taiwan University, Taiwan, Thomas Lemberger LMU Munich
15:00
10m
Talk
PyMOP: A Runtime Verification Tool for Python
FSE Tool Demonstrations
Zhuohang Shen Cornell University, Mohammed S. Yaseen Independent Researcher, Kevin Guan Cornell University, Denini Silva Federal University of Pernambuco, Marcelo d'Amorim North Carolina State University, Owolabi Legunsen Cornell University
15:10
20m
Talk
Property Refinement in Linear Temporal Logic: Formal Semantics and Algorithms for Software Verification
FSE Research Papers
Luca Brodo Hochschule Hamm-Lippstadt, Giuseppe Scalora Hamm-Lippstadt University of Applied Sciences, Stefan Henkler Hochschule Hamm-Lippstadt

Tue 7 Jul

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

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

Wed 8 Jul

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

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