| Clonecloud: Elastic execution between mobile device and cloud BG Chun, S Ihm, P Maniatis, M Naik, A Patti Proceedings of the sixth conference on Computer systems, 301-314, 2011 | 2743 | 2011 |
| Scalable statistical bug isolation B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan Acm Sigplan Notices 40 (6), 15-26, 2005 | 1155 | 2005 |
| Dynodroid: An input generation system for Android apps A Machiry, R Tahiliani, M Naik Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 953 | 2013 |
| Effective static race detection for Java M Naik, A Aiken, J Whaley ACM Sigplan Notices 41 (6), 308-319, 2006 | 727 | 2006 |
| Automated concolic testing of smartphone apps S Anand, M Naik, MJ Harrold, H Yang Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012 | 564 | 2012 |
| From symptom to cause: Localizing errors in counterexample traces T Ball, M Naik, SK Rajamani ACM SIGPLAN Notices 38 (1), 97-105, 2003 | 446 | 2003 |
| A randomized dynamic program analysis technique for detecting real deadlocks P Joshi, CS Park, K Sen, M Naik ACM Sigplan Notices 44 (6), 110-120, 2009 | 261 | 2009 |
| Hoppity: Learning graph transformations to detect and fix bugs in programs E Dinella, H Dai, Z Li, M Naik, L Song, K Wang Proceedings of the International Conference on Learning Representations …, 2020 | 260 | 2020 |
| COSMOS: Computation offloading as a service for mobile devices C Shi, K Habak, P Pandurangan, M Ammar, M Naik, E Zegura Proceedings of the 15th ACM international symposium on Mobile ad hoc …, 2014 | 250 | 2014 |
| Effective static deadlock detection M Naik, CS Park, K Sen, D Gay Proceedings of the 31st International Conference on Software Engineering …, 2009 | 244 | 2009 |
| Statistical debugging: Simultaneous identification of multiple bugs AX Zheng, MI Jordan, B Liblit, M Naik, A Aiken Proceedings of the 23rd international conference on Machine learning, 1105-1112, 2006 | 244 | 2006 |
| Conditional must not aliasing for static race detection M Naik, A Aiken ACM SIGPLAN Notices 42 (1), 327-338, 2007 | 228 | 2007 |
| Predicting execution time of computer programs using sparse polynomial regression L Huang, J Jia, B Yu, BG Chun, P Maniatis, M Naik Advances in neural information processing systems, 883-891, 2010 | 194 | 2010 |
| Learning loop invariants for program verification X Si, H Dai, M Raghothaman, M Naik, L Song Advances in Neural Information Processing Systems, 7751-7762, 2018 | 183 | 2018 |
| Effective program debloating via reinforcement learning K Heo, W Lee, P Pashakhanloo, M Naik Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 171 | 2018 |
| CalFuzzer: An extensible active testing framework for concurrent programs P Joshi, M Naik, CS Park, K Sen International Conference on Computer Aided Verification, 675-681, 2009 | 159 | 2009 |
| Accelerating search-based program synthesis using learned probabilistic models W Lee, K Heo, R Alur, M Naik Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 153 | 2018 |
| An effective dynamic analysis for detecting generalized deadlocks P Joshi, M Naik, K Sen, D Gay Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 121 | 2010 |
| Mantis: Automatic performance prediction for smartphone applications Y Kwon, S Lee, H Yi, D Kwon, S Yang, BG Chun, L Huang, P Maniatis, ... Presented as part of the 2013 {USENIX} Annual Technical Conference ({USENIX …, 2013 | 109* | 2013 |
| Computing in cirrus clouds: The challenge of intermittent connectivity C Shi, MH Ammar, EW Zegura, M Naik Proceedings of the first edition of the MCC workshop on Mobile cloud …, 2012 | 109 | 2012 |
Petros ManiatisStaff Research Scientist, Googlegoogle.com의 이메일 확인됨
