| Automated detection of serializability violations under weak consistency K Nagar, S Jagannathan arXiv preprint arXiv:1806.08416, 2018 | 43 | 2018 |
| 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 | 35 | 2017 |
| 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 | 24 | 2019 |
| Automated parameterized verification of CRDTs K Nagar, S Jagannathan Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 21 | 2019 |
| Precise shared cache analysis using optimal interference placement K Nagar, YN Srikant 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium …, 2014 | 16 | 2014 |
| 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 | 10 | 2016 |
| 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 | 8 | 2021 |
| Path sensitive cache analysis using cache miss paths K Nagar, YN Srikant Verification, Model Checking, and Abstract Interpretation: 16th …, 2015 | 8 | 2015 |
| Certified mergeable replicated data types V Soundarapandian, A Kamath, K Nagar, KC Sivaramakrishnan Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 5 | 2022 |
| 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 | 5 | 2020 |
| Precise analysis of Private and Shared Caches for tight WCET Estimates K Nagar Ph. D. Dissertation. Indian Institute of Science Bangalore, 2016 | 3 | 2016 |
| Interdependent cache analyses for better precision and safety K Nagar, YN Srikant Tenth ACM/IEEE International Conference on Formal Methods and Models for …, 2012 | 3 | 2012 |
| Cache analysis for multi-level data caches K Nagar Master's thesis, Indian Institute of Science, Bangalore, India, 2012 | 3 | 2012 |
| Refining cache behavior prediction using cache miss paths K Nagar, YN Srikant ACM Transactions on Embedded Computing Systems (TECS) 16 (4), 1-26, 2017 | 2 | 2017 |
| 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 | 2 | 2015 |
| Automating Cutoff-based Verification of Distributed Protocols SG Bhat, K Nagar 2023 Formal Methods in Computer-Aided Design (FMCAD), 75-85, 2023 | 1 | 2023 |
| A Mechanically Verified Garbage Collector for OCaml S Shamsu, D Kaphle, D Maroo, K Nagar, K Bhargavan, ... | | 2024 |
| 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 |
| 29th International Conference on Concurrency Theory (CONCUR 2018) MY Vardi, Y Deng, R van Glabbeek, A Polyakov, MH Tsai, BY Wang, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
Kia RahmaniPostdoctoral Fellow, University of Texas at Austin在 utexas.edu 的电子邮件经过验证
