Office: Room 610, Levine Hall
Address: 3330 Walnut St, Philadelphia, PA 19104
Phone: 215-573-1856


About Me

My research spans all aspects of programming systems with the goal of improving software quality and programmer productivity. I am especially interested in advanced programming systems that effectively combine the power of humans, computers, and data.

I have been at the University of Pennsylvania since 2016 where I am a part of the PL Club and the PRECISE Center.

Research (also see papers and software)

I am currently involved in the following projects:

  • Petablox: declarative program analysis for Big Code
  • Nichrome: solver for mixed hard and soft constraints
  • CirrusCloud: a mobile-cloud computing platform

I have also contributed to the following projects:

  • Prism: configurable program analysis
  • Dynodroid: automated testing of smartphone apps
  • Conchord: analysis of concurrent programs
  • Chord: a program analysis platform for Java
  • STAMP: static analysis of smartphone apps
  • CloneCloud: cloud offloading for smartphone apps
  • CalFuzzer: testing of concurrent programs
  • CBI: the Cooperative Bug Isolation project
  • SLAM: software model checking

Awards (also see my students' awards)

National Awards:
  • NSF CAREER Award, 2013
  • Microsoft Software Engineering Innovation Foundation Award, 2012
  • Google Faculty Research Award, 2011
  • Microsoft Research Graduate Fellowship, 2004-05
Publication Awards:
  • Distinguished Paper Award, FSE 2015
  • Distinguished Paper Award, PLDI 2014
  • Distinguished Artifact Award, FSE 2013
  • Distinguished Paper Award, ICSE 2009
University Awards:
  • Outstanding Junior Faculty Research Award, Georgia Tech, 2016
  • Lockheed-Martin Dean's Award for Excellence in Teaching, Georgia Tech, 2015