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
1062015
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
322018
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
Mergeable replicated data types
G Kaki, S Priya, KC Sivaramakrishnan, S Jagannathan
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
242019
A relational framework for higher-order shape analysis
G Kaki, S Jagannathan
ACM SIGPLAN Notices 49 (9), 311-324, 2014
212014
Version Control Is for Your Data Too
G Kaki, KC Sivaramakrishnan, S Jagannathan
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
Mergeable types
G Kaki, KC Sivaramakrishnan, S Abeysiriwardane, S Jagannathan
ML workshop, 2017
32017
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
Automatic Reasoning Techniques for Non-Serializable Data-Intensive Applications
G Kaki
Purdue University Graduate School, 2019
12019
syncope: Automatic Enforcement of Distributed Consistency Guarantees
K Rahmani, G Kaki, S Jagannathan
12017
RunTime-assisted convergence in replicated data types
G Kaki, P Prahladan, NV Lewchenko
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
2022
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
2018
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
A Lightweight Symbolic Execution Framework for Ruby-on-Rails
G Kaki
DaLi: Database as a Library
G Kaki, KC Sivaramakrishnan, T Gazagnaire, A Madhavapeddy, ...
The system can't perform the operation now. Try again later.
Articles 1–18