Current Projects

...
ANR SCALER

The goal of the SCALER project is to deliver a software framework to enable smart microservice scaling capabilities...

See more
...
CMA VerIT

The ambition of the VerIT project is to develop a range of awareness-raising and training initiatives for a wide variety of audiences

See more
...
Detecting data races in the Linux kernel

The objective of the project is to design a new mechanism to specify and detect data races bugs in the Linux kernel.

See more
...
Disaggregation

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
...
Efficient Key-Value store for future hardware

The objective of the project is to design an efficient key-value store for heterogeneous hardware, exploiting fast NVMe SSDs, hybrid memories, and accelerators.

See more
...
Fault tolerance

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
...
New abstractions for System

The goal is studying how to evolve system software to better address the challenges of current and future infrastructures.

See more
...
PEPR Cloud

PEPR Cloud (Priority Research Projects and Equipment), which aims to contribute to the advancement of Cloud technologies.

See more
...
Taranis Project

The Taranis project aims to globally optimize the resources used with respect to multi-criteria objectives on both the user and resource provider side.

See more
...
Virtual Machines

This axis aims at enhancing hypervisors, the virtualization systems for physical machines Due to its cost-effectiveness.

See more