Mayur Naik
Assistant Professor
School of Computer Science
College of Computing
Georgia Institute of Technology
Office: Room 2320, Klaus
Address: 266 Ferst Drive, Atlanta, GA 30332
Phone: 404.385.4746
[bio]   [CV]   [research summary]

Recent News
More news ...
Research (also see papers and software)

I am currently involved in the following projects:

  • Petablox: declarative program analysis for Big Code
  • CirrusCloud: a mobile-cloud computing platform
  • Prism: configurable program analysis
  • Dynodroid: automated testing of smartphone apps

I have also contributed to the following projects:

  • 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: effective testing of concurrent programs
  • CBI: the Cooperative Bug Isolation project
  • SLAM: software model checking
  • 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)
  • Lockheed-Martin Dean's Award for Excellence in Teaching, 2015
  • PLDI Distinguished Paper Award, 2014
  • NSF CAREER Award, 2013
  • Microsoft Software Engineering Innovation Foundation Award, 2012
  • Google Faculty Research Award, 2011
  • ICSE Distinguished Paper Award, 2009
  • Microsoft Research Graduate Fellowship, 2004-05