TY  - RPRT
TI  - PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
AU  - Xiaoqi Li
AU  - Xin Wang
AU  - Wenkai Li
AU  - Zongwei Li
PY  - 2026
DO  - 10.1145/3803437.3805575
UR  - https://arxiv.org/abs/2604.06975
ID  - 2604.06975
ER  -