![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Xin Zhang 0035
Person information
- affiliation: Peking University, Department of Computer Science and Technology, Beijing, China
- affiliation (2017-2020): Massachusetts Institute of Technology, Cambridge, MA, USA
- affiliation (PhD 2017): Georgia Institute of Technology, Atlanta, GA, USA
Other persons with the same name
- Xin Zhang — disambiguation page
- Xin Zhang 0001
— Beijing University of Posts and Telecommunications, China
- Xin Zhang 0002 — Worcester Polytechnic Institute, MA, USA
- Xin Zhang 0003 — Carnegie Mellon University, Pittsburgh, PA, USA (and 1 more)
- Xin Zhang 0004 — The United Technologies Research Center, East Hartford, CT, USA
- Xin Zhang 0005 — Cisco Systems (and 1 more)
- Xin Zhang 0006 — Cornell University, Ithaca, NY, USA
- Xin Zhang 0008 — IBM China Research Lab.
- Xin Zhang 0009 — Motorola (and 1 more)
- Xin Zhang 0010 — Nanjing University, China
- Xin Zhang 0011 — University of Pittsburgh, PA, USA
- Xin Zhang 0012
— Nankai University, School of Mathematical Sciences and LPMC, Tianjin, China
- Xin Zhang 0013
— South China University of Technology, School of Electronics and Information Engineering, Guangzhou, China (and 1 more)
- Xin Zhang 0014 — Chinese Academy of Sciences, Institute of Automation, Beijing, China (and 1 more)
- Xin Zhang 0015 — Indiana University, IN, USA (and 1 more)
- Xin Zhang 0016 — Harbin Institute of Technology, School of Humanity and Social Science, China
- Xin Zhang 0017
— Xidian University, Department of Mathematics, Xi'an, China (and 1 more)
- Xin Zhang 0018
— National University of Defense Technology, College of Systems Engineering, Changsha, China (and 1 more)
- Xin Zhang 0019
— Shanghai Jiao Tong University, School of Aeronautics and Astronautics, China
- Xin Zhang 0020
— Beijing University of Chemical Technology, China (and 3 more)
- Xin Zhang 0021
— Chinese Academy of Sciences, Shanghai Institute of Microsystem and Information Technology, Shanghai, China (and 1 more)
- Xin Zhang 0022
— Deakin University, Centre for Pattern Recognition and Data Analytics, Geelong, VIC, Australia (and 1 more)
- Xin Zhang 0023
— Rensselaer Polytechnic Institute, Troy, NY, USA
- Xin Zhang 0024
— Beijing University of Chemical Technology, Beijing Key Laboratory of Bioprocess, China
- Xin Zhang 0025
— University of Tokyo, Institute of Industrial Science, Japan (and 4 more)
- Xin Zhang 0026
— Harbin Institute of Technology, School of Electronics Information Engineering / Collaborative Innovation Center of Information Sensing and Understanding, China
- Xin Zhang 0027
— Cubist Pharmaceuticals, Lexington, USA
- Xin Zhang 0028
— University of Sheffield, UK (and 2 more)
- Xin Zhang 0029
— National University of Defense Technology, College of Information System and Management, Changsha, China
- Xin Zhang 0030
— Stevens Institute of Technology, Hoboken, NJ, USA
- Xin Zhang 0031
— Chinese Academy of Sciences, Institute of Remote Sensing and Digital Earth, State Key Laboratory of Remote Sensing Science, Beijing, China (and 2 more)
- Xin Zhang 0032 — Harbin Institute of Technology, School of Electrical Engineering and Automation, China
- Xin Zhang 0033
— Chinese Academy of Sciences, Institute of Remote Sensing and Digital Earth, Key Laboratory of Digital Earth Science, Beijing, China (and 1 more)
- Xin Zhang 0034
— Zhejiang University, College of Electrical Engineering, Hangzhou, China (and 2 more)
- Xin Zhang 0036
— Shanghai Maritime University, College of Communication and Transport, Shanghai, Cina
- Xin Zhang 0037
— Donghua University, School of Information Sciences and Technology, Shanghai, China
- Xin Zhang 0038 — University of California Riverside, Department of Statistics, CA, USA
- Xin Zhang 0039
— Hong Kong University of Science and Technology, Department of ECE, Hong Kong (and 1 more)
- Xin Zhang 0040 — Darmstadt University of Technology, Germany
- Xin Zhang 0041 — University of Hong Kong, Pokfulam, Hong Kong
- Xin Zhang 0042
— Tianjin Normal University, College of Electronic and Communication Engineering, China (and 1 more)
- Xin Zhang 0043
— Harbin Institute of Technology, Department of Control Science and Engineering, China
- Xin Zhang 0044
— Xi'an Jiaotong University, School of Mechanical Engineering, China
- Xin Zhang 0045
— TU Dresden, Vodafone Chair Mobile Communications Systems, Germany (and 1 more)
- Xin Zhang 0046
— Army Engineering University, Shijiazhuang, China
- Xin Zhang 0047
— University of Hong Kong, Department of Mathematics, Hong Kong (and 2 more)
- Xin Zhang 0048
— Taiyuan University of Technology, College of Mechanical and Vehicle Engineering, China
- Xin Zhang 0049 — Guangzhou University, School of Computer Science and Cyber Engineering, China
- Xin Zhang 0050 — Hubei Tongda Power Supply Company Ltd, Xianning, China
- Xin Zhang 0051 — Tsinghua University, Department of Computer Science and Technology, Beijing, China
- Xin Zhang 0052 — Guilin University of Electronic and Technology, Guilin, China
- Xin Zhang 0053 — China National Institute of Standardization, Ergonomics Laboratory, Beijing, China
- Xin Zhang 0054
— Iowa State University, Department of Statistics, Ames, IA, USA
- Xin Zhang 0055
— Hunan University, College of Computer Science and Electronic Engineering, Changsha, China
- Xin Zhang 0056
— Shenzhen Bay Laboratory, Institute of Molecular Physiology, China (and 1 more)
- Xin Zhang 0057
— Tongji University, School of Mathematical Sciences, Shanghai, China (and 2 more)
- Xin Zhang 0058
— Tianjin University, College of Precision Instruments and Optoelectronics Engineering, Department of Biomedical Engineering, China (and 1 more)
- Xin Zhang 0059
— University of Michigan Ann Arbor, Ross School of Business, MI, USA
- Xin Zhang 0060
— Ocean University of China, College of Information Science and Engineering, Qingdao, China
- Xin Zhang 0061
— Chinese Academy of Sciences, Institute of Acoustics, National Network New Media Engineering Research Center, Beijing, China
- Xin Zhang 0062
— Chinese Academy of Sciences, Changchun Institute of Optics, Fine Mechanics and Physics, China (and 1 more)
- Xin Zhang 0063
— Hangzhou Dianzi University, School of Computer Science and Technology, Key Laboratory of Complex Systems Modeling and Simulation, China
- Xin Zhang 0064
— Beijing Technology and Business University, School of Computer and Information Engineering, Beijing Key Laboratory of Big Data Technology for Food Safety, China
- Xin Zhang 0065
— South China University of Technology, School of Computer Science and Engineering, State Key Laboratory of Subtropical Building Science, Guangzhou, China
- Xin Zhang 0066
— Hefei University, Department of Artificial Intelligence and Big Data, China (and 1 more)
- Xin Zhang 0067
— Qingdao University of Technology, School of Information and Control Engineering, China
- Xin Zhang 0068
— Nanjing University of Information Science and Technology, CICAEET / Jiangsu Key Laboratory of Meteorological Observation and Information Processing, China
- Xin Zhang 0069
— Northwest Institute of Nuclear Technology, Xi'an, China (and 1 more)
- Xin Zhang 0070
— Liaoning University, College of Information, Shenyang, China (and 1 more)
- Xin Zhang 0071
— Fourth People's Hospital of Huai'an, Department of Medical Imaging, China
- Xin Zhang 0072
— Shandong University of Finance and Economics, Jinan, China
- Xin Zhang 0073 — China Electronics Technology Group Corporation No.38 Research Institute, Hefei, China (and 2 more)
- Xin Zhang 0074
— Sun Yat-sen University, School of Aeronautics and Astronautics, Shenzhen, China
- Xin Zhang 0075
— Nanjing University of Finance and Economics, School of Applied Mathematics, China
- Xin Zhang 0076
— Soochow University, Suzhou, China
- Xin Zhang 0077
— Hunan University of Science and Technology, School of Information and Electrical Engineering, Xiangtan, China
- Xin Zhang 0078
— Fujian University of Technology, College of Computer Science and Mathematics, Fuzhou, China
- Xin Zhang 0079
— Hangzhou Dianzi University, School of Computer Science and Technology, China (and 1 more)
- Xin Zhang 0080
— University of Michigan, Department of Mathematics, Ann Arbor, MI, USA
- Xin Zhang 0081
— Chinese Academy of Sciences, Shenyang Institute of Automation, China
- Xin Zhang 0082
— University of Jinan, School of Information Science and Engineering, Shandong Provincial Key Laboratory of Network Based Intelligent Computing, China
- Xin Zhang 0083
— Nanjing University of Information Science and Technology, Cloud-Precipitation of China Meteorological Administration, China
- Xin Zhang 0084
— Leibniz-Institute of Freshwater Ecology and Inland Fisheries, Department of Ecohydrology, Berlin, Germany (and 1 more)
- Xin Zhang 0085
— Washington State University, Department of Biological Systems Engineering, Pullman, WA, USA (and 1 more)
- Xin Zhang 0086
— Chinese Academy of Sciences, Beijing Institute of Genomics, National Genomics Data Center, China
- Xin Zhang 0087
— Nanjing University of Aeronautics and Astronautics, College of Science, China (and 1 more)
- Xin Zhang 0088
— Beijing Institute of Technology, School of Optics and Photonics, China
- Xin Zhang 0089
— Guangdong University of Technology, School of Information Engineering, Guangzhou, China
- Xin Zhang 0090
— Xiamen University, School of Informatics, Department of Artificial Intelligence, China
- Xin Zhang 0091
— Wuhan University, Artificial Intelligence Institute, China (and 1 more)
- Xin Zhang 0092
— Xidian University, State Key Laboratory of Integrated Services Networks, Xi'an, China
- Xin Zhang 0093
— Chinese Academy of Sciences, Institute of Automation, National Laboratory of Pattern Recognition, Beijing, China (and 1 more)
- Xin Zhang 0094
— University of Melbourne, School of Computing and Information Systems, Parkville, Victoria, Australia
- Xin Zhang 0095 — New York University, Courant Institute of Mathematical Sciences, USA
- Xin Zhang 0096 — Chinese Academy and Sciences, Institute of Remote Sensing Applications, Beijing, China
- Xin Zhang 0097
— Harbin Institute of Technology, School of Computer Science and Technology, Shenzhen, China (and 2 more)
- Xin Zhang 0098
— San Diego State University, Department of Computer Science, San Diego, CA, USA (and 1 more)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2018
- [b1]Xin Zhang:
Combining logical and probabilistic reasoning in program analysis. Georgia Institute of Technology, Atlanta, GA, USA, 2018
Journal Articles
- 2024
- [j3]Yifan Zhang, Yuanfeng Shi, Xin Zhang
:
Learning Abstraction Selection for Bayesian Program Analysis. Proc. ACM Program. Lang. 8(OOPSLA1): 954-982 (2024) - 2019
- [j2]Osbert Bastani, Xin Zhang
, Armando Solar-Lezama
:
Probabilistic verification of fairness properties via concentration. Proc. ACM Program. Lang. 3(OOPSLA): 118:1-118:27 (2019) - 2017
- [j1]Xin Zhang
, Radu Grigore, Xujie Si, Mayur Naik:
Effective interactive resolution of static analysis alarms. Proc. ACM Program. Lang. 1(OOPSLA): 57:1-57:30 (2017)
Conference and Workshop Papers
- 2023
- [c18]Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong, Xin Zhang
, Lu Zhang:
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees. ISSRE 2023: 763-773 - 2022
- [c17]Muhan Zeng, Yiqian Wu, Zhentao Ye, Yingfei Xiong, Xin Zhang
, Lu Zhang:
Fault Localization via Efficient Probabilistic Modeling of Program Semantics. ICSE 2022: 958-969 - 2021
- [c16]Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama
:
A Language for Counterfactual Generative Models. ICML 2021: 10173-10182 - [c15]Yifan Chen, Chenyang Yang
, Xin Zhang
, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang:
Accelerating Program Analyses in Datalog by Merging Library Facts. SAS 2021: 77-101 - 2018
- [c14]Xin Zhang, Armando Solar-Lezama
, Rishabh Singh:
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. NeurIPS 2018: 4879-4890 - 2017
- [c13]Xujie Si, Xin Zhang
, Radu Grigore, Mayur Naik:
Maximum Satisfiability in Software Analysis: Applications and Techniques. CAV (1) 2017: 68-94 - [c12]Xin Zhang, Xujie Si, Mayur Naik:
Combining the logical and the probabilistic in program analysis. MAPL@PLDI 2017: 27-34 - 2016
- [c11]Ravi Mangal, Xin Zhang
, Aditya Kamath, Aditya V. Nori, Mayur Naik:
Scaling Relational Inference Using Proofs and Refutations. AAAI 2016: 3278-3286 - [c10]Xujie Si, Xin Zhang
, Vasco M. Manquinho
, Mikolás Janota
, Alexey Ignatiev
, Mayur Naik:
On Incremental Core-Guided MaxSAT Solving. CP 2016: 473-482 - [c9]Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik:
Accelerating program analyses by cross-program training. OOPSLA 2016: 359-377 - [c8]Xin Zhang
, Ravi Mangal, Aditya V. Nori, Mayur Naik:
Query-guided maximum satisfiability. POPL 2016: 109-122 - 2015
- [c7]Ravi Mangal, Xin Zhang
, Aditya V. Nori, Mayur Naik:
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. SAT 2015: 299-306 - [c6]Ravi Mangal, Xin Zhang
, Aditya V. Nori, Mayur Naik:
A user-guided approach to program analysis. ESEC/SIGSOFT FSE 2015: 462-473 - [c5]Jongse Park, Hadi Esmaeilzadeh, Xin Zhang
, Mayur Naik, William Harris:
FlexJava: language support for safe and modular approximate programming. ESEC/SIGSOFT FSE 2015: 745-757 - 2014
- [c4]Xin Zhang
, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang:
On abstraction refinement for program analyses in Datalog. PLDI 2014: 239-248 - [c3]Xin Zhang
, Ravi Mangal, Mayur Naik, Hongseok Yang:
Hybrid top-down and bottom-up interprocedural analysis. PLDI 2014: 249-258 - 2013
- [c2]Xin Zhang
, Mayur Naik, Hongseok Yang:
Finding optimum abstractions in parametric dataflow analysis. PLDI 2013: 365-376 - 2012
- [c1]Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang
, Jianjun Zhao, Peizhao Ou:
Automatic parameter recommendation for practical API usage. ICSE 2012: 826-836
Informal and Other Publications
- 2021
- [i5]Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Safe Human-Interactive Control via Shielding. CoRR abs/2110.05440 (2021) - 2019
- [i4]Zenna Tavares, Xin Zhang, Edgar Minaysan, Javier Burroni, Rajesh Ranganath, Armando Solar-Lezama:
The Random Conditional Distribution for Higher-Order Probabilistic Inference. CoRR abs/1903.10556 (2019) - [i3]Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Synthesizing Queries via Interactive Sketching. CoRR abs/1912.12659 (2019) - 2018
- [i2]Xin Zhang, Armando Solar-Lezama, Rishabh Singh:
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. CoRR abs/1802.07384 (2018) - [i1]Osbert Bastani, Xin Zhang, Armando Solar-Lezama:
Verifying Fairness Properties via Concentration. CoRR abs/1812.02573 (2018)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 19:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint