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

Lectures from my Udacity course on Software Analysis and Testing are now publicly available.

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)

  • Distinguished Paper Award, FSE 2015
  • Lockheed-Martin Dean's Award for Excellence in Teaching, 2015
  • Distinguished Paper Award, PLDI 2014
  • NSF CAREER Award, 2013
  • Microsoft Software Engineering Innovation Foundation Award, 2012
  • Google Faculty Research Award, 2011
  • Distinguished Paper Award, ICSE 2009
  • Microsoft Research Graduate Fellowship, 2004-05