Folgen
Mayur Naik
Mayur Naik
Misra Family Professor of Computer Science, University of Pennsylvania
Bestätigte E-Mail-Adresse bei cis.upenn.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
27432011
Scalable statistical bug isolation
B Liblit, M Naik, AX Zheng, A Aiken, MI Jordan
Acm Sigplan Notices 40 (6), 15-26, 2005
11552005
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
9532013
Effective static race detection for Java
M Naik, A Aiken, J Whaley
ACM Sigplan Notices 41 (6), 308-319, 2006
7272006
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
5642012
From symptom to cause: Localizing errors in counterexample traces
T Ball, M Naik, SK Rajamani
ACM SIGPLAN Notices 38 (1), 97-105, 2003
4462003
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
2612009
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
2602020
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
Effective static deadlock detection
M Naik, CS Park, K Sen, D Gay
Proceedings of the 31st International Conference on Software Engineering …, 2009
2442009
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
2442006
Conditional must not aliasing for static race detection
M Naik, A Aiken
ACM SIGPLAN Notices 42 (1), 327-338, 2007
2282007
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
1942010
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
1832018
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
1712018
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
1592009
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
1532018
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
1212010
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
109*2013
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
1092012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20