Xin Zhang

According to our database, Xin Zhang authored at least 27 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Learning Abstraction Selection for Bayesian Program Analysis.

Yifan Zhang, Yuanfeng Shi, Xin Zhang

Proc. ACM Program. Lang., 2024

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

Zhenyu Yan, Xin Zhang, Peng Di

Proc. ACM Program. Lang., 2024

2023

A Probabilistic Delta Debugging Approach for Abstract Syntax Trees.

Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong, Xin Zhang, Lu Zhang

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

2022

Fault Localization via Efficient Probabilistic Modeling of Program Semantics.

Muhan Zeng, Yiqian Wu, Zhentao Ye, Yingfei Xiong, Xin Zhang, Lu Zhang

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

2021

Safe Human-Interactive Control via Shielding.

Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama

CoRR, 2021

Accelerating Program Analyses in Datalog by Merging Library Facts.

Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang

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

A Language for Counterfactual Generative Models.

Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama

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

2019

Probabilistic verification of fairness properties via concentration.

Osbert Bastani, Xin Zhang, Armando Solar-Lezama

Proc. ACM Program. Lang., 2019

Synthesizing Queries via Interactive Sketching.

Osbert Bastani, Xin Zhang, Armando Solar-Lezama

CoRR, 2019

The Random Conditional Distribution for Higher-Order Probabilistic Inference.

Zenna Tavares, Xin Zhang, Edgar Minaysan, Javier Burroni, Rajesh Ranganath, Armando Solar-Lezama

CoRR, 2019

2018

Combining logical and probabilistic reasoning in program analysis.

Xin Zhang

PhD thesis, 2018

Verifying Fairness Properties via Concentration.

Osbert Bastani, Xin Zhang, Armando Solar-Lezama

CoRR, 2018

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

Xin Zhang, Armando Solar-Lezama, Rishabh Singh

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.

Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik

Proc. ACM Program. Lang., 2017

Combining the logical and the probabilistic in program analysis.

Xin Zhang, Xujie Si, Mayur Naik

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

Maximum Satisfiability in Software Analysis: Applications and Techniques.

Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik

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

2016

Query-guided maximum satisfiability.

Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik

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

Accelerating program analyses by cross-program training.

Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik

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

On Incremental Core-Guided MaxSAT Solving.

Xujie Si, Xin Zhang, Vasco Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik

Proceedings of the Principles and Practice of Constraint Programming, 2016

Scaling Relational Inference Using Proofs and Refutations.

Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

FlexJava: language support for safe and modular approximate programming.

Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, William Harris

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

A user-guided approach to program analysis.

Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik

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

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

Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik

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

2014

Hybrid top-down and bottom-up interprocedural analysis.

Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang

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

On abstraction refinement for program analyses in Datalog.

Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang

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

2013

Finding optimum abstractions in parametric dataflow analysis.

Xin Zhang, Mayur Naik, Hongseok Yang

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

2012

Automatic parameter recommendation for practical API usage.

Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou

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