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]

@inproceedings{ChenBJLH19,
  title = {Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers},
  author = {Qiu-Liang Chen and Jia-Ju Bai and Zu-Ming Jiang and Julia Lawall and Shi-Min Hu},
  year = {2019},
  doi = {10.1109/SANER.2019.8668017},
  url = {https://doi.org/10.1109/SANER.2019.8668017},
  researchr = {https://researchr.org/publication/ChenBJLH19},
  cites = {0},
  citedby = {0},
  pages = {366-376},
  booktitle = {26th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2019, Hangzhou, China, February 24-27, 2019},
  editor = {Xinyu Wang and David Lo 0001 and Emad Shihab},
  publisher = {IEEE},
  isbn = {978-1-7281-0591-8},
}