First Page | Document Content | |
---|---|---|
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington AbstractAdd to Reading ListSource URL: people.csail.mit.eduDownload Document from Source WebsiteFile Size: 275,56 KBShare Document on Facebook |