** Current: Semantic code search to assist in security-focused code review. Received "Google Tech Impact" award.

** 2019-22. Founded a project to build a system to assess security and privacy risk posed by third-party SDKs across Playstore. Received "Platform & Ecosystem excellence" award.

** 2016-19: Led development of a system that intelligently interacts with the UI of an Android app (without requiring its source code) to uncover different behaviors and bugs. Received "Feats of Engineering" award.

Led the development a system to automatically and intelligently interact with UI of Android apps to discover of deep links, which were used in a search engine for searching inside contents of apps.

Cofounders: Prof. Alex Aiken, Prof. John Mitchell, Jason Franklin

Turned the IP developed in a DARPA-sponsored project at Stanford, "Android Program Analysis Tools", into a commercial product, and helped license it to Quixey.

As part of a DARPA-sponsored project, led the development of a suite of Android static & dynamic program analysis tools and techniques (e.g., whole-program static taint analysis, malware detection using semantic signatures) for identifying Android malware.

Supervisors: Nikolai Tillmann and Patrice Godefroid

Developed and implemented a new algorithm to improve scalability of Pex (a tool for automated unit test generation for .NET using symbolic execution) for a certain class of programs.