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
282018
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
262017
Precise shared cache analysis using optimal interference placement
K Nagar, YN Srikant
2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014
122014
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
112019
Automated parameterized verification of CRDTs
K Nagar, S Jagannathan
International Conference on Computer Aided Verification, 459-477, 2019
102019
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
92016
Path sensitive cache analysis using cache miss paths
K Nagar, YN Srikant
International Workshop on Verification, Model Checking, and Abstract …, 2015
82015
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
K Nagar, P Mukherjee, S Jagannathan
International Conference on Computer Aided Verification, 251-274, 2020
42020
Refining cache behavior prediction using cache miss paths
K Nagar, YN Srikant
ACM Transactions on Embedded Computing Systems (TECS) 16 (4), 1-26, 2017
32017
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
Certified mergeable replicated data types
V Soundarapandian, A Kamath, K Nagar, KC Sivaramakrishnan
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
22022
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
22021
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
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
Precise analysis of Private and Shared Caches for tight WCET Estimates
K Nagar
Indian Institute of Science Bangalore, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–16