| Programmatically interpretable reinforcement learning A Verma, V Murali, R Singh, P Kohli, S Chaudhuri International Conference on Machine Learning, 5045-5054, 2018 | 434 | 2018 |
| Neural Sketch Learning for Conditional Program Generation V Murali, L Qi, S Chaudhuri, C Jermaine International Conference on Learning Representations, 2018 | 179* | 2018 |
| TRACER: A symbolic execution tool for verification J Jaffar, V Murali, JA Navas, AE Santosa Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 154 | 2012 |
| Boosting concolic testing via interpolation J Jaffar, V Murali, JA Navas Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 81 | 2013 |
| Bayesian specification learning for finding API usage errors V Murali, S Chaudhuri, C Jermaine Proceedings of the 2017 11th joint meeting on foundations of software …, 2017 | 72* | 2017 |
| Counterfactual explanations for models of code J Cito, I Dillig, V Murali, S Chandra Proceedings of the 44th international conference on software engineering …, 2022 | 52 | 2022 |
| Neural query expansion for code search J Liu, S Kim, V Murali, S Chaudhuri, S Chandra Proceedings of the 3rd acm sigplan international workshop on machine …, 2019 | 42 | 2019 |
| Scaffle: Bug localization on millions of files M Pradel, V Murali, R Qian, M Machalica, E Meijer, S Chandra Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 40 | 2020 |
| CodeCompose: A large-scale industrial deployment of AI-assisted code authoring V Murali, C Maddila, I Ahmad, M Bolin, D Cheng, N Ghorbani, ... arXiv preprint arXiv:2305.12050, 2023 | 28 | 2023 |
| Explaining mispredictions of machine learning models using rule induction J Cito, I Dillig, S Kim, V Murali, S Chandra Proceedings of the 29th ACM joint meeting on European software engineering …, 2021 | 24 | 2021 |
| Industry-scale ir-based bug localization: A perspective from facebook V Murali, L Gross, R Qian, S Chandra 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 24 | 2021 |
| Path-sensitive backward slicing J Jaffar, V Murali, JA Navas, AE Santosa Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 24 | 2012 |
| A path-sensitively sliced control flow graph J Jaffar, V Murali Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 20 | 2014 |
| What gives? A hybrid algorithm for error trace explanation V Murali, N Sinha, E Torlak, S Chandra Working Conference on Verified Software: Theories, Tools, and Experiments …, 2014 | 16 | 2014 |
| Improving code autocompletion with transfer learning W Zhou, S Kim, V Murali, GA Aye Proceedings of the 44th International Conference on Software Engineering …, 2022 | 15 | 2022 |
| Scalable statistical root cause analysis on app telemetry V Murali, E Yao, U Mathur, S Chandra 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 15 | 2021 |
| Debugging crashes using continuous contrast set mining R Qian, Y Yu, W Park, V Murali, S Fink, S Chandra Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 14 | 2020 |
| Bayesian Sketch Learning for Program Synthesis. CoRR abs/1703.05698 (2017) V Murali, S Chaudhuri, C Jermaine arXiv preprint arXiv:1703.05698, 2017 | 10 | 2017 |
| Lazy Symbolic Execution for Enhanced Learning DH Chu, J Jaffar, V Murali International Conference on Runtime Verification, 323-339, 2014 | 10 | 2014 |
| Abridging source code B Yuan, V Murali, C Jermaine Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017 | 5 | 2017 |
Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
