Xin Zhang

42 papers A* 11A 4B 1Journal 21Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages.
Proc. ACM Program. Lang.
Zhentao Ye, Ruyi Ji, Yingfei Xiong, Xin Zhang
2026 J jnl
Focus-LIME: Surgical Interpretation of Long-Context Large Language Models via Proxy-Based Neighborhood Selection.
CoRR
Junhao Liu, Haonan Yu, Zhenyu Yan, Xin Zhang
2026 J jnl
Fuzzing Guided by Bayesian Program Analysis.
Proc. ACM Program. Lang.
Yifan Zhang, Xin Zhang
2025 J jnl
Accelerating Anchors via Specialization and Feature Transformation.
CoRR
Haonan Yu, Junhao Liu, Xin Zhang
2025 A* conf
Belief Propagation with Local Structure and Its Applications in Program Analysis.
ASE
Yiqian Wu, Yifan Chen, Yingfei Xiong, Xin Zhang
2025 J jnl
Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences.
Proc. ACM Program. Lang.
Tianchi Li, Xin Zhang
2025 J jnl
GPU-Accelerated Loopy Belief Propagation for Program Analysis.
CoRR
Haoyu Feng, Xin Zhang
2025 J jnl
On Abstraction Refinement for Bayesian Program Analysis.
Proc. ACM Program. Lang.
Yuanfeng Shi, Yifan Zhang, Xin Zhang
2025 A* conf
ReX: A Framework for Incorporating Temporal Information in Model-Agnostic Local Explanation Techniques.
AAAI
Junhao Liu, Xin Zhang
2025 J jnl
SmartFL: Semantics Based Probabilistic Fault Localization.
CoRR
Yiqian Wu, Yujie Liu, Yi Yin, Muhan Zeng, Zhentao Ye, Xin Zhang, Yingfei Xiong, Lu Zhang
2025 J jnl
SmartFL: Semantics Based Probabilistic Fault Localization.
IEEE Trans. Software Eng.
Yiqian Wu, Yujie Liu, Yi Yin, Muhan Zeng, Zhentao Ye, Xin Zhang, Yingfei Xiong, Lu Zhang
2025 J jnl
Towards Budget-Friendly Model-Agnostic Explanation Generation for Large Language Models.
CoRR
Junhao Liu, Haonan Yu, Xin Zhang
2024 J jnl
ConLUX: Concept-Based Local Unified Explanations.
CoRR
Junhao Liu, Haonan Yu, Xin Zhang
2024 J jnl
Learning Abstraction Selection for Bayesian Program Analysis.
Proc. ACM Program. Lang.
Yifan Zhang, Yuanfeng Shi, Xin Zhang
2024 J jnl
Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks.
Proc. ACM Program. Lang.
Zhenyu Yan, Xin Zhang, Peng Di
2023 A conf
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees.
ISSRE
Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong, Xin Zhang, Lu Zhang
2022 A* conf
Fault Localization via Efficient Probabilistic Modeling of Program Semantics.
ICSE
Muhan Zeng, Yiqian Wu, Zhentao Ye, Yingfei Xiong, Xin Zhang, Lu Zhang
2022 J jnl
ReX: A Framework for Generating Local Explanations to Recurrent Neural Networks.
CoRR
Junhao Liu, Xin Zhang
2021 A* conf
A Language for Counterfactual Generative Models.
ICML
Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama
2021 B conf
Accelerating Program Analyses in Datalog by Merging Library Facts.
SAS
Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang
2021 J jnl
Safe Human-Interactive Control via Shielding.
CoRR
Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama
2019 J jnl
Probabilistic verification of fairness properties via concentration.
Proc. ACM Program. Lang.
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
2019 J jnl
Synthesizing Queries via Interactive Sketching.
CoRR
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
2019 J jnl
The Random Conditional Distribution for Higher-Order Probabilistic Inference.
CoRR
Zenna Tavares, Xin Zhang, Edgar Minaysan, Javier Burroni, Rajesh Ranganath, Armando Solar-Lezama
2018 — —
Combining logical and probabilistic reasoning in program analysis.
Xin Zhang
2018 A* conf
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections.
NeurIPS
Xin Zhang, Armando Solar-Lezama, Rishabh Singh
2018 J jnl
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections.
CoRR
Xin Zhang, Armando Solar-Lezama, Rishabh Singh
2018 J jnl
Verifying Fairness Properties via Concentration.
CoRR
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
2017 — conf
Combining the logical and the probabilistic in program analysis.
MAPL@PLDI
Xin Zhang, Xujie Si, Mayur Naik
2017 J jnl
Effective interactive resolution of static analysis alarms.
Proc. ACM Program. Lang.
Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik
2017 — conf
Maximum Satisfiability in Software Analysis: Applications and Techniques.
CAV (1)
Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik
2016 A conf
Accelerating program analyses by cross-program training.
OOPSLA
Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik
2016 A conf
On Incremental Core-Guided MaxSAT Solving.
CP
Xujie Si, Xin Zhang, Vasco Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik
2016 A* conf
Query-guided maximum satisfiability.
POPL
Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik
2016 A* conf
Scaling Relational Inference Using Proofs and Refutations.
AAAI
Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik
2015 — conf
A user-guided approach to program analysis.
ESEC/SIGSOFT FSE
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
2015 — conf
FlexJava: language support for safe and modular approximate programming.
ESEC/SIGSOFT FSE
Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, William Harris
2015 A conf
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances.
SAT
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
2014 A* conf
Hybrid top-down and bottom-up interprocedural analysis.
PLDI
Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang
2014 A* conf
On abstraction refinement for program analyses in Datalog.
PLDI
Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang
2013 A* conf
Finding optimum abstractions in parametric dataflow analysis.
PLDI
Xin Zhang, Mayur Naik, Hongseok Yang
2012 A* conf
Automatic parameter recommendation for practical API usage.
ICSE
Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou