Xin Zhang

Xin Zhang

Peking University - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 675030
北京大学
person_outline Xin Zhang's MOST POPULAR ARTICLES
1-) Automatic parameter recommendation for practical API usageC Zhang, J Yang, Y Zhang, J Fan, X Zhang, J Zhao, P Ou2012 34th International Conference on Software Engineering (ICSE), 826-836, 20121452012
2-) A user-guided approach to program analysisR Mangal, X Zhang, AV Nori, M NaikProceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015982015
3-) On abstraction refinement for program analyses in DatalogX Zhang, R Mangal, R Grigore, M Naik, H YangProceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014982014
4-) Probabilistic verification of fairness properties via concentrationO Bastani, X Zhang, A Solar-LezamaProceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019872019
5-) FlexJava: Language support for safe and modular approximate programmingJ Park, H Esmaeilzadeh, X Zhang, M Naik, W HarrisProceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015822015