Accelerating program analyses by cross-program training. - Sulekha Kulkarni; Ravi Mangal; Xin Zhang 035; Mayur Naik (OOPSLA, 2016)

User-guided program reasoning using Bayesian inference. - Mukund Raghothaman; Sulekha Kulkarni; Kihong Heo; Mayur Naik (PLDI, 2018)