Publications

Sheera Shamsu, Dipesh Kafle, Dhruv Maroo, Kartik Nagar, Karthikeyan Bhargavan, KC Sivaramakrishnan . A Mechanically Verified Garbage Collector for OCaml. JAR, 2025.

Vimala Soundarapandian, Kartik Nagar, Aseem Rastogi, KC Sivaramakrishnan . Automatically Verifying Replication-aware Linearizability. OOPSLA, 2025.

Kartik Nagar, Anmol Sahoo, Romit Roy Chowdury, Suresh Jagannathan . Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models. OOPSLA, 2024.

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

Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, KC Sivaramakrishnan . Certified Mergeable Replicated Data Types. PLDI, 2022.

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

Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan . Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring. PLDI, 2021.

Vimala S, KC Sivaramakrishnan, Kartik Nagar . Certified Mergeable Replicated Data Types. PaPoC, 2021.

Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan . Semantics, Specification and Bounded Verification of Concurrent Libraries in Replicated Systems. CAV, 2020.

Code Video DOI arxiv

Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan . CLOTHO : Directed Test Generation for Weakly Consistent Database Systems. OOPSLA, 2019.

Kartik Nagar, Suresh Jagannathan . Automated Parametrized Verification of CRDTs. CAV, 2019.

PDF Code DOI arxiv

Kartik Nagar, Suresh Jagannathan . Automated Detection of Serializability Violations under Weak Consistency. CONCUR, 2018.

Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan . Alone together: Compositional Reasoning and Inference for Weak Isolation. POPL, 2018.

Kartik Nagar, Y N Srikant . Refining Cache Behaviour Prediction using Cache Miss Paths. TECS, 2017.

Kartik Nagar, Y N Srikant . Fast and Precise Worst Case Interference Placement for Shared Cache Analysis. TECS, 2016.

Kartik Nagar, Y N Srikant . Path-sensitive Cache Analysis using Cache Miss Paths. VMCAI, 2015.

Kartik Nagar, Y N Srikant . Precise Shared Cache Analysis using Optimal Interference Placement. RTAS, 2014.

Kartik Nagar, Y N Srikant . Interdependent Cache Analyses for better precision and safety. MEMOCODE, 2012.