Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels [pdf]

Article URL: https://www-users.cs.umn.edu/~kjlu/papers/deadline.pdf

Comments URL: https://news.ycombinator.com/item?id=18158229

Points: 9

# Comments: 0

from Hacker News: Front Page https://ift.tt/2RxaRkT
via