Follow
Kartik Nagar
Kartik Nagar
Assistant Professor at Department of CSE, IIT Madras
Verified email at cse.iitm.ac.in - Homepage
Title
Cited by
Cited by
Year
Automated detection of serializability violations under weak consistency
K Nagar, S Jagannathan
arXiv preprint arXiv:1806.08416, 2018
392018
Alone together: compositional reasoning and inference for weak isolation
G Kaki, K Nagar, M Najafzadeh, S Jagannathan
Proceedings of the ACM on Programming Languages 2 (POPL), 1-34, 2017
332017
CLOTHO: directed test generation for weakly consistent database systems
K Rahmani, K Nagar, B Delaware, S Jagannathan
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019
202019
Automated parameterized verification of CRDTs
K Nagar, S Jagannathan
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
182019
Precise shared cache analysis using optimal interference placement
K Nagar, YN Srikant
2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014
162014
Fast and precise worst-case interference placement for shared cache analysis
K Nagar, YN Srikant
ACM Transactions on Embedded Computing Systems (TECS) 15 (3), 1-26, 2016
112016
Path sensitive cache analysis using cache miss paths
K Nagar, YN Srikant
Verification, Model Checking, and Abstract Interpretation: 16th …, 2015
82015
Repairing serializability bugs in distributed database programs via automated schema refactoring
K Rahmani, K Nagar, B Delaware, S Jagannathan
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
72021
Certified mergeable replicated data types
V Soundarapandian, A Kamath, K Nagar, KC Sivaramakrishnan
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
42022
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
K Nagar, P Mukherjee, S Jagannathan
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
42020
Interdependent cache analyses for better precision and safety
K Nagar, YN Srikant
Tenth ACM/IEEE International Conference on Formal Methods and Models for …, 2012
32012
Cache analysis for multi-level data caches
K Nagar
Master's thesis, Indian Institute of Science, Bangalore, India, 2012
32012
Refining cache behavior prediction using cache miss paths
K Nagar, YN Srikant
ACM Transactions on Embedded Computing Systems (TECS) 16 (4), 1-26, 2017
22017
Shared Instruction Cache Analysis in Real-time Multi-Core Systems
K Nagar, YN Srikant
Technical Report. http://www. csa. iisc. ernet. in/TR/2015/1/tech-report. pdf, 2015
22015
Precise analysis of Private and Shared Caches for tight WCET Estimates
K Nagar
Ph. D. Dissertation. Indian Institute of Science Bangalore, 2016
12016
Automating Cutoff-based Verification of Distributed Protocols
SG Bhat, K Nagar
2023 Formal Methods in Computer-Aided Design (FMCAD), 75-85, 2023
2023
Automating and Mechanizing Cutoff-based Verification of Distributed Protocols
SG Bhat, K Nagar
arXiv preprint arXiv:2211.15175, 2022
2022
Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols
SG Bhat, K Nagar
35th International Symposium on Distributed Computing (DISC 2021), 2021
2021
Marrying Replicated and Functional Data Structures
V Soundarapandian, A Kamath, K Nagar, KC Sivaramakrishnan
The system can't perform the operation now. Try again later.
Articles 1–19