CV
Education
- Ph.D in Distributed Systems, University of Illinois Urbana-Champaign, 2028 (expected)
- Dual Degree (BTech + MTech) in Computer Science & Engineering, Indian Institute of Technology Madras, 2023
Work experience
- Research Assistant, DASSL Lab, UIUC (Aug ‘23 - present)
- Designing and building high-performance systems for the modern datacenter.
- Research Intern, Microsoft Research India (Aug ‘22 - Jul ‘23)
- Worked on improving reliability of Azure Cloud Services using concurrency testing tools such as Coyote for C++ programs.
- Built a deterministic concurrency testing framework for a production scale replication library, Azure RSL, which provides an implementation of the Paxos consensus algorithm. Implemented several optimizations to improve state-space coverage.
- Research Fellow, IIT Madras (Sep ‘20 - Jul ‘23)
- Investigated cutoff-based techniques for verifying that distributed protocols meet their specification irrespective of the size of the parameter they are instantiated with (such as number of nodes).
- Proposed a framework to mechanize simulation based proofs for cutoffs and applied the approach on a variety of distributed protocols using Z3 as a backend SMT solver.
Publications
Bhat, S. G., & Nagar, K. (2023). Automating Cutoff-based Verification of Distributed Protocols. In A. Nadel & K. Y. Rozier (Eds.), Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 (pp. 75–85). TU Wien Academic Press. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_15
Shreesha G. Bhat and Kartik Nagar. Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols. In 35th International Symposium on Distributed Computing (DISC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 209, pp. 48:1-48:4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021). https://doi.org/10.4230/LIPIcs.DISC.2021.48
CV
Latest version of my CV can be found here