Kartik Nagar

According to our database, Kartik Nagar authored at least 16 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models.

Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhury, Suresh Jagannathan

Proc. ACM Program. Lang., 2024

2023

Automating Cutoff-based Verification of Distributed Protocols.

Shreesha G. Bhat, Kartik Nagar

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Automating and Mechanizing Cutoff-based Verification of Distributed Protocols.

Shreesha G. Bhat, Kartik Nagar

CoRR, 2022

Certified mergeable replicated data types.

Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols.

Shreesha G. Bhat, Kartik Nagar

Proceedings of the 35th International Symposium on Distributed Computing, 2021

Repairing serializability bugs in distributed database programs via automated schema refactoring.

Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems.

Kartik Nagar, Prasita Mukherjee, Suresh Jagannathan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

CLOTHO: directed test generation for weakly consistent database systems.

Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan

Proc. ACM Program. Lang., 2019

Automated Parameterized Verification of CRDTs.

Kartik Nagar, Suresh Jagannathan

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Alone together: compositional reasoning and inference for weak isolation.

Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan

Proc. ACM Program. Lang., 2018

Automated Detection of Serializability Violations Under Weak Consistency.

Kartik Nagar, Suresh Jagannathan

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Refining Cache Behavior Prediction Using Cache Miss Paths.

Kartik Nagar, Y. N. Srikant

ACM Trans. Embed. Comput. Syst., 2017

2016

Fast and Precise Worst-Case Interference Placement for Shared Cache Analysis.

Kartik Nagar, Y. N. Srikant

ACM Trans. Embed. Comput. Syst., 2016

2015

Path Sensitive Cache Analysis Using Cache Miss Paths.

Kartik Nagar, Y. N. Srikant

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

2014

Precise shared cache analysis using optimal interference placement.

Kartik Nagar, Y. N. Srikant

Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

2012

Interdependent cache analyses for better precision and safety.

Kartik Nagar, Y. N. Srikant

Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2012