2026 Mayur Naik: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	37	10492	10196	4392	4209	100	10095

Overview

Mayur Naik is affiliated with the University of Pennsylvania in the United States. Their research primarily spans the field of Computer Science, with a total of 73 publications. Their work covers several subfields including Artificial Intelligence, Software, Information Systems, Computer Vision and Pattern Recognition, and Signal Processing.

The main topics of their research include Software Engineering Research, Software Testing and Debugging Techniques, Machine Learning and Data Classification, Advanced Malware Detection Techniques, Explainable Artificial Intelligence (XAI), Multimodal Machine Learning Applications, and Software Reliability and Analysis Research.

Mayur Naik has published extensively in several venues, among which the most frequent are:

arXiv (Cornell University)
Proceedings of the ACM on Programming Languages
Proceedings of the AAAI Conference on Artificial Intelligence
IEEE Transactions on Software Engineering
Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security

Some of their recent papers include:

HOPPITY: LEARNING GRAPH TRANSFORMATIONS TO DETECT AND FIX BUGS IN PROGRAMS, 2021, OPAL (Open@LaTrobe) (La Trobe University)
DeepMerge: Learning to Merge Programs, 2022, IEEE Transactions on Software Engineering
Scallop: A Language for Neurosymbolic Programming, 2023, Proceedings of the ACM on Programming Languages
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities, 2024, arXiv (Cornell University)
GENSYNTH: Synthesizing Datalog Programs without Language Bias, 2021, Proceedings of the AAAI Conference on Artificial Intelligence

Frequent co-authors who have collaborated with Mayur Naik include:

Aaditya Naik
Yinjun Wu
Eric Wong
Rajeev Alur
Adam Stein

Best Publications

CloneCloud: elastic execution between mobile device and cloud

Byung-Gon Chun;Sunghwan Ihm;Petros Maniatis;Mayur Naik

2615
Citations
Scalable statistical bug isolation

Ben Liblit;Mayur Naik;Alice X. Zheng;Alex Aiken

1109
Citations
Dynodroid: an input generation system for Android apps

Aravind Machiry;Rohan Tahiliani;Mayur Naik

878
Citations
Effective static race detection for Java

Mayur Naik;Alex Aiken;John Whaley

672
Citations
Automated concolic testing of smartphone apps

Saswat Anand;Mayur Naik;Mary Jean Harrold;Hongseok Yang

530
Citations
From symptom to cause: localizing errors in counterexample traces

Thomas Ball;Mayur Naik;Sriram K. Rajamani

436
Citations
Statistical debugging: simultaneous identification of multiple bugs

Alice X. Zheng;Michael I. Jordan;Ben Liblit;Mayur Naik

243
Citations
COSMOS: computation offloading as a service for mobile devices

Cong Shi;Karim Habak;Pranesh Pandurangan;Mostafa Ammar

238
Citations
A randomized dynamic program analysis technique for detecting real deadlocks

Pallavi Joshi;Chang-Seo Park;Koushik Sen;Mayur Naik

237
Citations
Effective static deadlock detection

Mayur Naik;Chang-Seo Park;Koushik Sen

236
Citations
Conditional must not aliasing for static race detection

Mayur Naik;Alex Aiken

228
Citations
Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression

Ling Huang;Jinzhu Jia;Bin Yu;Byung-gon Chun

155
Citations
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs

Pallavi Joshi;Mayur Naik;Chang-Seo Park;Koushik Sen

155
Citations
Effective Program Debloating via Reinforcement Learning

Kihong Heo;Woosuk Lee;Pardis Pashakhanloo;Mayur Naik

148
Citations
An effective dynamic analysis for detecting generalized deadlocks

Pallavi Joshi;Mayur Naik;Koushik Sen

115
Citations
Computing in cirrus clouds: the challenge of intermittent connectivity

Cong Shi;Mostafa H. Ammar;Ellen W. Zegura;Mayur Naik

113
Citations
Accelerating search-based program synthesis using learned probabilistic models

Woosuk Lee;Kihong Heo;Rajeev Alur;Mayur Naik

107
Citations
On abstraction refinement for program analyses in Datalog

Xin Zhang;Ravi Mangal;Radu Grigore;Mayur Naik

106
Citations
HOPPITY: LEARNING GRAPH TRANSFORMATIONS TO DETECT AND FIX BUGS IN PROGRAMS

Elizabeth Dinella;Hanjun Dai;Ziyang Li;Mayur Naik

98
Citations
A user-guided approach to program analysis

Ravi Mangal;Xin Zhang;Aditya V. Nori;Mayur Naik

96
Citations
Learning Loop Invariants for Program Verification

Xujie Si;Hanjun Dai;Mukund Raghothaman;Mayur Naik

82
Citations

Frequent Co-Authors

Hongseok Yang Korea Advanced Institute of Science and Technology

Byung-Gon Chun Seoul National University

Petros Maniatis Google (United States)

Le Song Mohamed bin Zayed University of Artificial Intelligence

Ling Huang Intel (United States)

Jens Palsberg University of California, Los Angeles

Aditya V. Nori Microsoft (United States)

Alex Aiken Stanford University

Koushik Sen University of California, Berkeley

Rajeev Alur University of Pennsylvania

External Links

Personal website of Mayur Naik Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens doors to a variety of related online degrees and career options, giving students the flexibility to tailor their education. For those interested in the physical foundations of technology, online physics degrees provide a rigorous backdrop in scientific principles that power computation and engineering.

Technology-driven roles often require advanced analytical skills. Pursuing the cheapest master in data science can help students rapidly enter one of the fastest-growing fields and become highly competitive in the job market.

For those focusing on systems and hardware, accredited online electrical engineering programs offer flexible pathways to specialized roles in automation, electronics, and energy sectors.

Additionally, professionals can boost their credentials by obtaining certifications that pay well, providing a quick route to high-paying careers in IT and tech support. Combining online degrees with industry-recognized certifications accelerates employability and career advancement.