Martin Kröning

According to our database, Martin Kröning authored at least 9 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Employ SmartNICs' Data Path Accelerators for Ordered Key-Value Stores.

Frederic Schimmelpfennig, Jan Sass, Reza Salkhordeh, Martin Kröning, Stefan Lankes, André Brinkmann

CoRR, January, 2026

2025

From Browser to Kernel: Exploring a Lightweight Sandboxed Approach for Unikernel Extensions.

Martin Kröning, Stefan Lankes, Jonathan Klimt, Antonello Monti

Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025

HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model.

Sascha Neske, Bryan Olmos, Shuhang Zhang, Martin Kröning, Stefan Lankes, Wolfgang Kunz, Djones Lettnin

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2025

2024

Improving the Educational Value of Operating Systems.

Cezar Sava, Razvan Deaconescu, Martin Kröning, Antonello Monti, Dinu Turcanu

Proceedings of the 23rd RoEduNet Conference: Networking in Education and Research, 2024

High-Configurability for Operating Systems.

Tiberiu Deak, Razvan Deaconescu, Martin Kröning, Antonello Monti

Proceedings of the 23rd RoEduNet Conference: Networking in Education and Research, 2024

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

Dataset, August, 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

Dataset, August, 2023

GPU Acceleration in Unikernels Using Cricket GPU Virtualization.

Niklas Eiling, Martin Kröning, Jonathan Klimt, Philipp Fensch, Stefan Lankes, Antonello Monti

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, 2023

On the Challenge of Sound Code for Operating Systems.

Jonathan Klimt, Martin Kröning, Stefan Lankes, Antonello Monti

Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023