Shreesha G. Bhat

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

Collaborative distances:

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

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