| Declarative programming over eventually consistent data stores KC Sivaramakrishnan, G Kaki, S Jagannathan ACM SIGPLAN Notices 50 (6), 413-424, 2015 | 127 | 2015 |
| Mergeable replicated data types G Kaki, S Priya, KC Sivaramakrishnan, S Jagannathan Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 42 | 2019 |
| Safe replication through bounded concurrency verification G Kaki, K Earanky, KC Sivaramakrishnan, S Jagannathan Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018 | 40 | 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 | 33 | 2017 |
| A relational framework for higher-order shape analysis G Kaki, S Jagannathan ACM SIGPLAN Notices 49 (9), 311-324, 2014 | 26 | 2014 |
| Version Control Is for Your Data Too G Kaki 3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019 | 4 | 2019 |
| Safe Transferable Regions G Kaki, G Ramalingam 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018 | 4 | 2018 |
| Fine-grained distributed consistency guarantees with effect orchestration K Rahmani, G Kaki, S Jagannathan Proceedings of the 5th Workshop on the Principles and Practice of …, 2018 | 3 | 2018 |
| Mergeable types G Kaki, KC Sivaramakrishnan, S Abeysiriwardane, S Jagannathan ML workshop, 2017 | 3 | 2017 |
| RunTime-assisted convergence in replicated data types G Kaki, P Prahladan, NV Lewchenko Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 2 | 2022 |
| Automatic Reasoning Techniques for Non-Serializable Data-Intensive Applications G Kaki Purdue University, 2019 | 2 | 2019 |
| syncope: Automatic Enforcement of Distributed Consistency Guarantees K Rahmani, G Kaki, S Jagannathan | 2 | 2017 |
| Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores. KC Sivaramakrishnan, G Kaki, S Jagannathan IEEE Data Eng. Bull. 39 (1), 52-64, 2016 | 2 | 2016 |
| Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis R Roberson, G Kaki, A Trivedi arXiv preprint arXiv:2401.12379, 2024 | | 2024 |
| Verifying Indistinguishability of Privacy-Preserving Protocols K Linvill, G Kaki, E Wustrow Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1442-1469, 2023 | | 2023 |
| Historia: Refuting Callback Reachability with Message-History Logics S Meier, S Mover, G Kaki, BYE Chang Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1905-1934, 2023 | | 2023 |
| Safe Memory Regions for Big Data Processing G Kaki, G Ramalingam, K Vaswani, D Vytiniotis transfer (successorId, t, outList) 17, 18, 2016 | | 2016 |
| Distributed Consensus Algorithms as Replicated State Applications NV Lewchenko, G Kaki | | |
| Bolt-On Convergence in Mergeable Replicated Data Types G Kaki, P Prahladan, N Lewchenko | | |
| My Research G Kaki | | |
KC SivaramakrishnanTarides / IIT MadrasEmail verificata su iitm.ac.in
