Jitk: A Trustworthy In-Kernel Interpreter Infrastructure.

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

Browse the full OSDI paper archive.