Publications

2024

2023

  • CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment Interfaces Yi Chien, Vlad-Andrei Bădoiu, Yudi Yang, Yuqian Huo, Kelly Kaoudis, Hugo Lefeuvre, Pierre Olivier, Nathan Dautenhahn - Workshop on Kernel Isolation, Safety and Verification (KISV at SOSP23)

2022

2021

  • FlexOS: Making OS Isolation Flexible H. Lefeuvre, V-A. Bădoiu, S. Teodorescu, T. Mosnoi, C. Raiciu, P. Olivier, R. Deaconescu, F. Huici - 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 - Eurosys 2021 [Best Paper Award]
  • 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