![](https://www.pdfsearch.io/img/08aa457fd1c3ed5137f4b40c03f855eb.jpg)
| | 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 Website File Size: 275,56 KBShare Document on Facebook
|