Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, Shi-Min Hu. DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. In Haryadi S. Gunawi, Benjamin Reed, editors, 2018 USENIX Annual Technical Conference, USENIX ATC 2018, Boston, MA, USA, July 11-13, 2018. pages 587-600, USENIX Association, 2018. [doi]
@inproceedings{BaiWLH18,
title = {DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules},
author = {Jia-Ju Bai and Yu-Ping Wang and Julia Lawall and Shi-Min Hu},
year = {2018},
url = {https://www.usenix.org/conference/atc18/presentation/bai},
researchr = {https://researchr.org/publication/BaiWLH18},
cites = {0},
citedby = {0},
pages = {587-600},
booktitle = {2018 USENIX Annual Technical Conference, USENIX ATC 2018, Boston, MA, USA, July 11-13, 2018},
editor = {Haryadi S. Gunawi and Benjamin Reed},
publisher = {USENIX Association},
}