Theo dõi
Mayur Naik
Mayur Naik
Misra Family Professor of Computer Science, University of Pennsylvania
Email được xác minh tại cis.upenn.edu - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
27412011
Scalable statistical bug isolation
B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan
Acm Sigplan Notices 40 (6), 15-26, 2005
11462005
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
9392013
Effective static race detection for Java
M Naik, A Aiken, J Whaley
ACM Sigplan Notices 41 (6), 308-319, 2006
7202006
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
5572012
From symptom to cause: Localizing errors in counterexample traces
T Ball, M Naik, SK Rajamani
ACM SIGPLAN Notices 38 (1), 97-105, 2003
4542003
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
2622020
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
2592009
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
2502014
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
2432006
Effective static deadlock detection
M Naik, CS Park, K Sen, D Gay
Proceedings of the 31st International Conference on Software Engineering …, 2009
2402009
Conditional must not aliasing for static race detection
M Naik, A Aiken
ACM SIGPLAN Notices 42 (1), 327-338, 2007
2272007
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
1962010
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
1772018
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
1732004
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
1692018
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
1572009
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
1542018
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
1202010
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
1112012
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20