Xin Zhang - Google Scholar Citations

Cited by

	All	Since 2015
Citations	449	413
h-index	9	9
i10-index	9	9

120

2013201420152016201720182019202010 22 50 69 100 79 106 7

Co-authors

Mayur NaikAssociate Professor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Ravi MangalGeorgia Institute of TechnologyVerified email at gatech.edu
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Aditya NoriSr. Principal Research Manager, Microsoft ResearchVerified email at microsoft.com
Hadi EsmaeilzadehAssociate Professor; Computer Science and Engineering; University of California, San DiegoVerified email at eng.ucsd.edu
Radu GrigoreLecturer, University of KentVerified email at kent.ac.uk
Jongse ParkAssistant Professor; School of Computing; KAISTVerified email at kaist.ac.kr
Xujie SiUniversity of PennsylvaniaVerified email at cis.upenn.edu
Armando Solar-LezamaMITVerified email at csail.mit.edu
Jianjun ZhaoProfessor of Computer Science, Kyushu UniversityVerified email at ait.kyushu-u.ac.jp
Cheng ZhangPost-doctoral research fellow, University of WaterlooVerified email at uwaterloo.ca
Juyuan YangPhD student, Georgia Institute of TechnologyVerified email at gatech.edu
Peizhao OuGoogle LLCVerified email at uci.edu
Kangqi NiPhD Candidate in Computer Science, Georgia Institute of TechnologyVerified email at gatech.edu
William HarrisResearch Scientist, Galois Inc.Verified email at galois.com
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Zenna TavaresMITVerified email at mit.edu
Vasco ManquinhoINESC-ID, Instituto Superior Técnico - Universidade de LisboaVerified email at inesc-id.pt
Mikoláš JanotaAssistant Professor, Instituto Superior Técnico (IST) / INESC-ID, University of LisbonVerified email at sat.inesc-id.pt
Alexey IgnatievFaculty of Information Technology, Monash UniversityVerified email at monash.edu

Xin Zhang

Postdoctoral Associate, Massachusetts Institute of Technology

Verified email at csail.mit.edu - Homepage

Programming Languages Software Engineering Constrained Optimization Program Analysis


Title	Cited by	Year
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	105	2012
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	76	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	58	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	51	2015
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
Hybrid top-down and bottom-up interprocedural analysis X Zhang, R Mangal, M Naik, H Yang ACM SIGPLAN Notices 49 (6), 249-258, 2014	30	2014
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
Accelerating program analyses by cross-program training S Kulkarni, R Mangal, X Zhang, M Naik ACM SIGPLAN Notices 51 (10), 359-377, 2016	17	2016
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	12	2018
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	8	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	8	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	7	2015
Query-guided maximum satisfiability X Zhang, R Mangal, AV Nori, M Naik ACM SIGPLAN Notices 51 (1), 109-122, 2016	6	2016
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	5	2017
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	5	2016
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	3	2017
A language for counterfactual generative models Z Tavares, J Koppel, X Zhang, A Solar-Lezama	2	2018
Probabilistic verification of fairness properties via concentration O Bastani, X Zhang, A Solar-Lezama Proceedings of the ACM on Programming Languages 3 (OOPSLA), 118, 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
Synthesizing Queries via Interactive Sketching O Bastani, X Zhang, A Solar-Lezama arXiv preprint arXiv:1912.12659, 2019		2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors