Gerd Zellweger
5 papers
· 2014–2023
· 2 conferences
· across top CS/AI conferences
Achievements
🧭
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)