- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c19 |      | Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv: Abstractions from tests. POPL 2012: 373-386 |
| c18 | | Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang: Automated concolic testing of smartphone apps. SIGSOFT FSE 2012: 59 |
| 2011 | ||
| j5 | | David Gay, Joel Galenson, Mayur Naik, Kathy Yelick: Yada: Straightforward parallel programming. Parallel Computing 37(9): 592-609 (2011) |
| c17 | | Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti: CloneCloud: elastic execution between mobile device and cloud. EuroSys 2011: 301-314 |
| c16 | | |
| c15 | | |
| 2010 | ||
| c14 | | Ling Huang, Jinzhu Jia, Bin Yu, Byung-Gon Chun, Petros Maniatis, Mayur Naik: Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression. NIPS 2010: 883-891 |
| c13 | | Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv: A dynamic evaluation of the precision of static heap abstractions. OOPSLA 2010: 411-427 |
| c12 | | Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay: An effective dynamic analysis for detecting generalized deadlocks. SIGSOFT FSE 2010: 327-336 |
| i2 | | Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik: CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution. CoRR abs/1009.3088 (2010) |
| i1 | | Byung-Gon Chun, Ling Huang, Sangmin Lee, Petros Maniatis, Mayur Naik: Mantis: Predicting System Performance through Program Analysis and Modeling. CoRR abs/1010.0019 (2010) |
| 2009 | ||
| c11 | | Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen: CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. CAV 2009: 675-681 |
| c10 | | Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay: Effective static deadlock detection. ICSE 2009: 386-396 |
| c9 | | Zachary R. Anderson, David Gay, Mayur Naik: Lightweight annotations for controlling sharing in concurrent data structures. PLDI 2009: 98-109 |
| c8 | | Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik: A randomized dynamic program analysis technique for detecting real deadlocks. PLDI 2009: 110-120 |
| 2008 | ||
| j4 | | Mayur Naik, Jens Palsberg: A type system equivalent to a model checker. ACM Trans. Program. Lang. Syst. 30(5) (2008) |
| 2007 | ||
| c7 | | |
| 2006 | ||
| c6 | | Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken: Statistical debugging: simultaneous identification of multiple bugs. ICML 2006: 1105-1112 |
| c5 | | |
| 2005 | ||
| c4 | | |
| c3 | | Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan: Scalable statistical bug isolation. PLDI 2005: 15-26 |
| 2004 | ||
| j3 | | Mayur Naik, Jens Palsberg: Compiling with code-size constraints. ACM Trans. Embedded Comput. Syst. 3(1): 163-181 (2004) |
| 2003 | ||
| c2 | | Thomas Ball, Mayur Naik, Sriram K. Rajamani: From symptom to cause: localizing errors in counterexample traces. POPL 2003: 97-105 |
| 2002 | ||
| c1 | | |
| 2000 | ||
| j2 | | Mayur Naik, Rajeev Kumar: Efficient Message Dispatch in Object-Oriented Systems. SIGPLAN Notices 35(3): 49-58 (2000) |
| 1999 | ||
| j1 | | Mayur Naik, Rajeev Kumar: Object-Oriented Symbol Management in Syntax-Directed Compiler Systems. SIGPLAN Notices 34(6): 58-67 (1999) |
Data released under the ODC-BY 1.0 license — See also our legal information page