Detecting Kernel Memory Leaks in Specialized Modules with Ownership Reasoning.
Navid EmamdoostQiushi WuKangjie LuStephen McCamantPublished in: NDSS (2021)
Keyphrases
- modular ontologies
- automatic identification
- knowledge base
- kernel function
- general purpose
- case based reasoner
- probabilistic reasoning
- reasoning systems
- past experience
- information flow
- knowledge representation
- knowledge structures
- feature space
- building blocks
- reasoning process
- limited memory
- kernel methods
- data sets
- memory space
- legal reasoning
- case based reasoning
- functional modules
- leak detection
- automatic detection
- convolution kernel
- description logics
- memory usage
- kernel matrix
- memory requirements