From Potential to Confirmed: Effective Detection of Atomicity Violations in Interrupt-Driven Programs via Guided Memory Access Graph

Open Webpage

Zixuan Yuan, Bin Yu, Xincheng Wang, Xu Lu, Cheng Wen, Wensheng Wang, Hao Wang, Chu Chen, Cong Tian

Published: 01 Jan 2026, Last Modified: 27 May 2026CrossrefEveryoneRevisionsCC BY-SA 4.0