laarcnew | comments | discord | tags | ask | show | place | submitlogin
Jitk: A Trustworthy In-Kernel Interpreter Infrastructure (mit.edu)
2 points by akkartik to programming 19 days ago | 1 comment




2 points by rain1 18 days ago

This is a nice place to apply formal methods, because it's very clear what purpose they have (to keep the interpreter from miscompiling code and corrupting the kernel) and the benefit is something we all want (if an interpreter runs in kernel, we all want it to be as safe and secure as possible).

reply




Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: