Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks
Zhenyu Yan, Xin Zhang, Peng Di
OOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. (To Appear)
Learning Abstraction Selection for Bayesian Program Analysis
Yifan Zhang, Yuanfeng Shi, Xin Zhang
OOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. (To Appear)
[
PDF]
A Probabilistic Delta Debugging Approach for Abstract Syntax Trees
Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong, Xin Zhang, Lu Zhang
ISSRE 2023: International Symposium on Software Reliability Engineering.
[
PDF]
Fault Localization via Efficient Probabilistic Modeling of Program Semantics
Muhan Zeng#, Yiqian Wu#, Zhentao Ye, Yingfei Xiong, Xin Zhang, Lu Zhang (#: equal contribution)
ICSE 2022: International Conference on Software Engineering.
[
PDF]
Accelerating Program Analyses in Datalog by Merging Library Facts
Yifan Chen, Chenyang Yang, Xin Zhang, Yingfei Xiong, Hao Tang, Xiaoyin Wang, Lu Zhang
SAS 2021: Static Analysis Symposium.
[
PDF]
A Language for Counterfactual Generative Models
Zenna Tavares, James Koppel, Xin Zhang, Ria Das, Armando Solar-Lezama
ICML 2021: International Conference on Machine Learning.
[
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]