109 citations · 126 across the 6 of their papers we have counts for
11 papers
Wayfinder: Automated Operating System Specialization
Alexander Jung, Cezar Crăciunoiu, Nikolaos Karaolidis +5
Specializing an OS to optimize the performance of a particular application is typically a manual process that requires great expertise. Specialization through configuration lends i…
Loupe: Driving the Development of OS Compatibility Layers
Hugo Lefeuvre, Gaulthier Gain, Vlad-Andrei Bădoiu +5
Supporting mainstream applications is fundamental for a new OS to have impact. It is generally achieved by developing a layer of compatibility allowing applications developed for a…
Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software
Hugo Lefeuvre, Vlad-Andrei Bădoiu, Yi Chien +3
Least-privilege separation decomposes applications into compartments limited to accessing only what they need. When compartmentalizing existing software, many approaches neglect se…
FlexOS: Towards Flexible OS Isolation
Hugo Lefeuvre, Vlad-Andrei Bădoiu, Alexander Jung +5
At design time, modern operating systems are locked in a specific safety and isolation strategy that mixes one or more hardware/software protection mechanisms (e.g. user/kernel sep…
Unikraft: Fast, Specialized Unikernels the Easy Way
Simon Kuenzer, Vlad-Andrei Bădoiu, Hugo Lefeuvre +12
Unikernels are famous for providing excellent performance in terms of boot times, throughput and memory consumption, to name a few metrics. However, they are infamous for making it…
SOL: Effortless Device Support for AI Frameworks without Source Code Changes
Nicolas Weber, Felipe Huici
Modern high performance computing clusters heavily rely on accelerators to overcome the limited compute power of CPUs. These supercomputers run various applications from different…