Mayur Naik

Citat de

	Toate	Din 2020
Referințe bibliografice	11564	3759
h-index	40	31
i10-index	74	53

960

480

240

720

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202550 64 94 139 137 173 288 343 429 644 740 892 843 953 903 872 772 709 624 782 752 117

Acces public

Afișați-le pe toate

42 de articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Petros ManiatisStaff Research Scientist, GoogleAdresă de e-mail confirmată pe google.com
Byung-Gon ChunFriendliAI and Seoul National UniversityAdresă de e-mail confirmată pe snu.ac.kr
Alex AikenProfessor of Computer Science, Stanford UniversityAdresă de e-mail confirmată pe cs.stanford.edu
Xujie SiUniversity of Toronto & MilaAdresă de e-mail confirmată pe cs.toronto.edu
Ziyang LiUniversity of PennsylvaniaAdresă de e-mail confirmată pe seas.upenn.edu
Xin ZhangAssistant Professor, Peking UniversityAdresă de e-mail confirmată pe pku.edu.cn
Mukund RaghothamanUniversity of Southern CaliforniaAdresă de e-mail confirmată pe usc.edu
Michael I. JordanProfessor of Electrical Engineering and Computer Sciences and Professor of Statistics, UC BerkeleyAdresă de e-mail confirmată pe cs.berkeley.edu
Ben LiblitAmazon Web ServicesAdresă de e-mail confirmată pe amazon.com
Hongseok YangProfessor, School of Computing, KAISTAdresă de e-mail confirmată pe kaist.ac.kr
Kihong HeoKAISTAdresă de e-mail confirmată pe kaist.ac.kr
Hanjun DaiGoogle DeepMindAdresă de e-mail confirmată pe google.com
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaAdresă de e-mail confirmată pe seas.upenn.edu
Le SongGenBio AI, Mohamed bin Zayed University of Artificial IntelligenceAdresă de e-mail confirmată pe mbzuai.ac.ae
Koushik SenProfessor of Computer Science, University of California, BerkeleyAdresă de e-mail confirmată pe cs.berkeley.edu
Aravind MachiryAssistant Professor, Purdue UniversityAdresă de e-mail confirmată pe purdue.edu
Aaditya NaikUniversity of PennsylvaniaAdresă de e-mail confirmată pe seas.upenn.edu
Jiani HuangUniversity of PennsylvaniaAdresă de e-mail confirmată pe seas.upenn.edu
Chang-Seo ParkGoogle LLCAdresă de e-mail confirmată pe google.com
David GayGoogleAdresă de e-mail confirmată pe acm.org

Urmăriți

Mayur Naik

Misra Family Professor of Computer Science, University of Pennsylvania

Adresă de e-mail confirmată pe cis.upenn.edu - Pagina de pornire

Programming Languages Software Engineering Machine Learning


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	2741	2011
Scalable statistical bug isolation B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan Acm Sigplan Notices 40 (6), 15-26, 2005	1147	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	939	2013
Effective static race detection for Java M Naik, A Aiken, J Whaley ACM Sigplan Notices 41 (6), 308-319, 2006	720	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	557	2012
From symptom to cause: Localizing errors in counterexample traces T Ball, M Naik, SK Rajamani ACM SIGPLAN Notices 38 (1), 97-105, 2003	454	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	262	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	260	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
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	243	2006
Effective static deadlock detection M Naik, CS Park, K Sen, D Gay Proceedings of the 31st International Conference on Software Engineering …, 2009	240	2009
Conditional must not aliasing for static race detection M Naik, A Aiken ACM SIGPLAN Notices 42 (1), 327-338, 2007	227	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	196	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	177	2018
Public deployment of cooperative bug isolation B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan Proceedings of the Second International Workshop on Remote Analysis and …, 2004	173	2004
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	169	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	157	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	120	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	111	2012

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori