I am a PhD candidate under the supervision of Pierre Olivier and Giles Reger in the Advanced Processor Technologies group at the University of Manchester.
My research interests span unikernels, software compartmentalization, memory safety, and memory management. More generally, I have interest in systems, security, virtualization, computer networking, and free-software!
Selected Publications
2021
-
Wayfinder: Towards Automatically Deriving Optimal OS Configurations.
A. Jung, H. Lefeuvre, C. Rotsos, P. Olivier, D. Oñoro-Rubio, F. Huici, M. Niepert.
APSys'21 [ACM] [PDF] -
FlexOS: Making OS Isolation Flexible.
H. Lefeuvre, V-A. Bădoiu, S. Teodorescu, P. Olivier, T. Mosnoi, R. Deaconescu, F. Huici, C. Raiciu.
HotOS'21 [ACM] [PDF] -
Unikraft: Fast, Specialized Unikernels the Easy Way.
S. Kuenzer, V-A. Bădoiu, H. Lefeuvre, S. Santhanam, A. Jung, G. Gain, C. Soldani, C. Lupu, S. Teodorescu, C. Răducanu, C. Banu, L. Mathy, R. Deaconescu, C. Raiciu, F. Huici.
EuroSys'21 [ACM] [PDF] Best Paper Award!
2020
- Towards Highly Specialized, POSIX-compliant Software Stacks with Unikraft: Work-in-Progress.
S. Santhanam, S. Kuenzer, H. Lefeuvre, F. Huici, A. Jung, S. Pagani, G-C. Muraru, S. Stabellini, J. He, J. Beri.
EMSOFT'20 [IEEE] [PDF]
Research I find exciting
Not mine, but really cool!
- The CHERI capability machine: [Website]
- The SeL4 microkernel: [Website]
- The Mimalloc memory allocator: [GitHub]
- Coccinelle semantic patches: [Website] [GitHub]
Some links
Stuff I work/worked on:
- Unikraft, the unikernel SDK: [Website] [GitHub] [EuroSys'21 Artifact]