| 2008 |
|---|
| 11 | EE | Mayur Naik,
Jens Palsberg:
A type system equivalent to a model checker.
ACM Trans. Program. Lang. Syst. 30(5): (2008) |
| 2007 |
|---|
| 10 | EE | Mayur Naik,
Alex Aiken:
Conditional must not aliasing for static race detection.
POPL 2007: 327-338 |
| 2006 |
|---|
| 9 | EE | Alice X. Zheng,
Michael I. Jordan,
Ben Liblit,
Mayur Naik,
Alex Aiken:
Statistical debugging: simultaneous identification of multiple bugs.
ICML 2006: 1105-1112 |
| 8 | EE | Mayur Naik,
Alex Aiken,
John Whaley:
Effective static race detection for Java.
PLDI 2006: 308-319 |
| 2005 |
|---|
| 7 | EE | Mayur Naik,
Jens Palsberg:
A Type System Equivalent to a Model Checker.
ESOP 2005: 374-388 |
| 6 | EE | Ben Liblit,
Mayur Naik,
Alice X. Zheng,
Alexander Aiken,
Michael I. Jordan:
Scalable statistical bug isolation.
PLDI 2005: 15-26 |
| 2004 |
|---|
| 5 | EE | Mayur Naik,
Jens Palsberg:
Compiling with code-size constraints.
ACM Trans. Embedded Comput. Syst. 3(1): 163-181 (2004) |
| 2003 |
|---|
| 4 | EE | Thomas Ball,
Mayur Naik,
Sriram K. Rajamani:
From symptom to cause: localizing errors in counterexample traces.
POPL 2003: 97-105 |
| 2002 |
|---|
| 3 | EE | Mayur Naik,
Jens Palsberg:
Compiling with code-size constraints.
LCTES-SCOPES 2002: 120-129 |
| 2000 |
|---|
| 2 | | Mayur Naik,
Rajeev Kumar:
Efficient Message Dispatch in Object-Oriented Systems.
SIGPLAN Notices 35(3): 49-58 (2000) |
| 1999 |
|---|
| 1 | | Mayur Naik,
Rajeev Kumar:
Object-Oriented Symbol Management in Syntax-Directed Compiler Systems.
SIGPLAN Notices 34(6): 58-67 (1999) |
