On the Challenge of Sound Code for Operating Systems J Klimt, M Kröning, S Lankes, A Monti Proceedings of the 12th Workshop on Programming Languages and Operating …, 2023 | 1 | 2023 |
High-Configurability for Operating Systems T Deak, R Deaconescu, M Kröning, A Monti 2024 23rd RoEduNet Conference: Networking in Education and Research …, 2024 | | 2024 |
Improving the Educational Value of Operating Systems C Sava, R Deaconescu, M Kröning, A Monti, D Turcanu 2024 23rd RoEduNet Conference: Networking in Education and Research …, 2024 | | 2024 |
GPU Acceleration in Unikernels Using Cricket GPU Virtualization N Eiling, M Kröning, J Klimt, P Fensch, S Lankes, A Monti Proceedings of the SC'23 Workshops of The International Conference on High …, 2023 | | 2023 |
Concurrency Techniques and Hardware Abstraction Layer Concepts for Embedded Systems in Rust MW Kröning Universitätsbibliothek der RWTH Aachen, 2023 | | 2023 |
On memory safety and undefined behavior of unikernels in Rust MW Kröning, A Monti, S Lankes, JC Klimt E. ON Energy Research Center, 2023 | | 2023 |