Rex: Closing the language-verifier gap with safe and usable kernel extensions. - Jinghao Jia; Ruowen Qin; Milo Craun; Egor Lukiyanov; Ayush Bansal; Minh Phan; Michael V. Le; Hubertus Franke; Hani Jamjoom; Tianyin Xu; Dan Williams 001 (USENIX ATC, 2025)

Safe and usable kernel extensions with Rax. - Jinghao Jia; Ruowen Qin; Milo Craun; Egor Lukiyanov; Ayush Bansal; Michael V. Le; Hubertus Franke; Hani Jamjoom; Tianyin Xu; Dan Williams 001 (CoRR, 2025)