Mayur Naik Intel Research Berkeley
2150 Shattuck Ave, Ste 1300
Berkeley, CA 94704-1347 USA
T +1-510-495-3440
F +1-510-495-3049
mayur.naik{at}gmail.com
mayur.naik{at}intel.com (Intel-related)
Biography
I am a researcher at Intel Labs Berkeley. My research interests lie in the broad areas of programming languages and software engineering with a current emphasis on program analysis and its applications to parallel computing and cloud computing.Background
Ph.D., Computer Science, Stanford University (2003-2007)Thesis: Effective Static Race Detection for Java
Advisor: Alex Aiken
M.S., Computer Science, Purdue University (2001-2003)
Thesis: A Type System Equivalent to Model Checking
Advisor: Jens Palsberg
B.E., Computer Science, BITS Pilani (1995-1999)
Thesis: Efficient Message Dispatch in Object-Oriented Systems
Advisor: Rajeev Kumar
Research
I'm currently involved in the following projects:
- Chord: Effective testing and verification of concurrent programs
- Mantis: Predicting program performance
- CloneCloud: Harnessing the power of cloud computing for smart phones
I've also contributed to the following projects:
- CalFuzzer: an active random testing tool for multi-threaded Java
- CBI: The Cooperative Bug Isolation Project
- SLAM: software model checking