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]
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]