Virtualizing mixed-criticality systems: A survey on industrial trends and issues

M Cinque, D Cotroneo, L De Simone… - Future Generation …, 2022 - Elsevier
Virtualization is gaining attraction in the industry as it promises a flexible way to integrate,
manage, and re-use heterogeneous software components with mixed-criticality levels, on a …

A binary-compatible unikernel

P Olivier, D Chiba, S Lankes, C Min… - Proceedings of the 15th …, 2019 - dl.acm.org
Unikernels are minimal single-purpose virtual machines. They are highly popular in the
research domain due to the benefits they provide. A barrier to their widespread adoption is …

Isolating functions at the hardware limit with virtines

NC Wanninger, JJ Bowden, K Shetty, A Garg… - Proceedings of the …, 2022 - dl.acm.org
An important class of applications, including programs that leverage third-party libraries,
programs that use user-defined functions in databases, and serverless applications, benefit …

Exploring rust for unikernel development

S Lankes, J Breitbart, S Pickartz - Proceedings of the 10th Workshop on …, 2019 - dl.acm.org
System-level development has been dominated by programming languages like C/C++ for
decades. These languages are inherently unsafe, error-prone, and a major reason for …

Hexo: Offloading hpc compute-intensive workloads on low-cost, low-power embedded systems

P Olivier, AKMF Mehrab, S Lankes… - Proceedings of the 28th …, 2019 - dl.acm.org
OS-capable embedded systems exhibiting a very low power consumption are available at
an extremely low price point. It makes them highly compelling in a datacenter context. In this …

HEXO: Offloading long-running compute-and memory-intensive workloads on low-cost, low-power embedded systems

P Olivier, AKMF Mehrab, S Errabelly… - … on Cloud Computing, 2024 - ieeexplore.ieee.org
OS-capable embedded systems exhibiting a very low power consumption are available at
an extremely low price point. It makes them highly compelling in a datacenter context. We …

uIO: Lightweight and Extensible Unikernels

M Misono, P Okelmann, C Mainas… - Proceedings of the 2024 …, 2024 - dl.acm.org
Unikernels specialize operating systems by tailoring the kernel for a specific application at
compile time. While the specialized library OS approach provides a smaller OS image-thus …

RustyHermit: a scalable, rust-based virtual execution environment

S Lankes, J Klimt, J Breitbart, S Pickartz - High Performance Computing …, 2020 - Springer
Abstract System-level development has been dominated by programming languages such
as C/C++ for decades. These languages are inherently unsafe, error-prone, and a major …

Method and system for improving software container performance and isolation

Z Shen, R Van Renesse, H Weatherspoon - US Patent 12,001,867, 2024 - Google Patents
A method in one embodiment comprises implementing a kernel-based isolation layer,
configuring a software container on the kernel-based isolation layer to include a dedicated …

Trends in Unikernel and Its Application to Manycore Systems

SJ Cha, SH Jeon, R Ramneek, JM Kim… - Electronics and …, 2018 - koreascience.kr
As recent applications are requiring more CPUs for their performance, manycore systems
have evolved. Since existing operating systems do not provide performance scalability in …