Awarded Best Paper!
15 papers · 2020–2026 · 1 venue · 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 ↓+4 more ↓ Show less ↑
🏃 Academic Marathon · Sprint 🗺️ Taxonomy Completionist (23) 🌉 Interdisciplinary Bridge · Bronze 🏆 Keyword Champion (2) 👥 Mega-Team · Squad
🗃️
Keyword Collector
(100)
🔥
Unstoppable · Bronze
📈
Trend Setter
💎
Century Club · Bronze
Venues
Top co-authors
Research topics
Computer Science
(10)
Systems
(9)
Machine Learning
(7)
Application Areas
(5)
Foundations
(4)
Optimization & Theory · Machine Learning
(4)
Artificial Intelligence
(2)
Deep Learning
(2)
Mathematics & Optimization
(2)
Applications
(2)
Core AI
(2)
Optimization
(2)
Knowledge & Reasoning
(1)
Models
(1)
Optimization & Theory · Deep Learning
(1)
Keywords
distributed system
(2)
formal verification
(2)
distributed consensus
(2)
secure computation
(1)
deep learning training
(1)
resource allocation
(1)
byzantine fault tolerance
(1)
adaptive optimization
(1)
cloud computing
(1)
temporal logic
(1)
invariant learning
(1)
safety property
(1)
data pipeline
(1)
data center
(1)
packet processing
(1)
cluster management
(1)
fault tolerance
(1)
kernel bypass
(1)
deep learning
(1)
statistical analysis
(1)
Papers
Teaching the Old Dog New Tricks: Building Efficient Data Pipelines for Large-Scale LLM Pre-Training (Operational Systems)
OSDI 2026
ValScope: Value-Semantics-Aware Metamorphic Testing for Detecting Logical Bugs in DBMSs
OSDI 2026
Anvil: Verifying Liveness of Cluster Management Controllers
OSDI 2024
ServiceLab: Preventing Tiny Performance Regressions at Hyperscale through Pre-Production Testing
OSDI 2024
VeriSMo: A Verified Security Module for Confidential VMs
OSDI 2024
Ensō: A Streaming Interface for NIC-Application Communication
OSDI 2023
Triangulating Python Performance Issues with SCALENE
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