Kartik Nagar

26 papers A* 2A 2B 3C 1Journal 16Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Mechanically Verified Garbage Collector for OCaml.
J. Autom. Reason.
Sheera Shamsu, Dipesh Kafle, Dhruv Maroo, Kartik Nagar, Karthikeyan Bhargavan, K. C. Sivaramakrishnan
2025 J jnl
Automatically Verifying Replication-Aware Linearizability.
Proc. ACM Program. Lang.
Vimala Soundarapandian, Kartik Nagar, Aseem Rastogi, K. C. Sivaramakrishnan
2025 J jnl
Automatically Verifying Replication-aware Linearizability.
CoRR
Vimala Soundarapandian, Kartik Nagar, Aseem Rastogi, K. C. Sivaramakrishnan
2024 J jnl
Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models.
Proc. ACM Program. Lang.
Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhury, Suresh Jagannathan
2023 B conf
Automating Cutoff-based Verification of Distributed Protocols.
FMCAD
Shreesha G. Bhat, Kartik Nagar
2022 J jnl
Automating and Mechanizing Cutoff-based Verification of Distributed Protocols.
CoRR
Shreesha G. Bhat, Kartik Nagar
2022 J jnl
Certified Mergeable Replicated Data Types.
CoRR
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan
2022 A* conf
Certified mergeable replicated data types.
PLDI
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan
2021 A conf
Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols.
DISC
Shreesha G. Bhat, Kartik Nagar
2021 J jnl
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring.
CoRR
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
2021 A* conf
Repairing serializability bugs in distributed database programs via automated schema refactoring.
PLDI
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
2020 — conf
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems.
CAV (1)
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
2020 J jnl
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems.
CoRR
Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan
2019 — conf
Automated Parameterized Verification of CRDTs.
CAV (2)
Kartik Nagar, Suresh Jagannathan
2019 J jnl
Automated Parameterized Verification of CRDTs.
CoRR
Kartik Nagar, Suresh Jagannathan
2019 J jnl
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems.
CoRR
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
2019 J jnl
CLOTHO: directed test generation for weakly consistent database systems.
Proc. ACM Program. Lang.
Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan
2018 J jnl
Alone together: compositional reasoning and inference for weak isolation.
Proc. ACM Program. Lang.
Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
2018 B conf
Automated Detection of Serializability Violations Under Weak Consistency.
CONCUR
Kartik Nagar, Suresh Jagannathan
2018 J jnl
Automated Detection of Serializability Violations under Weak Consistency.
CoRR
Kartik Nagar, Suresh Jagannathan
2017 J jnl
Alone Together: Compositional Reasoning and Inference for Weak Isolation.
CoRR
Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
2017 J jnl
Refining Cache Behavior Prediction Using Cache Miss Paths.
ACM Trans. Embed. Comput. Syst.
Kartik Nagar, Y. N. Srikant
2016 J jnl
Fast and Precise Worst-Case Interference Placement for Shared Cache Analysis.
ACM Trans. Embed. Comput. Syst.
Kartik Nagar, Y. N. Srikant
2015 B conf
Path Sensitive Cache Analysis Using Cache Miss Paths.
VMCAI
Kartik Nagar, Y. N. Srikant
2014 A conf
Precise shared cache analysis using optimal interference placement.
RTAS
Kartik Nagar, Y. N. Srikant
2012 C conf
Interdependent cache analyses for better precision and safety.
MEMOCODE
Kartik Nagar, Y. N. Srikant