Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers

Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu. Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers. In Xinyu Wang, David Lo 0001, Emad Shihab, editors, 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2019, Hangzhou, China, February 24-27, 2019. pages 366-376, IEEE, 2019. [doi]

Authors

Qiu-Liang Chen

This author has not been identified. Look up 'Qiu-Liang Chen' in Google

Jia-Ju Bai

This author has not been identified. Look up 'Jia-Ju Bai' in Google

Zu-Ming Jiang

This author has not been identified. Look up 'Zu-Ming Jiang' in Google

Julia Lawall

This author has not been identified. Look up 'Julia Lawall' in Google

Shi-Min Hu

This author has not been identified. Look up 'Shi-Min Hu' in Google