Lalith Suresh
6 papers · 2015–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🌍 Conference Polyglot (2) 🏃 Academic Marathon (10)
🐝
Cross-Pollinator
(10)
🏆
Keyword Champion
(2)
Conferences
NSDI (3)
OSDI (3)
Top co-authors
Keywords
cluster management
(2)
performance optimization
(1)
formal verification
(1)
distributed training
(1)
temporal logic
(1)
bug detection
(1)
tail latency
(1)
load balancing
(1)
network latency
(1)
cloud computing
(1)
hardware profiling
(1)
correctness verification
(1)
reliability testing
(1)
cluster management controller
(1)
state reconciliation
(1)
safety and liveness
(1)
declarative programming
(1)
liveness property
(1)
network profiling
(1)
end-host profiling
(1)
Papers
OptiReduce: Resilient and Tail-Optimal AllReduce for Distributed Deep Learning in the Cloud
NSDI 2025
Anvil: Verifying Liveness of Cluster Management Controllers
OSDI 2024
How to diagnose nanosecond network latencies in rich end-host stacks
NSDI 2022
Automatic Reliability Testing For Cluster Management Controllers
OSDI 2022
Building Scalable and Flexible Cluster Managers Using Declarative Programming
OSDI 2020
C3: Cutting Tail Latency in Cloud Data Stores via Adaptive Replica Selection
NSDI 2015