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


2 points by rain1 76 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).

-----




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

RSS (stories) | RSS (comments)

Search: