Unikraft

• Blink and you miss it — VMM-OS Co-Design for Millisecond Boot of Isolated Serverless Applications

  2026 Workshop on Programming Languages and Operating Systems (PLOS) conference-paper Computer Science Cloud Computing and Resource Management Open access

  0

  citations
• Dissecting the Performance Impact of System Calls

  2026 Workshop on Programming Languages and Operating Systems (PLOS) conference-paper Computer Science Security and Verification in Computing Open access

  0

  citations
• From Browser to Kernel: Exploring a Lightweight Sandboxed Approach for Unikernel Extensions

  2025 Workshop on Programming Languages and Operating Systems (PLOS) conference-paper Computer Science Security and Verification in Computing Open access

  0

  citations
• High-Configurability for Operating Systems

  2024 RoEduNet Conference: Networking in Education and Research (RoEduNet) conference-paper Computer Science Advanced Software Engineering Methodologies

  0

  citations
• Improving the Educational Value of Operating Systems

  2024 RoEduNet Conference: Networking in Education and Research (RoEduNet) conference-paper Computer Science Educational Technology and E-Learning Open access

  0

  citations
• GPU Acceleration in Unikernels Using Cricket GPU Virtualization

  2023 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

  1

  citations
• A Syscall-Level Binary-Compatible Unikernel

  2021 IEEE Transactions on Computers article Computer Science Security and Verification in Computing

  7

  citations

7 results

• Intra-unikernel isolation with Intel memory protection keys

  2020 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE) conference-paper Computer Science Security and Verification in Computing

  56

  citations

1 result