Kartik Nagar

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 19

Top Topics

Snapshot Isolation

Concurrency Control Algorithms

Test Generation

Top Venues

ACM Trans. Embed. Comput. Syst.

Proc. ACM Program. Lang.

Publications

Shreesha G. Bhat, Kartik Nagar
Automating Cutoff-based Verification of Distributed Protocols. FMCAD (2023)
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan
Certified Mergeable Replicated Data Types. CoRR (2022)
Shreesha G. Bhat, Kartik Nagar
Automating and Mechanizing Cutoff-based Verification of Distributed Protocols. CoRR (2022)
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan
Certified mergeable replicated data types. PLDI (2022)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring. CoRR (2021)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
Repairing serializability bugs in distributed database programs via automated schema refactoring. PLDI (2021)
Shreesha G. Bhat, Kartik Nagar
Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols. DISC (2021)
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. CoRR (2020)
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. CAV (1) (2020)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems. CoRR (2019)
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
CLOTHO: directed test generation for weakly consistent database systems. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Kartik Nagar, Suresh Jagannathan
Automated Parameterized Verification of CRDTs. CAV (2) (2019)
Kartik Nagar, Suresh Jagannathan
Automated Parameterized Verification of CRDTs. CoRR (2019)
Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
Alone together: compositional reasoning and inference for weak isolation. Proc. ACM Program. Lang. 2 (POPL) (2018)
Kartik Nagar, Suresh Jagannathan
Automated Detection of Serializability Violations under Weak Consistency. CoRR (2018)
Kartik Nagar, Suresh Jagannathan
Automated Detection of Serializability Violations Under Weak Consistency. CONCUR (2018)
Kartik Nagar, Y. N. Srikant
Refining Cache Behavior Prediction Using Cache Miss Paths. ACM Trans. Embed. Comput. Syst. 16 (4) (2017)
Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
Alone Together: Compositional Reasoning and Inference for Weak Isolation. CoRR (2017)
Kartik Nagar, Y. N. Srikant
Fast and Precise Worst-Case Interference Placement for Shared Cache Analysis. ACM Trans. Embed. Comput. Syst. 15 (3) (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)