This axis aims at enhancing hypervisors, the virtualization systems for physical machines Due to its cost-effectiveness.
See more
KrakOS is studying how to evolve system software to better address the challenges of current and future infrastructures.
See more
The rise of cloud computing has been enabled by the maturation of virtualization technologies, which allow the flexible allocation/deallocation of resources (in the form of Virtual Machines, “VMs”).
See more
Designers often do not consider fault tolerance in system solutions during their initial development. This situation can render solutions that were initially proven effective impractical.
See more
The objective of the project is to design an efficient key-value store for heterogeneous hardware, exploiting fast NVMe SSDs, hybrid memories (persistent, high bandwidth, CXL, ...), and accelerators (GPUs, TPUs, ...).
See more
The objective of the project is to design a new mechanism to specify and detect data races bugs in the Linux kernel.
See more