About KrakOS

Created on October 1st, 2024, Krakos is the Virtualization, OS design, Concurrent and distributed programming, distributed programming and Middleware for cloud infrastructures Group at University of Grenoble and one of the larger groups in the Computer Science department at the VU. Our research covers all aspects of system-level security and reliability, with a focus on memory safety and memory access violations (using software or hardware vulnerabilities).

The Krakos project aims at revisiting the fundamental principles that have governed the construction of system layers until now to consider the modernity of data centers and anticipate future developments. Krakos targets five main objectives and the trade-offs between them:

Image
  • Performance, characterized by application metrics such as execution time, throughput, and latency, as well as statistical indicators of the variability of these metrics;

  • Fault tolerance and high availability;

  • Velocity of development, testing, and deployment (to enable rapid consideration of new requirements);

  • Expressiveness and flexibility of programming interfaces (APIs) to simplify application programmers' work;

  • Energy efficiency. Krakos aims at achieving the above objectives while maintaining (at the very least) or improving the energy efficiency of the considered systems.

Team KrakOs Past and Present