Shreesha G. Bhat

According to our database, Shreesha G. Bhat authored at least 7 papers between 2021 and 2026.

Collaborative distances:

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

2026

AgileLog: A Forkable Shared Log for Agents on Data Streams.

Shreesha G. Bhat, Tony Hong, Michael Noguera, Ramnatthan Alagappan, Aishwarya Ganesan

CoRR, April, 2026

A Logically Disaggregated Cache for Replicated Storage Systems.

Kiran Hombal, Henry Zhu, Shreesha Gopalakrishna Bhat, Neil Kaushikkar, Ramnatthan Alagappan, Aishwarya Ganesan

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

2025

Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering.

Shreesha G. Bhat, Tony Hong, Xuhao Luo, Jiyu Hu, Aishwarya Ganesan, Ramnatthan Alagappan

Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, 2025

2024

LazyLog: A New Shared Log Abstraction for Low-Latency Applications.

Xuhao Luo, Shreesha G. Bhat, Jiyu Hu, Ramnatthan Alagappan, Aishwarya Ganesan

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

2023

Automating Cutoff-based Verification of Distributed Protocols.

Shreesha G. Bhat, Kartik Nagar

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Automating and Mechanizing Cutoff-based Verification of Distributed Protocols.

Shreesha G. Bhat, Kartik Nagar

CoRR, 2022

2021

Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols.

Shreesha G. Bhat, Kartik Nagar

Proceedings of the 35th International Symposium on Distributed Computing, 2021