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

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