Xin Zhang

11 papers at tracked venues · 6 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

OOPSLA ×5 POPL ×2 AAAI ×1 ACL ×1 ASE ×1 PLDI ×1

Frequent coauthors

Yuanfeng Shi

×3

Zhenyu Yan

×3

Yifan Zhang

×3

Yingfei Xiong

×2

Junhao Liu

×2

Ziyue Jin

×1

Zhentao Ye

×1

Ruyi Ji

×1

Haoran Lin

×1

Haonan Yu

×1

Yiqian Wu

×1

Yifan Chen

×1

Papers

Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with Probabilities
PLDI 2026 ·
Yuanfeng Shi
,
Ziyue Jin
, Xin Zhang
Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages
POPL 2026 ·
Zhentao Ye
,
Ruyi Ji
,
Yingfei Xiong
, Xin Zhang
Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation
OOPSLA 2026 ·
Haoran Lin
,
Zhenyu Yan
, Xin Zhang
Fuzzing Guided by Bayesian Program Analysis
POPL 2026 ·
Yifan Zhang
, Xin Zhang
Revitalizing Black-Box Interpretability: Actionable Interpretability for LLMs via Proxy Models
ACL 2026 ·
Junhao Liu
,
Haonan Yu
,
Zhenyu Yan
, Xin Zhang
Belief Propagation with Local Structure and Its Applications in Program Analysis
ASE 2025 ·
Yiqian Wu
,
Yifan Chen
,
Yingfei Xiong
, Xin Zhang
Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences
OOPSLA 2025 ·
Tianchi Li
, Xin Zhang
On Abstraction Refinement for Bayesian Program Analysis
OOPSLA 2025 ·
Yuanfeng Shi
,
Yifan Zhang
, Xin Zhang
ReX: A Framework for Incorporating Temporal Information in Model-Agnostic Local Explanation Techniques
AAAI 2025 ·
Junhao Liu
, Xin Zhang
Learning Abstraction Selection for Bayesian Program Analysis
OOPSLA 2024 ·
Yifan Zhang
,
Yuanfeng Shi
, Xin Zhang
Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks
OOPSLA 2024 ·
Zhenyu Yan
, Xin Zhang,
Peng Di