Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols. - Shreesha G. Bhat; Kartik Nagar (DISC, 2021)

Automating and Mechanizing Cutoff-based Verification of Distributed Protocols. - Shreesha G. Bhat; Kartik Nagar (CoRR, 2022)

Automating Cutoff-based Verification of Distributed Protocols. - Shreesha G. Bhat; Kartik Nagar (FMCAD, 2023)

LazyLog: A New Shared Log Abstraction for Low-Latency Applications. - Xuhao Luo; Shreesha G. Bhat; Jiyu Hu; Ramnatthan Alagappan; Aishwarya Ganesan (SOSP, 2024)

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 (OSDI, 2025)