Mayur Naik

Cited by

	All	Since 2020
Citations	11418	3758
h-index	40	31
i10-index	73	52

960

480

240

720

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202547 59 86 130 127 157 273 315 411 630 743 874 838 951 907 877 771 722 628 789 759 86

Public access

View all

42 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Petros ManiatisStaff Research Scientist, GoogleVerified email at google.com
Byung-Gon ChunFriendliAI and Seoul National UniversityVerified email at snu.ac.kr
Xujie SiUniversity of Toronto & MilaVerified email at cs.toronto.edu
Ziyang LiUniversity of PennsylvaniaVerified email at seas.upenn.edu
Xin ZhangAssistant Professor, Peking UniversityVerified email at pku.edu.cn
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Mukund RaghothamanUniversity of Southern CaliforniaVerified email at usc.edu
Ben LiblitAmazon Web ServicesVerified email at amazon.com
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Kihong HeoKAISTVerified email at kaist.ac.kr
Le SongGenBio AI, Mohamed bin Zayed University of Artificial IntelligenceVerified email at mbzuai.ac.ae
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Hanjun DaiGoogle DeepMindVerified email at google.com
Aravind MachiryAssistant Professor, Purdue UniversityVerified email at purdue.edu
Michael I. JordanProfessor of Electrical Engineering and Computer Sciences and Professor of Statistics, UC BerkeleyVerified email at cs.berkeley.edu
Aaditya NaikUniversity of PennsylvaniaVerified email at seas.upenn.edu
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Jiani HuangUniversity of PennsylvaniaVerified email at seas.upenn.edu
Chang-Seo ParkGoogle LLCVerified email at google.com
David GayGoogleVerified email at acm.org

Mayur Naik

Misra Family Professor of Computer Science, University of Pennsylvania

Verified email at cis.upenn.edu - Homepage

Programming Languages Software Engineering Machine Learning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	2745	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	954	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
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	261	2020
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
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	185	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	154	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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors