Research

FlexOS: towards flexible OS isolation Hugo Lefeuvre, Vlad-Andrei Bădoiu, Alexander Jung, Stefan Lucian Teodorescu, Sebastian Rauch, Felipe Huici, Costin Raiciu, Pierre Olivier - in ASPLOS 22 [Distinguished Artifact Award]
MSpec: Automated Safety Reasoning for OS Compartmentalization, Vlad-Andrei Bădoiu - in EuroDW 22

FlexOS: Making OS Isolation Flexible H. Lefeuvre, Vlad-Andrei Bădoiu, S. Teodorescu, T. Mosnoi, C. Raiciu, P. Olivier, R. Deaconescu, F. Huici - in HotOS 2021.
Unikraft: Fast, Specialized Unikernels the Easy Way Simon Kuenzer, Vlad-Andrei Bădoiu, Hugo Lefeuvre, Sharan Santhanam, Alex Jung, Gaulthier Gain, Cyril Soldani, Costin Lupu, Stefan Teodorescu, Costi Raducanu, Cristian Banu, Laurent Mathy, Razvan Deaconescu, Costin Raiciu, Felipe Huici - in Eurosys 2021 [Best Paper Award]
FlexOS : Vers une Isolation Flexible du Noyau - Hugo Lefeuvre, Vlad-Andrei Badoiu, Stefan Lucian Teodorescu, Pierre Olivier, Tiberiu Mosnoi, Razvan Deaconescu, Felipe Huici and Costin Raiciu - in Compass 2021 [PDF]
Unikraft and The Coming of Age of Unikernels Hugo Lefeuvre, Gaulthier Gain, Daniel Dinca, Alexander Jung, Simon Kuenzer, Vlad-Andrei Badoiu, Razvan Deaconescu, Laurent Mathy, Costin Raiciu, Pierre Olivier, Felipe Huici in login; The Usenix Magazine