Mayur Naik
	Assistant Professor School of Computer Science College of Computing Georgia Inst. of Technology	Address: 266 Ferst Drive, Atlanta, GA 30332 0765, USA Office: Klaus Advanced Computing Building, Room 2320 Email: naik@cc.gatech.edu     Fax: 404.385.2295 [short CV] [long CV]

I'm an assistant professor of Computer Science at Georgia Tech. I do research in the areas of programming languages and software engineering. My current emphasis is on scalable program analysis algorithms and systems to improve programmer productivity and software quality.  Previously, I was a researcher at Intel Research in Berkeley (2008-11). I obtained a Ph.D. from Stanford University (2003-07), an M.S. from Purdue University (2001-03), and a B.E. from BITS Pilani, India (1995-99), all in Computer Science.

I lead the nascent Program Analysis Group at Georgia Tech. All my papers and talks are available here.

I'm currently involved in the following projects:

• Prism: parametric static analysis
• Conchord: scalable analysis of concurrent programs
• Chord: a versatile program analysis platform for Java

I have also contributed to the following projects:

• CloneCloud: cloud computing for smart-phones
• CalFuzzer: active randomized testing for concurrent programs
• CBI: the Cooperative Bug Isolation project
• SLAM: software model checking for device drivers

• External Review Committee, POPL 2012
• Program Committee, RV 2011
• Program Committee, OOPSLA 2011
• Program Committee, New Ideas and Emerging Results Track, ICSE 2010
• External Review Committee, PLDI 2010