I am broadly interested in research topics related to programming languages and software engineering, including program analysis, program verification, program synthesis, mobile-cloud computing, and approximate computing. In order to build practical program reasoning tools that are sound, precise, and scalable, my current research focuses on techniques to counter the effects of approximation in program reasoning. Such techniques are related but not limited to abstraction refinement, machine learning, and human-computer interaction. If you are interested in my work, please do not hesitate to contact me.

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. (To Appear)
[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.
[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]
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]
A User-Guided Approach to Program Analysis
New Jersey Programming Languages and Systems Seminar (NJPLS), September 2016.
[Slides]
Petablox: Declarative Program Analysis for Big Code
Facebook, UC Berkeley, and Google, July/August 2016.
[Slides]
Architectures and Systems for Mobile-Cloud Computing: A Workload-Driven Perspective
Qualcomm, March 2014. Qualcomm Innovcation Fellowship Finalist Presentation.
[Slides] [Poster]