FSE 2026
Sun 5 - Thu 9 July 2026 Montreal, Canada
Thu 9 Jul 2026 14:40 - 14:50 at MB 9A - Demystifying bugs Chair(s): Song Wang

With the rapid advancement of decentralized applications, smart contract security faces severe challenges, particularly regarding atomicity violations in complex logic such as Oracle and NFT contracts. Rigid rule sets often limit traditional static analyzers and lack deep contextual awareness, leading to high false-positive and false-negative rates when identifying vulnerabilities that depend on intermediate state inconsistencies. To address these limitations, this paper proposes PSR², a novel collaborative static analysis framework that integrates structural path searching with deterministic semantic reasoning. PSR² utilizes a Graph Structure Analysis Agent (GSAA) to identify suspicious execution sequences in control flow graphs and a Semantic Context Analysis Agent (SCSA) to extract data dependencies and state facts from abstract syntax trees. A Fusion Decision Agent (FDA) then performs formal cross validation to confirm vulnerabilities based on a unified atomicity inconsistency model. Experimental results on 1,600 contract samples demonstrate that PSR² significantly outperforms tools, achieving an F1-score of 94.69% in complex ERC-721 scenarios—a substantial improvement over the 51.86% achieved by pattern-matching baselines. Ablation studies further confirm that our fusion logic effectively reduces the false-positive rate by nearly half compared to single module analysis.

Thu 9 Jul

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

14:00 - 15:30
Demystifying bugsResearch Papers / Ideas, Visions and Reflections at MB 9A
Chair(s): Song Wang York University
14:00
20m
Talk
Understanding Performance Problems in CUDA Programs
Research Papers
Yuyang Bi , Junming Cao Fudan University, You Lu Fudan University, Bihuan Chen Fudan University, Tianwei Gan Fudan University, Dingji Wang Fudan University, Xin Peng Fudan University
14:20
20m
Talk
CrossFit: Demystifying VM Callback Bugs in Interpreters
Research Papers
14:40
10m
Talk
PSR²: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
Ideas, Visions and Reflections
Xiaoqi Li Hainan University, Xin Wang Hainan University, Wenkai Li Hainan University, Zongwei Li Hainan University
15:00
10m
Talk
When Shared Worlds Break: Demystifying Defects in Multi-User Extended Reality Software Systems
Research Papers
Shuqing Li The Chinese University of Hong Kong, Chenran Zhang Harbin Institute of Technology, Binchang Li Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Michael Lyu The Chinese University of Hong Kong