Automatic parameter recommendation for practical API usage. - Cheng Zhang; Juyuan Yang; Yi Zhang; Jing Fan; Xin Zhang 035; Jianjun Zhao 001; Peizhao Ou (ICSE, 2012)

Finding optimum abstractions in parametric dataflow analysis. - Xin Zhang 035; Mayur Naik; Hongseok Yang (PLDI, 2013)

On abstraction refinement for program analyses in Datalog. - Xin Zhang 035; Ravi Mangal; Radu Grigore; Mayur Naik; Hongseok Yang (PLDI, 2014)

Hybrid top-down and bottom-up interprocedural analysis. - Xin Zhang 035; Ravi Mangal; Mayur Naik; Hongseok Yang (PLDI, 2014)

Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. - Ravi Mangal; Xin Zhang 035; Aditya V. Nori; Mayur Naik (SAT, 2015)

A user-guided approach to program analysis. - Ravi Mangal; Xin Zhang 035; Aditya V. Nori; Mayur Naik (ESEC/SIGSOFT FSE, 2015)

FlexJava: language support for safe and modular approximate programming. - Jongse Park; Hadi Esmaeilzadeh; Xin Zhang 035; Mayur Naik; William Harris (ESEC/SIGSOFT FSE, 2015)

Scaling Relational Inference Using Proofs and Refutations. - Ravi Mangal; Xin Zhang 035; Aditya Kamath; Aditya V. Nori; Mayur Naik (AAAI, 2016)

On Incremental Core-Guided MaxSAT Solving. - Xujie Si; Xin Zhang 035; Vasco Manquinho; Mikolás Janota; Alexey Ignatiev; Mayur Naik (CP, 2016)

Accelerating program analyses by cross-program training. - Sulekha Kulkarni; Ravi Mangal; Xin Zhang 035; Mayur Naik (OOPSLA, 2016)

Query-guided maximum satisfiability. - Xin Zhang 035; Ravi Mangal; Aditya V. Nori; Mayur Naik (POPL, 2016)

Maximum Satisfiability in Software Analysis: Applications and Techniques. - Xujie Si; Xin Zhang 035; Radu Grigore; Mayur Naik (CAV (1), 2017)

Combining the logical and the probabilistic in program analysis. - Xin Zhang 035; Xujie Si; Mayur Naik (MAPL@PLDI, 2017)

Effective interactive resolution of static analysis alarms. - Xin Zhang 035; Radu Grigore; Xujie Si; Mayur Naik (Proc. ACM Program. Lang., 2017)

Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. - Xin Zhang 035; Armando Solar-Lezama; Rishabh Singh (NeurIPS, 2018)

Verifying Fairness Properties via Concentration. - Osbert Bastani; Xin Zhang 035; Armando Solar-Lezama (CoRR, 2018)

Combining logical and probabilistic reasoning in program analysis. - Xin Zhang 035 (2018)

The Random Conditional Distribution for Higher-Order Probabilistic Inference. - Zenna Tavares; Xin Zhang 035; Edgar Minaysan; Javier Burroni; Rajesh Ranganath; Armando Solar-Lezama (CoRR, 2019)

Synthesizing Queries via Interactive Sketching. - Osbert Bastani; Xin Zhang 035; Armando Solar-Lezama (CoRR, 2019)

Probabilistic verification of fairness properties via concentration. - Osbert Bastani; Xin Zhang 035; Armando Solar-Lezama (Proc. ACM Program. Lang., 2019)

A Language for Counterfactual Generative Models. - Zenna Tavares; James Koppel; Xin Zhang 035; Ria Das; Armando Solar-Lezama (ICML, 2021)

Accelerating Program Analyses in Datalog by Merging Library Facts. - Yifan Chen; Chenyang Yang 002; Xin Zhang 035; Yingfei Xiong 001; Hao Tang; Xiaoyin Wang; Lu Zhang 023 (SAS, 2021)

Safe Human-Interactive Control via Shielding. - Jeevana Priya Inala; Yecheng Jason Ma; Osbert Bastani; Xin Zhang 035; Armando Solar-Lezama (CoRR, 2021)

Fault Localization via Efficient Probabilistic Modeling of Program Semantics. - Muhan Zeng; Yiqian Wu; Zhentao Ye; Yingfei Xiong 001; Xin Zhang 035; Lu Zhang 023 (ICSE, 2022)

A Probabilistic Delta Debugging Approach for Abstract Syntax Trees. - Guancheng Wang 001; Yiqian Wu; Qihao Zhu; Yingfei Xiong 001; Xin Zhang 035; Lu Zhang 023 (ISSRE, 2023)

Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks. - Zhenyu Yan; Xin Zhang 035; Peng Di (Proc. ACM Program. Lang., 2024)

Learning Abstraction Selection for Bayesian Program Analysis. - Yifan Zhang; Yuanfeng Shi; Xin Zhang 035 (Proc. ACM Program. Lang., 2024)

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact). - Yifan Zhang; Yuanfeng Shi; Xin Zhang 035 (Zenodo, 2024)

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact). - Yifan Zhang; Yuanfeng Shi; Xin Zhang 035 (Zenodo, 2024)

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact). - Yifan Zhang; Yuanfeng Shi; Xin Zhang 035 (Zenodo, 2024)

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact). - Yifan Zhang; Yuanfeng Shi; Xin Zhang 035 (Zenodo, 2024)

Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences. - Tianchi Li; Xin Zhang 035 (Proc. ACM Program. Lang., 2025)

SmartFL: Semantics Based Probabilistic Fault Localization. - Yiqian Wu; Yujie Liu 005; Yi Yin; Muhan Zeng; Zhentao Ye; Xin Zhang 035; Yingfei Xiong 001; Lu Zhang 023 (IEEE Trans. Software Eng., 2025)