| 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 | 113 | 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 | 79 | 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 | 64 | 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 | 54 | 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 | 39 | 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 | 31 | 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 | 23* | 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 | 20 | 2018 |
| Accelerating program analyses by cross-program training S Kulkarni, R Mangal, X Zhang, M Naik ACM SIGPLAN Notices 51 (10), 359-377, 2016 | 20 | 2016 |
| 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 | 11 | 2017 |
| 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 | 10 | 2017 |
| Scaling Relational Inference Using Proofs and Refutations. R Mangal, X Zhang, A Kamath, AV Nori, M Naik AAAI, 3278-3286, 2016 | 10 | 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 |
| 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 | 8 | 2016 |
| 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 | 6 | 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 | 5 | 2019 |
| 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 | 4 | 2017 |
| A language for counterfactual generative models Z Tavares, J Koppel, X Zhang, A Solar-Lezama | 2 | 2018 |
| 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 | 1 | 2019 |
| Solving Weighted Constraints with Applications to Program Analysis R Mangal, X Zhang, M Naik, A Nori Georgia Institute of Technology, 2015 | 1 | 2015 |
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
