Latest

• Modeling Speedup in Multi-OS Environments
• Multi-kernel Modeling paper accepted to appear in TPDS!
• OpenMP in Nautilus paper accepted to SC21
• Paths to OpenMP in the Kernel
• Coalescent Computing
• Coordinated Resource Management for Cloud-based Specialized Operating Systems
• The Interweaving Project
• Nautilus Aerokernel
• Presentation at MASCOTS '19
• Modeling Speedup in Multi-OS Environments
• Towards a Practical Ecosystem of Specialized OS Kernels