Xin Zhang
TitleCited byYear
Automatic parameter recommendation for practical API usage
C Zhang, J Yang, Y Zhang, J Fan, X Zhang, J Zhao, P Ou
Proceedings of the 34th International Conference on Software Engineering …, 2012
942012
On abstraction refinement for program analyses in datalog
X Zhang, R Mangal, R Grigore, M Naik, H Yang
ACM SIGPLAN Notices 49 (6), 239-248, 2014
662014
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
492015
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
432015
Finding optimum abstractions in parametric dataflow analysis
X Zhang, M Naik, H Yang
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
312013
Hybrid top-down and bottom-up interprocedural analysis
X Zhang, R Mangal, M Naik, H Yang
ACM SIGPLAN Notices 49 (6), 249-258, 2014
272014
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
22*2014
Accelerating program analyses by cross-program training
S Kulkarni, R Mangal, X Zhang, M Naik
ACM SIGPLAN Notices 51 (10), 359-377, 2016
162016
Scaling relational inference using proofs and refutations
R Mangal, X Zhang, A Kamath, AV Nori, M Naik
Thirtieth AAAI Conference on Artificial Intelligence, 2016
72016
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
62015
Query-guided maximum satisfiability
X Zhang, R Mangal, AV Nori, M Naik
ACM SIGPLAN Notices 51 (1), 109-122, 2016
52016
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
42018
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
42016
Effective interactive resolution of static analysis alarms
X Zhang, R Grigore, X Si, M Naik
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 57, 2017
32017
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
32017
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
32017
Solving Weighted Constraints with Applications to Program Analysis
R Mangal, X Zhang, M Naik, A Nori
Georgia Institute of Technology, 2015
12015
COMBINING LOGICAL AND PROBABILISTIC REASONING IN PROGRAM ANALYSIS
X Zhang
Georgia Institute of Technology, 2017
2017
Scalable parametric static analysis
X Zhang, M Naik, H Yang
Georgia Institute of Technology, 2012
2012
Towards Flexible Offloading in Mobile-Cloud Computing
X Zhang, X Si, R Mangal, H Esmaeilzadeh, M Naik
The system can't perform the operation now. Try again later.
Articles 1–20