A Language for Counterfactual Generative Models
Zenna Tavares, James Koppel, Xin Zhang, Armando Solar-Lezama
[PDF]
The Random Conditional Distribution for Higher-Order Probabilistic Inference
Zenna Tavares, Xin Zhang, Javier Burroni, Edgar Minasyan, Rajesh Ranganath, Armando Solar-Lezama
[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]
Certified Control for Self-Driving Cars
Daniel Jackson, Jonathan DeCastro, Soonho Kong, Dimitrios Koutentakis, Angela Leong Feng Ping, Armando Solar-Lezama, Mike Wang, and Xin Zhang
DARS 2019: 4th Workshop on the Design and Analysis of Robust Systems.
[PDF] [Slides]
Combining the Logical and the Probabilistic in Program Analysis
Xin Zhang, Xujie Si, and Mayur Naik
MAPL 2017: ACM SIGPLAN Workshop on Machine Learning and Programming Languages.
[PDF]
Expectation-Oriented Framework for Automating Approximate Programming
Jongse Park, Kangqi Ni, Xin Zhang, Hadi Esmaeilzadeh, and Mayur Naik
WACAS 2014: Workshop on Approximate Computing Across the System Stack.
[PDF]