Sulekha Kulkarni

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Markov Chain Monte Carlo

Training Program

Bayesian Inference

Top Venues

Publications

Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik
User-guided program reasoning using Bayesian inference. PLDI (2018)
Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik
Accelerating program analyses by cross-program training. OOPSLA (2016)