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]
@inproceedings{YanokN15,
title = {Tapir: a language for verified OS kernel probes},
author = {Ilya Yanok and Nathaniel Nystrom},
year = {2015},
doi = {10.1145/2818302.2818303},
url = {http://doi.acm.org/10.1145/2818302.2818303},
researchr = {https://researchr.org/publication/YanokN15},
cites = {0},
citedby = {0},
pages = {33-38},
booktitle = {Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, USA, October 4, 2015},
editor = {Shan Lu},
publisher = {ACM},
isbn = {978-1-4503-3942-1},
}