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