Publications

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 our programming geek comics.