Detect atomicity violations in concurrent programs through user assistance and identification of suspicious variable access patterns | OpenReview

Detect atomicity violations in concurrent programs through user assistance and identification of suspicious variable access patterns

Open Webpage

Jingwen Zhao, Yanxia Wu, Yun Feng, Jibin Dong, Changting Shi

Published: 2025, Last Modified: 06 Apr 2025J. Softw. Evol. Process. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0

Loading