Xudong Sun
8 papers · 2019–2025 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (5) π Academic Marathon (6) π Cross-Pollinator (8)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(15)
π£
Hot Topic Early Bird
Conferences
OSDI (4)
AISTATS (1)
CVPR (1)
ICML (1)
NSDI (1)
Top co-authors
Keywords
reliability testing
(2)
3d vision
(1)
formal verification
(1)
static analysis
(1)
program analysis
(1)
entropy regularization
(1)
replay buffer
(1)
goal-conditioned policy
(1)
hindsight experience replay
(1)
temporal logic
(1)
failure detection
(1)
sampling method
(1)
test generation
(1)
software testing
(1)
bug detection
(1)
cluster management
(1)
configuration testing
(1)
correctness verification
(1)
cluster management controller
(1)
state reconciliation
(1)
Papers
M-HOF-Opt: Multi-Objective Hierarchical Output Feedback Optimization via Multiplier Induced Loss Landscape Scheduling
AISTATS 2025
Anvil: Verifying Liveness of Cluster Management Controllers
OSDI 2024
Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker
NSDI 2023
Automatic Reliability Testing For Cluster Management Controllers
OSDI 2022
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing
OSDI 2022
Testing Configuration Changes in Context to Prevent Production Failures
OSDI 2020
Grid-GCN for Fast and Scalable Point Cloud Learning
CVPR 2020
Maximum Entropy-Regularized Multi-Goal Reinforcement Learning
ICML 2019