Research

I am a member of Barbara Liskov's Programming Methodology Group in the Computer Science and Artificial Intelligence Laboratory at MIT.

My current research focuses on making databases resilient to Byzantine Faults.

• CSAIL Abstract
• SOSP 2007 Paper - Tolerating Byzantine Faults in Database Systems using Commit Barrier Scheduling.
  Source Code
• NE DB Day 2008 Poster - PDF

My M.Eng. research was a programming language (called People) & compiler that targeted a novel supercomputing processor architecture called the Q-Machine (developed by Andrew bunnie Hwang).

Back