Get started
Author

Kartik Nagar

Observed name: Nagar, Kartik
ORCID: 0000-0002-0679-226X
Observed ORCID: 0000-0002-0679-226X
OpenAlex ID: A5046570178
Automated Detection of Serializability Violations Under Weak Consistency
2018 · Nagar, Kartik, Jagannathan, Suresh · arXiv (Cornell University) · 24
PDF
Precise shared cache analysis using optimal interference placement
2014 · Kartik Nagar, Y.N. Srikant · IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) · 18
CLOTHO: directed test generation for weakly consistent database systems
2019 · Kia Rahmani, Kartik Nagar, et al. · Proceedings of the ACM on Programming Languages · 14
PDF
Automated Parameterized Verification of CRDTs
2019 · Kartik Nagar, Suresh Jagannathan · Lecture notes in computer science · 14
PDF
Certified mergeable replicated data types
2022 · Vimala Soundarapandian, Adharsh Kamath, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 11
Fast and Precise Worst-Case Interference Placement for Shared Cache Analysis
2016 · Kartik Nagar, Y. N. Srikant · ACM Transactions on Embedded Computing Systems · 11
Path Sensitive Cache Analysis Using Cache Miss Paths
2014 · Kartik Nagar, Y. N. Srikant · Lecture notes in computer science · 6
Repairing serializability bugs in distributed database programs via automated schema refactoring
2021 · Kia Rahmani, Kartik Nagar, et al. · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 5
PDF
Interdependent cache analyses for better precision and safety
2012 · Kartik Nagar, Y. N. Srikant · ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE) · 5
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
2020 · Kartik Nagar, Prasita Mukherjee, et al. · Lecture notes in computer science · 4
PDF
A Mechanically Verified Garbage Collector for OCaml
2025 · Sheera Shamsu, Dipesh Kafle, et al. · Journal of Automated Reasoning · 3
PDF
Refining Cache Behavior Prediction Using Cache Miss Paths
2017 · Kartik Nagar, Y. N. Srikant · ACM Transactions on Embedded Computing Systems · 3
Precise Analysis of Private And Shared Caches for Tight WCET Estimates
2016 · Kartik Nagar · 3
Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models
2024 · Kartik Nagar, Anmol Sahoo, et al. · Proceedings of the ACM on Programming Languages · 1
Review On: Cryptographic Algorithms for Data Integrity Proofs in Cloud Storage
2015 · K N Devika, M. Jawahar, et al. · 1
Detecting and Validating Read-Only Reentrancy-Induced Price Manipulation via Learned Contract Semantics
2026 · Divya Rathore, Kartik Nagar · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
Verifying Smart Contract Security against Re-entrancy Attacks through Relational Value Analysis
2026 · Divya Rathore, Kartik Nagar · Proceedings of the ACM on software engineering.
A study to assess the occupation related health among head load workers in Jhalawar Rajasthan
2026 · Kartik Nagar, Manoj Goswami, et al. · International Journal of Advance Research in Community Health Nursing
PDF
Automatically Verifying Replication-Aware Linearizability
2025 · Vimala Soundarapandian, Kartik Nagar, et al. · Proceedings of the ACM on Programming Languages
PDF
Automating and Mechanizing Cutoff-based Verification of Distributed Protocols
2022 · Bhat, Shreesha G., Nagar, Kartik · arXiv (Cornell University)
PDF
Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols
2021 · Bhat, Shreesha G., Nagar, Kartik · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Works count: 23
Citation count: 125
H-index: 6
I10-index: 6
Year
Topic
Type