Xin Zhang

ORCID

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 15

Top Venues

CoRR

PLDI

ESEC/SIGSOFT FSE

Proc. ACM Program. Lang.

Georgia Institute of Technology, Atlanta, GA, USA (PHD)

Education History

Georgia Institute of Technology, Atlanta, GA, USA

PHD

Publications

Jeevana Priya Inala, Yecheng Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama
Safe Human-Interactive Control via Shielding. CoRR (2021)
Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama
A Language for Counterfactual Generative Models. ICML (2021)
Zenna Tavares, Xin Zhang, Edgar Minaysan, Javier Burroni, Rajesh Ranganath, Armando Solar-Lezama
The Random Conditional Distribution for Higher-Order Probabilistic Inference. CoRR (2019)
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
Probabilistic verification of fairness properties via concentration. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
Synthesizing Queries via Interactive Sketching. CoRR (2019)
Xin Zhang, Armando Solar-Lezama, Rishabh Singh
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. CoRR (2018)
Osbert Bastani, Xin Zhang, Armando Solar-Lezama
Verifying Fairness Properties via Concentration. CoRR (2018)
Xin Zhang, Armando Solar-Lezama, Rishabh Singh
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections. NeurIPS (2018)
Xin Zhang, Xujie Si, Mayur Naik
Combining the logical and the probabilistic in program analysis. MAPL@PLDI (2017)
Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik
Maximum Satisfiability in Software Analysis: Applications and Techniques. CAV (1) (2017)
Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik
Effective interactive resolution of static analysis alarms. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Xin Zhang, Ravi Mangal, Aditya V. Nori, Mayur Naik
Query-guided maximum satisfiability. POPL (2016)
Xujie Si, Xin Zhang, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik
On Incremental Core-Guided MaxSAT Solving. CP (2016)
Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik
Accelerating program analyses by cross-program training. OOPSLA (2016)
Ravi Mangal, Xin Zhang, Aditya Kamath, Aditya V. Nori, Mayur Naik
Scaling Relational Inference Using Proofs and Refutations. AAAI (2016)
Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, William Harris
FlexJava: language support for safe and modular approximate programming. ESEC/SIGSOFT FSE (2015)
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
A user-guided approach to program analysis. ESEC/SIGSOFT FSE (2015)
Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. SAT (2015)
Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang
Hybrid top-down and bottom-up interprocedural analysis. PLDI (2014)
Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang
On abstraction refinement for program analyses in Datalog. PLDI (2014)
Xin Zhang, Mayur Naik, Hongseok Yang
Finding optimum abstractions in parametric dataflow analysis. PLDI (2013)
Cheng Zhang, Juyuan Yang, Yi Zhang, Jing Fan, Xin Zhang, Jianjun Zhao, Peizhao Ou
Automatic parameter recommendation for practical API usage. ICSE (2012)

Xin Zhang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xin Zhang