| 2023 | FMCAD | Automating Cutoff-based Verification of Distributed Protocols. | Shreesha G. Bhat, Kartik Nagar |
| 2022 | PLDI | Certified mergeable replicated data types. | Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan |
| 2021 | PLDI | Repairing serializability bugs in distributed database programs via automated schema refactoring. | Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan |
| 2020 | CAV | Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. | Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan |
| 2019 | CAV | Automated Parameterized Verification of CRDTs. | Kartik Nagar, Suresh Jagannathan |
| 2018 | CONCUR | Automated Detection of Serializability Violations Under Weak Consistency. | Kartik Nagar, Suresh Jagannathan |
| 2015 | VMCAI | Path Sensitive Cache Analysis Using Cache Miss Paths. | Kartik Nagar, Y. N. Srikant |
| 2014 | RTAS | Precise shared cache analysis using optimal interference placement. | Kartik Nagar, Y. N. Srikant |
| 2012 | MEMOCODE | Interdependent cache analyses for better precision and safety. | Kartik Nagar, Y. N. Srikant |