Jitk: A Trustworthy In-Kernel Interpreter Infrastructure

TitleJitk: A Trustworthy In-Kernel Interpreter Infrastructure
Publication TypeConference Paper
Year of Publication2014
AuthorsWang X, Lazar D, Zeldovich N, Chlipala A, Tatlock Z
Conference Name11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14)
Date Published10/2014
Publisher{USENIX} Association
Conference LocationBroomfield, CO
ISBN Number 978-1-931971-16-4
URLhttps://www.usenix.org/conference/osdi14/technical-sessions/presentation/wang_xi