Hermann Härtig

2 papers · 2023–2025 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐝 Cross-Pollinator (14)

Conferences

OSDI (2)

Top co-authors

Jonathan Schwender (1) Jan Klötzke (1) Diogo Behrens (1) Lars Wrenger (1) Haibo Chen (1) Jana Eisoldt (1) Jitang Lei (1) Viktor Vafeiadis (1) Till Miemietz (1) Viktor Reusch (1)

Keywords

formal verification (1) parallel processing (1) work stealing (1) microkernel architecture (1) multicore processing (1) container security (1) sandbox isolation (1) cve analysis (1) queue scheduling (1)

Papers

MettEagle: Costs and Benefits of Implementing Containers on Microkernels OSDI 2025

BWoS: Formally Verified Block-based Work Stealing for Parallel Processing OSDI 2023