Sulekha Kulkarni

According to our database, Sulekha Kulkarni authored at least 2 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

User-guided program reasoning using Bayesian inference.

Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016

Accelerating program analyses by cross-program training.

Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016