VLDB 2026 Research / reviewers in the wild / expert
Ananth Shrinivas Srinath
dblp:434/0838
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2026
0009-0005-8502-7740ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Software testing · 67% Program verification · 33% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Cloud and datacenter computing · 33% Distributed systems · 33% Parallel and multicore computing · 33% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Software testing
concurrency testing |
1.0 | 1 | 2026 | Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability · EuroSys 2026 |
Program verification
deductive verification |
1.0 | 1 | 2026 | Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability · EuroSys 2026 |
Software testing › concurrency testing
probabilistic concurrency testing |
1.0 | 1 | 2026 | Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability · EuroSys 2026 |
Cloud and datacenter computing
cloud service reliability |
0.3 | 1 | 2026 | Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability · EuroSys 2026 |
Distributed systems
distributed coordination |
0.3 | 1 | 2026 | Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability · EuroSys 2026 |
Parallel and multicore computing
load balancing |
0.3 | 1 | 2026 | Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability · EuroSys 2026 |
Methods — techniques the papers use, named apart from their topics
probabilistic concurrency testing · 2.0model checking · 2.0deductive verification · 2.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Lessons Learned from Incorporating Formal Methods in Huawei Cloud ReliabilityabstractFormal methods are increasingly adopted in systems where reliability and correctness are critical, enabled by improvements in tool usability, speed, and automation. This industrial experience report presents three projects at Huawei Cloud showcasing different trade-offs in investment and assurance levels. We applied probabilistic concurrency testing, model checking, and deductive verification to two foundational services in the database and networking domains: the K2 transactional key-value store and the Global Server Load Balancer (GSLB). Claudia Cauli, Timo Lang, Sebti Mouelhi, Subhajit Bandopadhyay, Xusheng Chen, Yazhi Feng, Haoze Song, Linhua Tang, Zhenli Sheng, Ananth Shrinivas Srinath |
EuroSys | 12 |