AIware 2026
Mon 6 - Tue 7 July 2026
Montreal, Canada
co-located with
FSE 2026
Toggle navigation
Attending
Conference Venue: Concordia SGW Campus @Downtown Montreal
Fun Activities: Montreal, Canada
Banquet Venue: FUNHUB Montreal @Downtown Montreal
FSE 2026
Registration
Accommodation
Transportation
Broadening Participation Plan
Code of Conduct
Travel and Child Care Support Grants
Visa and Travel Authorization Information for FSE 2026 and its Co-Located Events
FSE26 Exclusive Events and Activities
Program Overview
NSF Student Travel Support for FSE 2026 (US-based Students Only)
Prior to Arrival: Advance Declaration using the ArriveCan app
Poster Dimensions and Printing
Program
AIware Program
Your Program
Mon 6 Jul
Tue 7 Jul
Tracks
AIware 2026
Main Track
ArXiv Track
Benchmark & Dataset Track
Industry Demo Track
FSE-AIWare Joint Competition
Keynotes
Organization
AIware 2026 Committees
Steering Committee
Organizing Committee
Track Committees
Main Track
ArXiv Track
Benchmark & Dataset Track
Industry Demo Track
FSE-AIWare Joint Competition
Contributors
People Index
Search
Series
Series
AIware 2026
AIware 2025
AIware 2024
Sign in
Sign up
FSE 2026
(
series
) /
AIware 2026
(
series
) /
Concordia SGW Campus @Downtown Montreal
/
Room information: MB 3.435
Venue
Concordia SGW Campus @Downtown Montreal
Room name
MB 3.435
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-06:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Cancun
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Fairness, Green and Sustainability
FSE Research Papers
/
FSE Ideas, Visions and Reflections
/
FSE Industry Papers
at
MB 3.435
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
Test generation 1
FSE Industry Papers
/
FSE Research Papers
/
FSE Journal-First Paper
/
FSE Tool Demonstrations
at
MB 3.435
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 search
FSE 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
Security 2
FSE Research Papers
/
FSE Industry Papers
at
MB 3.435
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
Performance and energy
FSE Tool Demonstrations
/
FSE Research Papers
/
FSE Ideas, Visions and Reflections
/
FSE Journal-First Paper
at
MB 3.435
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
Compiler
FSE Research Papers
/
FSE Ideas, Visions and Reflections
at
MB 3.435
16:00
20m
Talk
Cost-Effective Testing of MPC Compilers
FSE Research Papers
Sebastian Watzinger
TU Wien
,
Valentin Wüstholz
ConsenSys
,
Deepak Garg
MPI-SWS
,
Maria Christakis
TU Wien
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
Software Security
FSE Industry Papers
/
FSE Tool Demonstrations
/
FSE Research Papers
/
FSE Ideas, Visions and Reflections
at
MB 3.435
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
Verification 2
FSE Tool Demonstrations
/
FSE Ideas, Visions and Reflections
/
FSE Research Papers
at
MB 3.435
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
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
MB 3.435
FSE Research Papers + FSE Ideas, Visions and Reflections + FSE Industry Papers
Fairness, Green and Sustainability
FSE Industry Papers + FSE Research Papers + FSE Journal-First Paper + FSE Tool Demonstrations
Test generation 1
FSE Research Papers
Code similarity and search
Wed 8 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
MB 3.435
FSE Research Papers + FSE Industry Papers
Security 2
FSE Tool Demonstrations + FSE Research Papers + FSE Ideas, Visions and Reflections + FSE Journal-First Paper
Performance and energy
FSE Research Papers + FSE Ideas, Visions and Reflections
Compiler
Thu 9 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
MB 3.435
FSE Industry Papers + FSE Tool Demonstrations + FSE Research Papers + FSE Ideas, Visions and Reflections
Software Security
FSE Tool Demonstrations + FSE Ideas, Visions and Reflections + FSE Research Papers
Verification 2
Tue 7 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
MB 3.435
FSE Research Papers
Carbon-Taxed Transformers: A Green Compression Pipeline for Overgrown L ...
11:00 - 11:20
FSE Ideas, Visions and Reflections
Advancing Evidence-Based Social Sustainability in Software Engineering: ...
11:20 - 11:30
FSE Industry Papers
Practical Feasibility of Sustainable Software Engineering Tools and Tec ...
11:30 - 11:50
FSE Industry Papers
Adopting Concepts for Sustainable Improvement of the Developer Experien ...
11:50 - 12:10
FSE Research Papers
Fairness Testing of Large Language Models in Role-Playing
12:10 - 12:30
FSE Tool Demonstrations
TestAgent: A Multi-Agent LLM Framework for Repository-Level Unit Test G ...
14:00 - 14:10
FSE Industry Papers
Just-in-Time Catching Test Generation at Meta
14:10 - 14:30
FSE Industry Papers
Understanding and Mitigating Hallucinations in Industrial LLM-based Uni ...
14:30 - 14:50
FSE Journal-First Paper
Directed Grammar-Based Test Generation
14:50 - 15:10
FSE Research Papers
iCoRe: An Iterative Correlation-Aware Retriever for Bug Reproduction Te ...
15:10 - 15:30
FSE Research Papers
Understanding Code Similarity across Instruction Set Architectures: An ...
16:00 - 16:20
FSE Research Papers
SBridge: Identifying Source-to-Binary Function Similarity via Cross-Dom ...
16:20 - 16:40
FSE Research Papers
Understanding Binary Code Similarity for Real-World Vulnerability Detec ...
16:40 - 17:00
FSE Research Papers
UNICS: Multilingual Code Search via Unified Pseudocode and Contrastive ...
17:00 - 17:20
Wed 8 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
MB 3.435
FSE Industry Papers
YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant ...
10:30 - 10:50
FSE Research Papers
InDe-LLM: Defending Against Jailbreak Attacks in LLM-Powered Systems vi ...
10:50 - 11:10
FSE Research Papers
Characterizing Trust Boundary Vulnerabilities in TEE Container Systems: ...
11:10 - 11:30
FSE Research Papers
GadgetHunter: Region-Based Neuro-Symbolic Detection of Java Deserializa ...
11:30 - 11:50
FSE Research Papers
ReGA: Model-based Safeguard for LLMs via Representation-Guided Abstraction
11:50 - 12:10
FSE Journal-First Paper
Impact of extensions on browser performance: An empirical study on goog ...
14:00 - 14:20
FSE Research Papers
Evaluating Risk and Confidence in Performance Bounds of Configuration S ...
14:20 - 14:40
FSE Research Papers
Unleashing HPC Application Performance through Software Deployment: A J ...
14:40 - 15:00
FSE Ideas, Visions and Reflections
Rethinking Performance Debugging: From Optimization to Collaborative Re ...
15:00 - 15:10
FSE Ideas, Visions and Reflections
Energy Flow Graph: Modeling Software Energy Consumption
15:10 - 15:20
FSE Tool Demonstrations
CodeGreen: Towards Improving Precision and Portability in Software Ener ...
15:20 - 15:30
FSE Research Papers
Cost-Effective Testing of MPC Compilers
16:00 - 16:20
FSE Research Papers
Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violatio ...
16:20 - 16:30
FSE Ideas, Visions and Reflections
Compilomorphic Fuzzing: Turning a Compiler Against Itself
16:30 - 16:50
Thu 9 Jul
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
MB 3.435
FSE Tool Demonstrations
FISTS: A Field-based Security Testing Tool for Updates in Software-Defi ...
10:30 - 10:40
FSE Industry Papers
Enabling Security Champions With Breakout Action Groups (BAGs) – A Long ...
10:40 - 11:00
FSE Industry Papers
An Empirical Evaluation of Generative AI in Security Requirements Engin ...
11:00 - 11:20
FSE Research Papers
Uncovering Similar but Different Packages in PyPI and Potential Securit ...
11:20 - 11:40
FSE Research Papers
Reducing the TCB of SGX-oriented LibOSes at Runtime
11:40 - 12:00
FSE Tool Demonstrations
BackportCheck: An Open-Source Tool to Support Backport Decisions in Lar ...
12:00 - 12:10
FSE Ideas, Visions and Reflections
Towards Predicting Multi-Vulnerability Attack Chains in Software Supply ...
12:10 - 12:20
FSE Research Papers
Agentic Verification of Software Systems
14:00 - 14:20
FSE Research Papers
DiverFPS: Generating Diverse Solutions for Floating-Point SMT Formulas
14:20 - 14:40
FSE Ideas, Visions and Reflections
The Watermark Paradox: How Provenance Verification Paves the Road to Ca ...
14:40 - 14:50
FSE Tool Demonstrations
HarnessForge: Automated Extraction of Verification Tasks from Industry- ...
14:50 - 15:00
FSE Tool Demonstrations
PyMOP: A Runtime Verification Tool for Python
15:00 - 15:10
FSE Research Papers
Property Refinement in Linear Temporal Logic: Formal Semantics and Algo ...
15:10 - 15:30
x
Wed 27 May 21:16