Tapir: a language for verified OS kernel probes.

Ilya Yanok Nathaniel Nystrom

Published in: PLOS@SOSP (2015)

Keyphrases

operating system
language learning
programming language
feature space
natural language
open source
component analysis
language processing
machine translation
database manager
kernel density estimation
object oriented programming
virtual machine
kernel methods
data sets
kernel function
genetic algorithm
databases