Lalith Suresh
6 papers
· 2015–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
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)