DSAC: Effective static analysis of sleep-in-atomic-context bugs in kernel modules

Jia Ju Bai, Yu Ping Wang, Julia Lawall, Shi Min Hu

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

14 Citations (Scopus)

Fingerprint

Dive into the research topics of 'DSAC: Effective static analysis of sleep-in-atomic-context bugs in kernel modules'. Together they form a unique fingerprint.

Computer Science