Підписатись
Xin Zhang
Xin Zhang
Assistant Professor, Peking University
Підтверджена електронна адреса в pku.edu.cn - Домашня сторінка
Назва
Посилання
Посилання
Рік
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
1582012
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
1082015
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
1032014
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
902019
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
852015
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
652018
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
482014
Finding optimum abstractions in parametric dataflow analysis
X Zhang, M Naik, H Yang
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
432013
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
342022
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
342017
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
262016
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
242021
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
232017
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
122016
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
122015
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
112017
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
102016
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
102016
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
82019
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20