| Programmatically interpretable reinforcement learning A Verma, V Murali, R Singh, P Kohli, S Chaudhuri International Conference on Machine Learning, 5045-5054, 2018 | 229 | 2018 |
| TRACER: A symbolic execution tool for verification J Jaffar, V Murali, JA Navas, AE Santosa International Conference on Computer Aided Verification, 758-766, 2012 | 139 | 2012 |
| Neural Sketch Learning for Conditional Program Generation V Murali, L Qi, S Chaudhuri, C Jermaine International Conference on Learning Representations, 2018 | 127* | 2018 |
| Boosting concolic testing via interpolation J Jaffar, V Murali, JA Navas Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 69 | 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 | 58 | 2017 |
| 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 | 22 | 2019 |
| Path-sensitive backward slicing J Jaffar, V Murali, JA Navas, AE Santosa International Static Analysis Symposium, 231-247, 2012 | 21 | 2012 |
| 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 | 19 | 2020 |
| A path-sensitively sliced control flow graph J Jaffar, V Murali Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 15 | 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 | 13 | 2014 |
| Bayesian Sketch Learning for Program Synthesis. CoRR abs/1703.05698 (2017) V Murali, S Chaudhuri, C Jermaine arXiv preprint arXiv:1703.05698, 2017 | 9 | 2017 |
| Lazy Symbolic Execution for Enhanced Learning DH Chu, J Jaffar, V Murali International Conference on Runtime Verification, 323-339, 2014 | 9 | 2014 |
| 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 | 8 | 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 | 8 | 2020 |
| Abridging source code B Yuan, V Murali, C Jermaine Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017 | 5 | 2017 |
| Path sensitive backward analysis J Jaffar, V Murali, J Navas, A Santosa SAS, 2012 | 4 | 2012 |
| 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 | 2 | 2021 |
| 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 | 2 | 2021 |
| Towards predictive modeling of message-passing communication V March, V Murali, YM Teo, S See, JT Himer 2009 11th IEEE International Conference on High Performance Computing and …, 2009 | 2 | 2009 |
| Counterfactual Explanations for Models of Code J Cito, I Dillig, V Murali, S Chandra 2022 IEEE/ACM 44th International Conference on Software Engineering …, 2022 | 1 | 2022 |
Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
