safeL4: Rethinking Safe-Language-Based Single Address Space Microkernels
Z. Xu, X. Zhang, Z. Li, Z. Nie, G. Zhu, Z. Lu, Q. Zhang, S. Zhao, H. Chen, R. Hou
ASPLOS ’27