Detecting All High-Level Dataraces in an RTOS Kernel.

Suvam Mukherjee Arun Kumar Deepak D'Souza

Published in: VMCAI (2017)

Keyphrases

high level
low level
kernel function
higher level
kernel regression
kernel methods
low level features
input space
mid level
information systems
automatic detection
intermediate level
kernel space
search engine
feature selection
programming language