Biography

I am a researcher at Intel Labs Berkeley. My research interests lie in the broad areas of programming languages and software engineering with a current emphasis on program analysis and its applications to parallel computing and cloud computing.

Background

Ph.D., Computer Science, Stanford University (2003-2007)
Thesis: Effective Static Race Detection for Java
Advisor: Alex Aiken

M.S., Computer Science, Purdue University (2001-2003)
Thesis: A Type System Equivalent to Model Checking
Advisor: Jens Palsberg

B.E., Computer Science, BITS Pilani (1995-1999)
Thesis: Efficient Message Dispatch in Object-Oriented Systems
Advisor: Rajeev Kumar

Research

I'm currently involved in the following projects:

• Chord: Effective testing and verification of concurrent programs
• Mantis: Predicting program performance
• CloneCloud: Harnessing the power of cloud computing for smart phones

I've also contributed to the following projects:

• CalFuzzer: an active random testing tool for multi-threaded Java
• CBI: The Cooperative Bug Isolation Project
• SLAM: software model checking

Publications

All my papers are available here.