Translation validation for a verified OS kernel.
Thomas Arthur Leck SewellMagnus O. MyreenGerwin KleinPublished in: PLDI (2013)
Keyphrases
- operating system
- machine translation
- kernel methods
- matching procedure
- support vector
- cross language information retrieval
- convolution kernel
- kernel function
- database manager
- kernel density estimation
- mutual subspace method
- virtual machine
- sparse kernel
- kernel machines
- positive definite
- statistical machine translation
- partial least squares regression
- kernel space
- kernel learning
- kernel regression
- string kernels
- search engine
- reproducing kernel hilbert space
- high dimensional
- feature space
- multiscale
- feature extraction