Maximum Satisfiability in Program Analysis: Applications and Techniques
Xujie Si, Xin Zhang, Radu Grigore, and Mayur Naik
VMCAI 2018: International Conference on Verification, Model Checking, and Abstract Interpretation
Invited Tutorial
[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]
[Slides]
[Video]
On Incremental Core-Guided MaxSAT Solving.
Xujie Si, Xin Zhang, Vasco Manquinho, Mikolas Janota, Alexey Ignatiev, Mayur Naik.
CP 2016: The 22nd 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. (To Appear)
[PDF]
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]
Applications
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]
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 & Applications
[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]
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]