Follow
Sulekha Kulkarni
Sulekha Kulkarni
Verified email at microsoft.com
Title
Cited by
Cited by
Year
User-guided program reasoning using Bayesian inference
M Raghothaman, S Kulkarni, K Heo, M Naik
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
672018
Accelerating program analyses by cross-program training
S Kulkarni, R Mangal, X Zhang, M Naik
ACM SIGPLAN Notices 51 (10), 359-377, 2016
262016
PMACS : An Environment for Parallel Programming
B Dehbonei, C Laurent, N Tawbi, R Kulkarni, S Kulkarni
International Parallel Processing Symposium, 638-641, 1991
81991
Linear time parsers for classes of non context free languages
SR Kulkarni, P Shankar
Theoretical computer science 165 (2), 355-390, 1996
21996
Effective Program Reasoning Using Bayesian Inference
S Kulkarni
University of Pennsylvania, 2020
2020
DIFFLOG: Beyond Deductive Methods in Program Analysis
M Raghothaman, S Kulkarni, R Zhang, X Si, K Heo, W Lee, M Naik
The system can't perform the operation now. Try again later.
Articles 1–6