Xin Zhang

According to our database, Xin Zhang authored at least 22 papers between 2012 and 2021.

Collaborative distances:

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

2021

Safe Human-Interactive Control via Shielding.

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

CoRR, 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 M. 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