Mayur Naik

Cited by

	All	Since 2016
Citations	8039	4149
h-index	31	28
i10-index	54	44

920

460

230

690

20042005200620072008200920102011201220132014201520162017201820192020202143 57 92 129 132 158 259 311 395 626 724 875 803 908 876 846 693 19

Co-authors

Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Petros ManiatisStaff Research Scientist, GoogleVerified email at google.com
Byung-Gon ChunSeoul National UniversityVerified email at snu.ac.kr
Xin ZhangAssistant Professor, Peking UniversityVerified email at pku.edu.cn
Ben LiblitUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Xujie SiMcGill UniversityVerified email at cs.mcgill.ca
Michael I. JordanProfessor of Electrical Engineering and Computer Sciences and Professor of Statistics, UC BerkeleyVerified email at cs.berkeley.edu
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Kihong HeoAssistant Professor, KAISTVerified email at kaist.ac.kr
Mukund RaghothamanUniversity of Southern CaliforniaVerified email at usc.edu
Chang-Seo ParkGoogle LLCVerified email at google.com
David GayGoogleVerified email at acm.org
Pallavi JoshiSoftware Engineer, ClouderaVerified email at cloudera.com
Jens PalsbergUniversity of California, Los Angeles (UCLA)Verified email at ucla.edu
Ling HuangAHI FintechVerified email at cs.berkeley.edu
Ellen ZeguraProfessor of Computer Science, Georgia TechVerified email at cc.gatech.edu
Mostafa AmmarRegents' Professor, School of Computer Science, Georgia TechVerified email at cc.gatech.edu
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Thomas BallMicrosoft ResearchVerified email at microsoft.com

Mayur Naik

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	2234	2011
Scalable statistical bug isolation B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan Acm Sigplan Notices 40 (6), 15-26, 2005	949	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	631	2013
Effective static race detection for Java M Naik, A Aiken, J Whaley ACM Sigplan Notices 41 (6), 308-319, 2006	616	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	403	2012
From symptom to cause: Localizing errors in counterexample traces T Ball, M Naik, SK Rajamani ACM SIGPLAN Notices 38 (1), 97-105, 2003	390	2003
Conditional must not aliasing for static race detection M Naik, A Aiken ACM SIGPLAN Notices 42 (1), 327-338, 2007	222	2007
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	206	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	205	2014
Effective static deadlock detection M Naik, CS Park, K Sen, D Gay Proceedings of the 31st International Conference on Software Engineering …, 2009	201	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	196	2006
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	130	2009
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	112	2010
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	99	2012
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	97	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	89*	2013
On abstraction refinement for program analyses in Datalog X Zhang, R Mangal, R Grigore, M Naik, H Yang ACM SIGPLAN Notices 49 (6), 239-248, 2014	80	2014
A user-guided approach to program analysis R Mangal, X Zhang, AV Nori, M Naik Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015	67	2015
Compiling with code-size constraints M Naik, J Palsberg ACM Transactions on Embedded Computing Systems (TECS) 3 (1), 163-181, 2004	66	2004
FlexJava: Language support for safe and modular approximate programming J Park, H Esmaeilzadeh, X Zhang, M Naik, W Harris Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015	57	2015

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

Upload PDF

Follow this author

Cited by

Co-authors