We stand with Ukraine

We stand with Ukraine

Xin Zhang

Orcid: 0000-0002-1515-7145

Affiliations:

Peking University, Department of Computer Science and Technology, Beijing, China
Massachusetts Institute of Technology, Cambridge, MA, USA (2017-2020)
Georgia Institute of Technology, Atlanta, GA, USA (PhD 2017)

According to our database¹, Xin Zhang authored at least 52 papers between 2012 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

Online presence:

On csauthors.net:

Bibliography

2026

Focus-LIME: Surgical Interpretation of Long-Context Large Language Models via Proxy-Based Neighborhood Selection.

[DOI]

,

,

,

CoRR, February, 2026

Fuzzing Guided by Bayesian Program Analysis.

[DOI]

,

Proc. ACM Program. Lang., 2026

Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages.

[DOI]

,

,

,

Proc. ACM Program. Lang., 2026

2025

Fuzzing Guided by Bayesian Program Analysis (Paper Artifact).

[DOI]

,

Dataset, December, 2025

Fuzzing Guided by Bayesian Program Analysis (Paper Artifact).

[DOI]

,

Dataset, December, 2025

Fuzzing Guided by Bayesian Program Analysis (Paper Artifact).

[DOI]

,

Dataset, October, 2025

Fuzzing Guided by Bayesian Program Analysis (Paper Artifact).

[DOI]

,

Dataset, October, 2025

Fuzzing Guided by Bayesian Program Analysis (Paper Artifact).

[DOI]

,

Dataset, October, 2025

Fuzzing Guided by Bayesian Program Analysis (Paper Artifact).

[DOI]

,

Dataset, October, 2025

GPU-Accelerated Loopy Belief Propagation for Program Analysis.

[DOI]

,

CoRR, September, 2025

On Abstraction Refinement for Bayesian Program Analysis (Paper Artifact).

[DOI]

,

,

Dataset, August, 2025

SmartFL: Semantics Based Probabilistic Fault Localization.

[DOI]

,

,

,

,

,

,

,

IEEE Trans. Software Eng., July, 2025

Towards Budget-Friendly Model-Agnostic Explanation Generation for Large Language Models.

[DOI]

,

,

CoRR, May, 2025

Accelerating Anchors via Specialization and Feature Transformation.

[DOI]

,

,

CoRR, February, 2025

On Abstraction Refinement for Bayesian Program Analysis.

[DOI]

,

,

Proc. ACM Program. Lang., 2025

Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences.

[DOI]

,

Proc. ACM Program. Lang., 2025

Belief Propagation with Local Structure and Its Applications in Program Analysis.

[DOI]

,

,

,

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

ReX: A Framework for Incorporating Temporal Information in Model-Agnostic Local Explanation Techniques.

[DOI]

,

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact).

[DOI]

,

,

Dataset, March, 2024

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact).

[DOI]

,

,

Dataset, March, 2024

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact).

[DOI]

,

,

Dataset, March, 2024

Learning Abstraction Selection for Bayesian Program Analysis (Paper Artifact).

[DOI]

,

,

Dataset, March, 2024

Learning Abstraction Selection for Bayesian Program Analysis.

[DOI]

,

,

Proc. ACM Program. Lang., 2024

Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks.

[DOI]

,

,

Proc. ACM Program. Lang., 2024

ConLUX: Concept-Based Local Unified Explanations.

[DOI]

,

,

CoRR, 2024

2023

A Probabilistic Delta Debugging Approach for Abstract Syntax Trees.

[DOI]

,

,

,

,

,

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Automated Feature Document Review via Interpretable Deep Learning.

[DOI]

,

,

,

,

,

,

,

,

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

ReX: A Framework for Generating Local Explanations to Recurrent Neural Networks.

[DOI]

,

CoRR, 2022

Fault Localization via Efficient Probabilistic Modeling of Program Semantics.

[DOI]

,

,

,

,

,

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Safe Human-Interactive Control via Shielding.

[DOI]

Jeevana Priya Inala

,

Yecheng Jason Ma

,

,

,

Armando Solar-Lezama

CoRR, 2021

Accelerating Program Analyses in Datalog by Merging Library Facts.

[DOI]

,

,

,

,

,

,

Proceedings of the Static Analysis - 28th International Symposium, 2021

A Language for Counterfactual Generative Models.

[DOI]

,

,

,

,

Armando Solar-Lezama

Proceedings of the 38th International Conference on Machine Learning, 2021

2019

Probabilistic verification of fairness properties via concentration.

[DOI]

,

,

Armando Solar-Lezama

Proc. ACM Program. Lang., 2019

Synthesizing Queries via Interactive Sketching.

[DOI]

,

,

Armando Solar-Lezama

CoRR, 2019

The Random Conditional Distribution for Higher-Order Probabilistic Inference.

[DOI]

,

,

,

,

Rajesh Ranganath

,

Armando Solar-Lezama

CoRR, 2019

2018

Combining logical and probabilistic reasoning in program analysis.

[DOI]

PhD thesis, 2018

Verifying Fairness Properties via Concentration.

[DOI]

,

,

Armando Solar-Lezama

CoRR, 2018

Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections.

[DOI]

,

Armando Solar-Lezama

,

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

2017

Effective interactive resolution of static analysis alarms.

[DOI]

,

,

,

Proc. ACM Program. Lang., 2017

Combining the logical and the probabilistic in program analysis.

[DOI]

,

,

Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2017

Maximum Satisfiability in Software Analysis: Applications and Techniques.

[DOI]

,

,

,

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Query-guided maximum satisfiability.

[DOI]

,

,

,

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Accelerating program analyses by cross-program training.

[DOI]

Sulekha Kulkarni

,

,

,

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

On Incremental Core-Guided MaxSAT Solving.

[DOI]

,

,

Vasco Manquinho

,

Mikolás Janota

,

Alexey Ignatiev

,

Proceedings of the Principles and Practice of Constraint Programming, 2016

Scaling Relational Inference Using Proofs and Refutations.

[DOI]

,

,

,

,

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

FlexJava: language support for safe and modular approximate programming.

[DOI]

,

Hadi Esmaeilzadeh

,

,

,

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

A user-guided approach to program analysis.

[DOI]

,

,

,

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances.

[DOI]

,

,

,

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

2014

Hybrid top-down and bottom-up interprocedural analysis.

[DOI]

,

,

,

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

On abstraction refinement for program analyses in Datalog.

[DOI]

,

,

,

,

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Finding optimum abstractions in parametric dataflow analysis.

[DOI]

,

,

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Automatic parameter recommendation for practical API usage.

[DOI]

,

,

,

,

,

,

Proceedings of the 34th International Conference on Software Engineering, 2012

Loading...