DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel.

Jia-Ju Bai, Julia Lawall, Wende Tan, Shi-Min Hu

Browse the full ASPLOS paper archive.