Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Bin Yu' in GoogleThis author has not been identified. Look up 'Cong Tian' in GoogleThis author has not been identified. Look up 'Hengrui Xing' in GoogleThis author has not been identified. Look up 'Zuchao Yang' in GoogleThis author has not been identified. Look up 'Jie Su' in GoogleThis author has not been identified. Look up 'Xu Lu 0003' in GoogleThis author has not been identified. Look up 'Jiyu Yang' in GoogleThis author has not been identified. Look up 'Liang Zhao' in GoogleThis author has not been identified. Look up 'Xiaofeng Li' in GoogleThis author has not been identified. Look up 'Zhenhua Duan' in Google

runs on WebDSL