@inproceedings{ASPLOS-2019-BaiLTH,
	author        = "Jia-Ju Bai and Julia Lawall and Wende Tan and Shi-Min Hu 0001",
	booktitle     = "{Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems}",
	doi           = "10.1145/3297858.3304065",
	isbn          = "978-1-4503-6240-5",
	pages         = "287--299",
	publisher     = "{ACM}",
	title         = "{DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel}",
	year          = 2019,
}