Tapir: a language for verified OS kernel probes.

Ilya Yanok, Nathaniel Nystrom

Browse the full SOSP paper archive.