G
Gowtham Kaki
Researcher at Purdue University
Publications - 15
Citations - 224
Gowtham Kaki is an academic researcher from Purdue University. The author has contributed to research in topics: Weak consistency & Data type. The author has an hindex of 7, co-authored 14 publications receiving 188 citations.
Papers
More filters
Proceedings ArticleDOI
Declarative programming over eventually consistent data stores
TL;DR: QUELEA is presented, a declarative programming model for eventually consistent data stores (ECDS), equipped with a contract language, capable of specifying fine-grained application - level consistency properties, and an implementation of QUEleA on top of an off-the-shelf ECDS that provides support for coordination-free transactions.
Journal ArticleDOI
Safe replication through bounded concurrency verification
TL;DR: A novel programming framework for replicated data types (RDTs) equipped with an automatic (bounded) verification technique that discovers and fixes weak consistency anomalies and shows that in practice, proving bounded safety guarantees typically generalize to the unbounded case.
Proceedings ArticleDOI
A relational framework for higher-order shape analysis
Gowtham Kaki,Suresh Jagannathan +1 more
TL;DR: An algorithm is described that translates relational specifications into a decidable fragment of first-order logic that can be efficiently discharged by an SMT solver and implemented in a type checker called CATALYST that is incorporated within the MLton SML compiler.
Journal ArticleDOI
Mergeable replicated data types
TL;DR: This work presents a fundamentally different approach to programming in the presence of replicated state based on the use of invertible relational specifications of an inductively-defined data type as a mechanism to capture salient aspects of the data type relevant to how its different instances can be safely merged in a replicated environment.
Journal ArticleDOI
Alone Together: Compositional Reasoning and Inference for Weak Isolation
TL;DR: A novel program logic is presented that enables compositional reasoning about the behavior of concurrently executing weakly-isolated transactions, and an inference procedure is described that ascertains the weakest isolation level that still guarantees the safety of high-level consistency assertions associated with such transactions.