Fuzzing Guided by Bayesian Program Analysis
Yifan Zhang, Xin Zhang
POPL 2026: ACM SIGPLAN Symposium on Principles of Programming Languages. (To Appear)
Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages
Zhentao Ye, Ruyi Ji, Yingfei Xiong, Xin Zhang
POPL 2026: ACM SIGPLAN Symposium on Principles of Programming Languages. (To Appear)
Belief Propagation with Local Structure and Its Applications in Program Analysis
Yiqian Wu, Yifan Chen, Yingfei Xiong, Xin Zhang
ASE 2025: IEEE/ACM International Conference on Automated Software Engineering. (To Appear)
On Abstraction Refinement for Bayesian Program Analysis
Yuanfeng Shi, Yifan Zhang, Xin Zhang
OOPSLA 2025: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. (To Appear)
Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences
Tianchi Li, Xin Zhang
OOPSLA 2025: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. (To Appear)
ReX: A Framework for Incorporating Temporal Information in Model-Agnostic Local Explanation Techniques
Junhao Liu, Xin Zhang
AAAI 2025: Annual AAAI Conference on Artificial Intelligence. (
Oral, 4.68%)
[
PDF]
Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks
Zhenyu Yan, Xin Zhang, Peng Di
OOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications.
[
PDF]
Learning Abstraction Selection for Bayesian Program Analysis
Yifan Zhang, Yuanfeng Shi, Xin Zhang
OOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications.
[
PDF]
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees
Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong, Xin Zhang, Lu Zhang
ISSRE 2023: International Symposium on Software Reliability Engineering.
[
PDF]
Fault Localization via Efficient Probabilistic Modeling of Program Semantics
Muhan Zeng#, Yiqian Wu#, Zhentao Ye, Yingfei Xiong, Xin Zhang, Lu Zhang (#: equal contribution)
ICSE 2022: International Conference on Software Engineering.
[
PDF]
Accelerating Program Analyses in Datalog by Merging Library Facts
Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang
SAS 2021: Static Analysis Symposium.
[
PDF]
A Language for Counterfactual Generative Models
Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama
ICML 2021: International Conference on Machine Learning.
[
PDF]
Verifying Fairness Properties via Concentration
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
OOPSLA 2019: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications.
[
PDF]
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections
Xin Zhang, Armando Solar-Lezama, Rishabh Singh
NeurIPS 2018: Conference on Neural Information Processing Systems.
[
PDF]
[
Poster]
[
code]
The Random Conditional Distribution for Higher-Order Probabilistic Inference
Zenna Tavares, Xin Zhang, Javier Burroni, Edgar Minasyan, Rajesh Ranganath, Armando Solar-Lezama
PROBPROG 2018: International Conference on Probabilistic Programming (Poster)
Maximum Satisfiability in Software Analysis: Applications and Techniques
Mayur Naik, Xujie Si, Xin Zhang, and Radu Grigore
VMCAI 2018: International Conference on Verification, Model Checking, and Abstract Interpretation. (
Invited Tutorial)
[
PDF]
Effective Interactive Resolution of Static Analysis Alarms
Xin Zhang, Radu Grigore, Xujie Si, and Mayur Naik
OOPSLA 2017: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications.
[
PDF]
Maximum Satisfiability in Software Analysis: Applications and Techniques
Xujie Si, Xin Zhang, Radu Grigore, and Mayur Naik
CAV 2017: International Conference on Computer Aided Verification. (
Invited Tutorial)
[
PDF]
Accelerating Program Analyses by Cross-Program Training
Sulekha Kulkarni, Ravi Mangal, Xin Zhang, and Mayur Naik.
OOPSLA 2016: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications.
[
PDF]
[
Slides]
On Incremental Core-Guided MaxSAT Solving
Xujie Si, Xin Zhang, Vasco Manquinho, Mikolas Janota, Alexey Ignatiev, and Mayur Naik.
CP 2016: International Conference on Principles and Practice of Constraint Programming.
[
PDF]
Scaling Relational Inference Using Proofs and Refutations
Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya Nori, and Mayur Naik.
AAAI 2016: Conference on Artificial Intelligence.
[
PDF]
Query-Guided Maximum Satisfiability
Xin Zhang, Ravi Mangal, Aditya Nori, and Mayur Naik.
POPL 2016: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.
[
PDF]
[
Slides]
[
Poster]
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances
Ravi Mangal, Xin Zhang, Aditya Nori, and Mayur Naik.
SAT 2015: International Conference on Theory and Applications of Satisfiability Testing.
[
PDF]
FlexJava: Language Support for Safe and Modular Approximate Programming
Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, and Bill Harris.
FSE 2015: ACM Symposium on Foundations of Software Engineering.
[
PDF]
A User-Guided Approach to Program Analysis
Ravi Mangal, Xin Zhang, Aditya Nori, and Mayur Naik.
FSE 2015: ACM Symposium on Foundations of Software Engineering.
Distinguished Paper Award
[
PDF]
[
Slides]
On Abstraction Refinement for Program Analyses in Datalog
Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik and Hongseok Yang.
PLDI 2014: ACM SIGPLAN Conference on Programming Language Design and Implementation.
Distinguished Paper Award
[
PDF]
[
Long Version]
[
Slides]
[
Poster]
[ Implementation Available in
JChord]
[
How to Run]
Hybrid Top-down and Bottom-up Interprocedural Analysis
Xin Zhang, Ravi Mangal, Mayur Naik and Hongseok Yang.
PLDI 2014: ACM SIGPLAN Conference on Programming Language Design and Implementation.
[
PDF]
[
Long Version]
[
Slides]
[ Implementation Available in
JChord]
Finding Optimum Abstractions in Parametric Dataflow Analysis
Xin Zhang, Mayur Naik and Hongseok Yang.
PLDI 2013: ACM SIGPLAN Conference on Programming Language Design and Implementation.
[
PDF]
[
Long Version]
[
Slides]
[ Implementation Available in
JChord]
[
Data]
Automatic Parameter Recommendation for Practical API Usage
Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao and Peizhao Ou.
ICSE 2012: International Conference on Software Engineering.
[
PDF]