Cited By
View all- GU JLI HXIA YGUAN HDING ZZHAO YCHEN H(2024)BrickOS: specialized kernels for heterogeneous hardware resourcesSCIENTIA SINICA Informationis10.1360/SSI-2022-041354:3(491)Online publication date: 11-Mar-2024
- Reusch VAsmussen NRoitzsch M(2024)Robust and Immediate Resource Reclamation with M3Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification10.1145/3698576.3698763(1-7)Online publication date: 4-Nov-2024
- Misono MOkelmann PMainas CBhatotia P(2024)uIO: Lightweight and Extensible UnikernelsProceedings of the 2024 ACM Symposium on Cloud Computing10.1145/3698038.3698518(580-599)Online publication date: 20-Nov-2024
- Show More Cited By