Ananth Shrinivas Srinath

According to our database, Ananth Shrinivas Srinath authored at least 1 paper in 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Lessons Learned from Incorporating Formal Methods in Huawei Cloud Reliability.

Claudia Cauli, Timo Lang, Shuo Chen, Sebti Mouelhi, Xin Jin, Subhajit Bandopadhyay, Xusheng Chen, Yazhi Feng, Haoze Song, Linhua Tang, Zhenli Sheng, Ananth Shrinivas Srinath

Proceedings of the 21st European Conference on Computer Systems, 2026