Mayur Naik
Mayur Naik
Associate Professor of Computer Science, University of Pennsylvania
Dirección de correo verificada de - Página principal
Citado por
Citado por
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
Scalable statistical bug isolation
B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan
Acm Sigplan Notices 40 (6), 15-26, 2005
Effective static race detection for Java
M Naik, A Aiken, J Whaley
ACM Sigplan Notices 41 (6), 308-319, 2006
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
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
From symptom to cause: Localizing errors in counterexample traces
T Ball, M Naik, SK Rajamani
ACM SIGPLAN Notices 38 (1), 97-105, 2003
Conditional must not aliasing for static race detection
M Naik, A Aiken
ACM SIGPLAN Notices 42 (1), 327-338, 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
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
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
Effective static deadlock detection
M Naik, CS Park, K Sen, D Gay
Proceedings of the 31st International Conference on Software Engineering …, 2009
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
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
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
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
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
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
Compiling with code-size constraints
M Naik, J Palsberg
ACM Transactions on Embedded Computing Systems (TECS) 3 (1), 163-181, 2004
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20