Follow
Gowtham Kaki
Title
Cited by
Cited by
Year
Declarative programming over eventually consistent data stores
KC Sivaramakrishnan, G Kaki, S Jagannathan
ACM SIGPLAN Notices 50 (6), 413-424, 2015
1282015
Mergeable replicated data types
G Kaki, S Priya, KC Sivaramakrishnan, S Jagannathan
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
432019
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
412018
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
352017
A relational framework for higher-order shape analysis
G Kaki, S Jagannathan
ACM SIGPLAN Notices 49 (9), 311-324, 2014
272014
Version Control Is for Your Data Too
G Kaki
3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019
42019
Safe Transferable Regions
G Kaki, G Ramalingam
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
42018
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
32018
Mergeable types
G Kaki, KC Sivaramakrishnan, S Abeysiriwardane, S Jagannathan
ML workshop, 2017
32017
RunTime-assisted convergence in replicated data types
G Kaki, P Prahladan, NV Lewchenko
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
22022
Automatic Reasoning Techniques for Non-Serializable Data-Intensive Applications
G Kaki
Purdue University, 2019
22019
syncope: Automatic Enforcement of Distributed Consistency Guarantees
K Rahmani, G Kaki, S Jagannathan
22017
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
22016
Distributed Consensus Algorithms as Replicated State Applications
NV Lewchenko, G Kaki
Proceedings of the 10th Workshop on Principles and Practice of Consistency …, 2023
12023
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
Bolt-On Convergence in Mergeable Replicated Data Types
G Kaki, P Prahladan, N Lewchenko
My Research
G Kaki
The system can't perform the operation now. Try again later.
Articles 1–20