Lalith Suresh

6 papers · 2015–2025 · 2 venues · 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 ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🏆 Keyword Champion (2)

Venues

NSDI (3) OSDI (3)

Top co-authors

Tianyin Xu (2) Michael Gasch (2) Xudong Sun (2) Jiawei Tyler Gu (2) Shay Vargaftik (1) Timothy Merrifield (1) Zicheng Ma (1) Sujata Banerjee (1) Jon Howell (1) Yonatan Piasetzky (1)

Research topics

Machine Learning (3) Computer Science (2) Application Areas (2) Optimization & Theory (2) Systems (2) Artificial Intelligence (1) Mathematics & Optimization (1) Applications (1) Core AI (1) Foundations (1) Optimization (1)

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 Automatic Reliability Testing For Cluster Management Controllers OSDI 2022 How to diagnose nanosecond network latencies in rich end-host stacks NSDI 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