Tapir: a language for verified OS kernel probes

Ilya Yanok, Nathaniel Nystrom. Tapir: a language for verified OS kernel probes. In Shan Lu, editor, Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015. pages 33-38, ACM, 2015. [doi]

Abstract

Abstract is missing.