Xin Zhang - Google Scholar Citations

Cited by

	All	Since 2014
Citations	384	371
h-index	8	8
i10-index	8	8

100

201220132014201520162017201820191 9 22 49 68 100 74 57

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 NoriSenior Principal Researcher, 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 ParkBigstream SolutionsVerified email at bigstream.co
Xujie SiUniversity of PennsylvaniaVerified email at cis.upenn.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
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 IgnatievReason Lab, Faculty of Sciences, University of LisbonVerified email at ciencias.ulisboa.pt
Rishabh SinghResearch Scientist, Google BrainVerified email at google.com
Armando Solar-LezamaMITVerified email at csail.mit.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	94	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	66	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	49	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	43	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	27	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	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	16	2016
Scaling relational inference using proofs and refutations R Mangal, X Zhang, A Kamath, AV Nori, M Naik Thirtieth AAAI Conference on Artificial Intelligence, 2016	7	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	6	2015
Query-guided maximum satisfiability X Zhang, R Mangal, AV Nori, M Naik ACM SIGPLAN Notices 51 (1), 109-122, 2016	5	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	4	2018
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	4	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), 57, 2017	3	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	3	2017
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
Solving Weighted Constraints with Applications to Program Analysis R Mangal, X Zhang, M Naik, A Nori Georgia Institute of Technology, 2015	1	2015
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

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors