Login / Signup
Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking.
Xin Tan
Yuan Zhang
Xiyu Yang
Kangjie Lu
Min Yang
Published in:
USENIX Security Symposium (2021)
Keyphrases
</>
consistency checking
stochastic search
three dimensional
query answering
temporal reasoning
temporal constraints
kernel methods
cubic convolution
data mining
path consistency
kernel function
database
temporal information
spatial information
test cases
support vector
reinforcement learning
database systems