Mayur Naik
Office: Klaus Advanced Computing Building, Room 2320
Address: 266 Ferst Drive, Atlanta, GA 30332 0765, USA
Phone: 404.385.4746     Fax: 404.385.7628
Email:     [bio sketch]     [CV]


See the pages of the Program Analysis Group.  All my papers are available here.

I'm currently involved in the following projects:

  • Prism: configurable program analysis
  • CirrusCloud: a mobile-cloud computing platform
  • Dynodroid: automated testing of smartphone apps
  • Conchord: analysis of concurrent programs
  • Chord: a program analysis platform for Java

I have also contributed to the following projects:

  • 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