Publications

Safe Transferable Regions
(with Ganesan Ramalingam)

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

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

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

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

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

A Relational Framework for Higher-Order Shape Analysis
(with Suresh Jagannathan)

A Novel Adaptive Scheduling Algorithm for Computational Grids
(with S Bansal, 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.