Hyperkernel: Push-Button Verification of an OS Kernel.
Luke NelsonHelgi SigurbjarnarsonKaiyuan ZhangDylan JohnsonJames BornholtEmina TorlakXi WangPublished in: SOSP (2017)
Keyphrases
- operating system
- open source
- kernel function
- formal verification
- support vector
- asynchronous circuits
- kernel methods
- positive definite
- component analysis
- kernel regression
- virtual machine
- signature verification
- formal analysis
- model checking
- verification method
- feature space
- case study
- database manager
- kernel space
- sparse kernel
- perceptron learning
- multiple kernel learning
- graph kernels
- kernel density estimation
- face verification
- real time
- multi class
- training set
- artificial intelligence
- learning algorithm
- machine learning