Effective Detection of Sleep-in-Atomic-Context Bugs in the Linux Kerneldl.acm.org3 pointsrbanffy6 years ago