Publications

Mergeable Replicated Data Types
(Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan)

Version Control Is For Your Data Too
(Gowtham Kaki, KC Sivaramakrishnan, and Suresh Jagannathan)

Safe Replication through Bounded Concurrency Verification
(Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan, and Suresh Jagannathan)

Safe Transferable Regions
(Gowtham Kaki and Ganesan Ramalingam)

Fine-grained Distributed Consistency Guarantees with Effect Orchestration
(Kia Rahmani, Gowtham Kaki, and Suresh Jagannathan)

Alone Together: Compositional Reasoning and Inference for Weak Isolation
(Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, and Suresh Jagannathan)

Mergeable Types
(Gowtham Kaki, Samodya Abeysiriwardane, KC Sivaramakrishnan, and Suresh Jagannathan)

Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores
(KC Sivaramakrishnan, Gowtham Kaki, and Suresh Jagannathan)

Declarative Programming over Eventually Consistent Data Stores
(KC Sivaramakrishnan, Gowtham Kaki, and Suresh Jagannathan)

A Relational Framework for Higher-Order Shape Analysis
(Gowtham Kaki, and Suresh Jagannathan)

A Novel Adaptive Scheduling Algorithm for Computational Grids
(S Bansal, Gowtham Kaki, and Chittaranjan Hota)

Talks

Broom: Safe Region-based Memory Management for Dataflow Programs

Declarative Programming over Eventually Consistent Data Stores

A Relational Framework for Higher-Order Shape Analysis

Research Software

Trivia

If solving puzzles doesn't quite appeal to you, then try SAT solving them.
Or, checkout some of my programming geek comics.