Mayur Naik
Associate Professor
Department of Computer and Information Science
School of Engineering and Applied Science
University of Pennsylvania
Office: Room 303, Levine Hall
Address: 3330 Walnut St, Philadelphia, PA 19104
Phone: TBD
Email: mhnaik@cis.upenn.edu
[bio]   [CV]   [research summary]

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

Teaching

  • CS 6340: Software Analysis and Testing: Spring 2016 [Online]
  • CS 7001: Introduction to Graduate Studies: Fall 2015
  • CS 4240: Compilers and Interpreters: Spring 2015
  • CS 4400: Introduction to Database Systems: Spring 2013, Spring 2014
  • CS 8803: Foundations of Programming Languages: Fall 2012, Fall 2013
  • CS 6340: Software Analysis and Testing: Fall 2011, Fall 2014

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 Paper Award, ICSE 2009
  • University Awards
    • Outstanding Junior Faculty Research Award, 2016
    • Lockheed-Martin Dean's Award for Excellence in Teaching, 2015