Bin Yu, Cong Tian, Hengrui Xing, Zuchao Yang, Jie Su, Xu Lu 0003, Jiyu Yang, Liang Zhao, Xiaofeng Li, Zhenhua Duan. Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering. In Satish Chandra 0001, Kelly Blincoe, Paolo Tonella, editors, Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023. pages 1153-1164, ACM, 2023. [doi]
@inproceedings{YuTXYS0YZLD23,
title = {Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering},
author = {Bin Yu and Cong Tian and Hengrui Xing and Zuchao Yang and Jie Su and Xu Lu 0003 and Jiyu Yang and Liang Zhao and Xiaofeng Li and Zhenhua Duan},
year = {2023},
doi = {10.1145/3611643.3616276},
url = {https://doi.org/10.1145/3611643.3616276},
researchr = {https://researchr.org/publication/YuTXYS0YZLD23},
cites = {0},
citedby = {0},
pages = {1153-1164},
booktitle = {Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023},
editor = {Satish Chandra 0001 and Kelly Blincoe and Paolo Tonella},
publisher = {ACM},
}