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 Research, Berkeley. My research interests lie at the intersection of programming languages and software engineering with a current focus on languages and tools for helping programmers write parallel programs.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
- Chord, a static analysis framework for Java with an emphasis on objects and concurrency.
- Ivy, a safe, concurrent language fully interoperable with C.