Awarded Best Paper!
13 papers
· 2020–2024
· 1 conference
· across top CS/AI conferences
Achievements
π§
Keyword Pioneer
πΊοΈ
Taxonomy Completionist
(11)
π
Cross-Pollinator
(5)
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
π
Keyword Champion
(2)
π₯
Mega-Team
(20)
ποΈ
Keyword Collector
(85)
π
Century Club
(13)
π₯
Unstoppable
(5)
Conferences
OSDI (13)
Top co-authors
Research topics
Keywords
formal verification
(2)
distributed system
(2)
distributed consensus
(2)
secure computation
(1)
deep learning training
(1)
resource allocation
(1)
byzantine fault tolerance
(1)
adaptive optimization
(1)
ebpf hook
(1)
temporal logic
(1)
invariant learning
(1)
safety property
(1)
data center
(1)
cluster management
(1)
packet processing
(1)
fault tolerance
(1)
kernel bypass
(1)
cloud computing
(1)
deep learning
(1)
statistical analysis
(1)
Papers
Virtual Consensus in Delos
OSDI 2020