Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure
OSDI, 2014.
@inproceedings{OSDI-2014-WangLZCT,
author = "Xi Wang and David Lazar and Nickolai Zeldovich and Adam Chlipala and Zachary Tatlock",
booktitle = "{Proceedings of the 11th Symposium on Operating Systems Design and Implementation}",
ee = "https://www.usenix.org/conference/osdi14/technical-sessions/presentation/wang_xi",
pages = "33--47",
publisher = "{USENIX Association}",
title = "{Jitk: A Trustworthy In-Kernel Interpreter Infrastructure}",
year = 2014,
}