TY  - RPRT
TI  - Automated detection of atomicity violations in large-scale systems
AU  - Hang He
AU  - Yixing Luo
AU  - Chengcheng Wan
AU  - Ting Su
AU  - Haiying Sun
AU  - Geguang Pu
PY  - 2025
UR  - https://arxiv.org/abs/2504.00521
ID  - 2504.00521
ER  -