Jitk: A Trustworthy In-Kernel Interpreter Infrastructure
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure
OSDI, 2014.

OSDI 2014
DBLP
Scholar
?EE?
Full names Links ISxN
@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,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.