Office: Room 303, Levine Hall
Address: 3330 Walnut St, Philadelphia, PA 19104
Email: mhnaik@cis.upenn.edu
Phone: 215-573-1856

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

About Me

My research spans all aspects of programming systems with an emphasis on improving software quality and programmer productivity. I am especially interested in advanced programming systems that effectively combine the power of users, machines, and data. I am a member of Penn's PL Club and the PRECISE Center. I obtained a Ph.D. in Computer Science from Stanford University in 2008, followed by a stint at Intel Research in Berkeley (2008-2011). After that, I spent five wonderful years in Atlanta on the faculty of Georgia Tech. I joined Penn in the Fall of 2016.

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