Ruixue Li, Bin Yu 0008, Xu Lu 0003, Lei Ke, Jiawei Chen, Zixuan Yuan, Jingxian Wang, Cong Tian, Yansong Dong. Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback. In Vladimir Filkov, Baishakhi Ray, Minghui Zhou 0001, editors, Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024. pages 2454-2455, ACM, 2024. [doi]
Abstract is missing.