Gerd Zellweger
5 papers · 2014–2023 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
Top co-authors
Research topics
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