MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Mayur Naik" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Efficient Message Dispatch in Object-Oriented Systems
by Mayur Naik, Rajeev Kumar — 2000 — ACM SIGPLAN Notices
…Efficient Message Dispatch in Object-Oriented Systems Mayur Naik and Rajeev Kumar * Department…
Cited by 2 (0 self) – Add To MetaCart

A type system equivalent to a model checker
by Mayur Naik, Jens Palsberg — 2005 — In Proc. of the European Symp. on Prog
…A Type System Equivalent to a Model Checker Mayur Naik Stanford University Jens Palsberg UCLA…
Cited by 6 (0 self) – Add To MetaCart

Conditional must not aliasing for static race detection
by Mayur Naik, Alex Aiken — 2007 — In POPL
… Conditional Must Not Aliasing for Static Race Detection Mayur Naik Alex Aiken Computer Science…
Cited by 17 (0 self) – Add To MetaCart

Compiling with Code-Size Constraints
by Mayur Naik and Jens Palsberg, Mayur Naik — 2002
…ABSTRACT Compiling with Code-Size Constraints Mayur Naik Purdue University Department of Computer…
Cited by 18 (3 self) – Add To MetaCart

A Type System Equivalent to Model Checking
by Mayur Hiru Naik — 2003
… by Mayur Hiru Naik In Partial Fulllment of the Requirements for the Degree of Master of Science August 2003…
Cited by 4 (0 self) – Add To MetaCart

Effective static race detection for Java
by Mayur Naik, Alex Aiken, John Whaley — 2006 — In PLDI
… Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley Computer Science…
Cited by 43 (1 self) – Add To MetaCart

Compiling with Code-Size Constraints
by Mayur Naik Jens, Jens Palsberg — 2002 — In Proceedings of the joint conference on Languages, compilers and tools for embedded systems
…Compiling with Code-Size Constraints Mayur Naik Jens Palsberg Purdue University Dept. of Computer…
Add To MetaCart

Statistical debugging: simultaneous identification of multiple bugs
by Alice X. Zheng, Ben Liblit, Mayur Naik — 2006 — In ICML ’06: Proceedings of the 23rd international conference on Machine learning
… liblit@(email omitted); Computer Sciences Department, University of Wisconsin-Madison, Madison, WI Mayur Naik…
Cited by 12 (1 self) – Add To MetaCart

From Symptom to Cause: Localizing Errors in Counterexample Traces
by Thomas Ball, Mayur Naik, Sriram K. Rajamani — 2003 — In Principles of Programming Languages
…, Louisiana, USA. Copyright 2003 ACM 1-58113-628-5/03/0001 ...$5.00. Mayur Naik ∗ Purdue University mnaik…
Cited by 59 (3 self) – Add To MetaCart

Scalable statistical bug isolation
by Ben Liblit, Alex Aiken, Mayur Naik, Alice X. Zheng — 2005 — In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation
…, Illinois, USA. Copyright c○ 2005 ACM 1-59593-080-9/05/0006. . . $5.00. Mayur Naik Computer Science…
Cited by 74 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB