@misc{indiciaef5b9060aaa22,
  title = {PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement},
  author = {Xiaoqi Li and Xin Wang and Wenkai Li and Zongwei Li},
  year = {2026},
  doi = {10.1145/3803437.3805575},
  url = {https://arxiv.org/abs/2604.06975},
  note = {Source identifier: 2604.06975}
}