Gerd Zellweger
5 papers · 2014–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(9)
🐝
Cross-Pollinator
(3)
📈
Trend Setter
Conferences
OSDI (4)
NSDI (1)
Top co-authors
Keywords
performance optimization
(1)
formal verification
(1)
network latency
(1)
strong consistency
(1)
hardware profiling
(1)
operating system
(1)
state machine replication
(1)
state machine
(1)
operating system kernel
(1)
automated verification
(1)
kernel replication
(1)
numa architecture
(1)
multicore scaling
(1)
transition system
(1)
network profiling
(1)
rust language
(1)
language safety
(1)
fault isolation
(1)
device driver
(1)
concurrent programming
(1)
Papers
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
OSDI 2023
How to diagnose nanosecond network latencies in rich end-host stacks
NSDI 2022
NrOS: Effective Replication and Sharing in an Operating System
OSDI 2021
RedLeaf: Isolation and Communication in a Safe Operating System
OSDI 2020
Decoupling Cores, Kernels, and Operating Systems
OSDI 2014