On the Challenge of Sound Code for Operating Systems. - Jonathan Klimt; Martin Kröning; Stefan Lankes; Antonello Monti (PLOS@SOSP, 2023)

GPU Acceleration in Unikernels Using Cricket GPU Virtualization. - Niklas Eiling; Martin Kröning; Jonathan Klimt; Philipp Fensch; Stefan Lankes; Antonello Monti (SC Workshops, 2023)

Evaluation Resources for "GPU Acceleration in Unikernels Using Cricket GPU Virtualization". - Niklas Eiling; Martin Kröning; Jonathan Klimt; Philipp Fensch; Stefan Lankes; Antonello Monti (Zenodo, 2023)

Evaluation Resources for "GPU Acceleration in Unikernels Using Cricket GPU Virtualization". - Niklas Eiling; Martin Kröning; Jonathan Klimt; Philipp Fensch; Stefan Lankes; Antonello Monti (Zenodo, 2023)

High-Configurability for Operating Systems. - Tiberiu Deak; Razvan Deaconescu; Martin Kröning; Antonello Monti (RoEduNet, 2024)

Improving the Educational Value of Operating Systems. - Cezar Sava; Razvan Deaconescu; Martin Kröning; Antonello Monti; Dinu Turcanu (RoEduNet, 2024)