Automatic Inference and Enforcement of Kernel Data Structure Invariants | IEEE Conference Publication | IEEE Xplore