Jitk: A Trustworthy In-Kernel Interpreter Infrastructure presented at OSDI 2014

by Nickolai Zeldovich, Zachary Tatlock, Xi Wang, David Lazar, Adam Chlipala,

Summary : N/A