Check It Again: Detecting Lacking-Recheck Bugs in OS Kernels.

Wenwen Wang Kangjie Lu Pen-Chung Yew

Published in: CCS (2018)

Keyphrases

operating system
kernel function
open source
automatic detection
source code
multiple kernel learning
feature space
kernel methods
support vector
linear combination
test cases
windows xp
real time
multiple kernel
software systems
artificial intelligence
data mining
neural network
databases