FSE 2026
Sun 5 - Thu 9 July 2026 Montreal, Canada
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
Talk
Benchmarking AI Models in Software Engineering: A Review, Search Tool, and Unified Approach for Elevating Benchmark Quality
Journal-First Paper
Roham Koohestani Delft University of Technology, Philippe de Bekker Delft University of Technology, Begüm Koç Delft University of Technology, Mali Izadi Google & TU Delft
11:20
10m
Talk
Investigating Test Overfitting on SWE-bench
Ideas, Visions and Reflections
Toufique Ahmed IBM, Jatin Ganhotra IBM Research, Avraham Shinnar IBM Research, Martin Hirzel IBM Research
Pre-print
11:30
20m
Talk
CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic schemes
Research Papers
Zhaoxuan Li Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, Qionglu Zhang State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Hengyuan Liu State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Xiaoyan Gu State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Xianhui Lu State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Hongbo Liu State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Bingzheng Wang State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Haihui Fan State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Ziming Zhao Zhejiang University, Rui Zhang Taiyuan University of Science and Technology, Li Zhou Institute of Software, Chinese Academy of Sciences
11:50
20m
Talk
LoCaL: Countering Surface Bias in Code Evaluation Metrics
Research Papers
Simantika Bhattacharjee Dristi University of Virginia, Matthew B Dwyer University of Virginia
12:10
20m
Talk
VerilogASTBench: Benchmark Construction of Verilog AST Dataset with Dual-Stage AST Semantic Enhancement Framework
Research Papers
luping zhang Nanjing University of Posts and Telecommunications, Chao Chen Nanjing University of Posts and Telecommunications, Dapeng Yan Nanjing University of Posts and Telecommunications, Hui Xu Shenzhen Institute for Advanced Study, University of Electronic Science and Technology of China, Mingsheng Cao University of Electronic Science and Technology of China, Jingkuan Song University of Electronic Science and Technology of China, Zhikuang Cai Nanjing University of Posts and Telecommunications, Yufeng Guo Nanjing University of Posts and Telecommunications
14:00 - 15:30
SIGSOFT 50SIGSOFT 50 at MB 9D
16:00 - 17:30
SIGSOFT 50SIGSOFT 50 at MB 9D
17:30 - 18:30

Sun 5 Jul

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

Room14:003015:003016:003017:0030
MB 9D

Mon 6 Jul

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

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

Tue 7 Jul

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

Wed 8 Jul

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

Room10:003011:003012:0030
MB 9D

Thu 9 Jul

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

Room10:003011:003012:003013:003014:003015:0030
MB 9D