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

Recent News

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 obtained my 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 the College of Computing at Georgia Tech. I joined Penn in the Fall of 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