Awarded Best Paper!
13 papers · 2020–2024 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π§ 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
Anvil: Verifying Liveness of Cluster Management Controllers
OSDI 2024
VeriSMo: A Verified Security Module for Confidential VMs
OSDI 2024
ServiceLab: Preventing Tiny Performance Regressions at Hyperscale through Pre-Production Testing
OSDI 2024
Triangulating Python Performance Issues with SCALENE
OSDI 2023
EnsΕ: A Streaming Interface for NIC-Application Communication
OSDI 2023
MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime
OSDI 2022
XRP: In-Kernel Storage Functions with eBPF
OSDI 2022
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
OSDI 2021
MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation
OSDI 2021
Pollux: Co-adaptive Cluster Scheduling for Goodput-Optimized Deep Learning
OSDI 2021
Byzantine Ordered Consensus without Byzantine Oligarchy
OSDI 2020
hXDP: Efficient Software Packet Processing on FPGA NICs
OSDI 2020
Virtual Consensus in Delos
OSDI 2020