Mayur Naik
Mayur Naik
Associate Professor of Computer Science, University of Pennsylvania
Verified email at cis.upenn.edu - Homepage
TitleCited byYear
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
18992011
Scalable statistical bug isolation
B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan
Acm Sigplan Notices 40 (6), 15-26, 2005
8562005
Effective static race detection for Java
M Naik, A Aiken, J Whaley
ACM Sigplan Notices 41 (6), 308-319, 2006
5622006
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
4802013
From symptom to cause: Localizing errors in counterexample traces
T Ball, M Naik, SK Rajamani
ACM SIGPLAN Notices 38 (1), 97-105, 2003
3592003
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
3362012
Conditional must not aliasing for static race detection
M Naik, A Aiken
ACM SIGPLAN Notices 42 (1), 327-338, 2007
2142007
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
1842009
Effective static deadlock detection
M Naik, CS Park, K Sen, D Gay
Proceedings of the 31st International Conference on Software Engineering …, 2009
1762009
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
1752006
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
1572014
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
1162009
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
872010
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
862012
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
842010
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
73*2013
Compiling with code-size constraints
M Naik, J Palsberg
ACM Transactions on Embedded Computing Systems (TECS) 3 (1), 163-181, 2004
662004
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
642014
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
482015
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
422015
The system can't perform the operation now. Try again later.
Articles 1–20