Shreesha G. Bhat

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

Collaborative distances:

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

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