Co-occurring keywords · papers mentioning both
Papers
Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel
OSDI 2024
Operating System Support for Safe and Efficient Auxiliary Execution
OSDI 2022
Light-Weight Contexts: An OS Abstraction for Safety and Performance
OSDI 2016