| 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 | 64 | 2018 |
| Accelerating program analyses by cross-program training S Kulkarni, R Mangal, X Zhang, M Naik ACM SIGPLAN Notices 51 (10), 359-377, 2016 | 25 | 2016 |
| PMACS : An Environment for Parallel Programming B Dehbonei, C Laurent, N Tawbi, R Kulkarni, S Kulkarni International Parallel Processing Symposium, 638-641, 1991 | 8 | 1991 |
| Linear time parsers for classes of non context free languages SR Kulkarni, P Shankar Theoretical computer science 165 (2), 355-390, 1996 | 2 | 1996 |
| 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 | | |
