- I will be giving the keynote talk at SOAP 2014.
I'm an assistant professor in Computer Science at Georgia Tech. I do research in the
areas of programming languages and software engineering. Previously, I was a researcher at Intel Research in Berkeley (2008-11). I obtained my Ph.D. from Stanford University (2003-07), an M.S. from Purdue University (2001-03), and a
B.E. from BITS Pilani, India (1995-99), all in Computer Science.
See the pages of the Program Analysis Group. All my papers and talks are here.
I'm currently involved in the following projects:
- Prism: configurable program analysis
- CirrusCloud: a mobile-cloud computing platform
- Dynodroid: automated testing of smartphone apps
- STAMP: static analysis of smartphone apps
- Conchord: analysis of concurrent programs
- Chord: a program analysis platform for Java
I have also contributed to the following projects:
- CloneCloud: cloud offloading for smartphone apps
- CalFuzzer: effective testing of concurrent programs
- CBI: the Cooperative Bug Isolation project
- SLAM: software model checking