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 and dynamic program analysis framework for Java.
- Ivy, a safe, concurrent language fully interoperable with C.
- Yada, a parallel programming language with emphasis on determinism and interoperability.