Learning Loop Invariants for Program Verification
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, and Le Song
NIPS 2018: Conference on Neural Information Processing Systems (Spotlight)
Syntax-Guided Synthesis of Datalog Programs
Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paris Koutris, and Mayur Naik
FSE 2018: ACM Symposium on the Foundations of Software Engineering
Interactive Program Reasoning Using Bayesian Inference
Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, and Mayur Naik
PLDI 2018: ACM SIGPLAN Conference on Programming Language Design and Implementation.
[PDF] [Video]
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]
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]
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]
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]