| Automatic parameter recommendation for practical API usage C Zhang, J Yang, Y Zhang, J Fan, X Zhang, J Zhao, P Ou 2012 34th International Conference on Software Engineering (ICSE), 826-836, 2012 | 158 | 2012 |
| 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 | 106 | 2015 |
| On abstraction refinement for program analyses in Datalog X Zhang, R Mangal, R Grigore, M Naik, H Yang Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 99 | 2014 |
| Probabilistic verification of fairness properties via concentration O Bastani, X Zhang, A Solar-Lezama Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019 | 87 | 2019 |
| 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 | 82 | 2015 |
| Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections X Zhang, A Solar-Lezama, R Singh Advances in Neural Information Processing Systems, 4874-4885, 2018 | 61 | 2018 |
| Hybrid top-down and bottom-up interprocedural analysis X Zhang, R Mangal, M Naik, H Yang Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 51 | 2014 |
| Finding optimum abstractions in parametric dataflow analysis X Zhang, M Naik, H Yang Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 42 | 2013 |
| Effective interactive resolution of static analysis alarms X Zhang, R Grigore, X Si, M Naik Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-30, 2017 | 34 | 2017 |
| Expectation-oriented framework for automating approximate programming J Park, K Ni, X Zhang, H Esmaeilzadeh, M Naik Workshop on Approximate Computing Across the System Stack (WACAS), 2014 | 34* | 2014 |
| Accelerating program analyses by cross-program training S Kulkarni, R Mangal, X Zhang, M Naik ACM SIGPLAN Notices 51 (10), 359-377, 2016 | 26 | 2016 |
| Fault localization via efficient probabilistic modeling of program semantics M Zeng, Y Wu, Z Ye, Y Xiong, X Zhang, L Zhang Proceedings of the 44th International Conference on Software Engineering …, 2022 | 23 | 2022 |
| Maximum Satisfiability in Software Analysis: Applications and Techniques X Si, X Zhang, R Grigore, M Naik International Conference on Computer Aided Verification, 68-94, 2017 | 22 | 2017 |
| A language for counterfactual generative models Z Tavares, J Koppel, X Zhang, R Das, A Solar-Lezama International Conference on Machine Learning, 10173-10182, 2021 | 21 | 2021 |
| Volt: A lazy grounding framework for solving very large MaxSAT instances R Mangal, X Zhang, AV Nori, M Naik International Conference on Theory and Applications of Satisfiability …, 2015 | 13 | 2015 |
| Scaling relational inference using proofs and refutations R Mangal, X Zhang, A Kamath, A Nori, M Naik Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 12 | 2016 |
| Query-guided maximum satisfiability X Zhang, R Mangal, AV Nori, M Naik Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 11 | 2016 |
| Combining the logical and the probabilistic in program analysis X Zhang, X Si, M Naik Proceedings of the 1st ACM SIGPLAN International Workshop on Machine …, 2017 | 10 | 2017 |
| On incremental core-guided MaxSAT solving X Si, X Zhang, V Manquinho, M Janota, A Ignatiev, M Naik Principles and Practice of Constraint Programming: 22nd International …, 2016 | 10 | 2016 |
| Synthesizing Queries via Interactive Sketching O Bastani, X Zhang, A Solar-Lezama arXiv preprint arXiv:1912.12659, 2019 | 7 | 2019 |
Mayur NaikMisra Family Professor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
