| 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 | 136 | 2012 |
| 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 | 90 | 2014 |
| 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 | 76 | 2015 |
| 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 | 65 | 2015 |
| 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 | 41 | 2014 |
| 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 | 37 | 2018 |
| Finding optimum abstractions in parametric dataflow analysis X Zhang, M Naik, H Yang Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 37 | 2013 |
| 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 | 28* | 2014 |
| Accelerating program analyses by cross-program training S Kulkarni, R Mangal, X Zhang, M Naik ACM SIGPLAN Notices 51 (10), 359-377, 2016 | 22 | 2016 |
| 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 | 20 | 2019 |
| 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 | 15 | 2017 |
| Scaling relational inference using proofs and refutations R Mangal, X Zhang, A Kamath, AV Nori, M Naik Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 11 | 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 | 9 | 2016 |
| 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 | 9 | 2015 |
| On incremental core-guided maxsat solving X Si, X Zhang, V Manquinho, M Janota, A Ignatiev, M Naik International Conference on Principles and Practice of Constraint …, 2016 | 8 | 2016 |
| 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 | 7 | 2021 |
| 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 | 7 | 2017 |
| 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 | 6 | 2017 |
| The Random Conditional Distribution for Higher-Order Probabilistic Inference Z Tavares, X Zhang, E Minaysan, J Burroni, R Ranganath, AS Lezama arXiv preprint arXiv:1903.10556, 2019 | 2 | 2019 |
| Synthesizing Queries via Interactive Sketching O Bastani, X Zhang, A Solar-Lezama arXiv preprint arXiv:1912.12659, 2019 | 1 | 2019 |
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
