Publications

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

Safe Memory Regions for Big Data Processing
(with Ganesan Ramalingam, Kapil Vaswani, and Dimitrios Vytiniotis)

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.