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