@inproceedings {186144, author = {Xi Wang and David Lazar and Nickolai Zeldovich and Adam Chlipala and Zachary Tatlock}, title = {Jitk: A Trustworthy {In-Kernel} Interpreter Infrastructure}, booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)}, year = {2014}, isbn = { 978-1-931971-16-4}, address = {Broomfield, CO}, pages = {33--47}, url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/wang_xi}, publisher = {USENIX Association}, month = oct }