Follow
Vijayaraghavan Murali
Title
Cited by
Cited by
Year
Programmatically interpretable reinforcement learning
A Verma, V Murali, R Singh, P Kohli, S Chaudhuri
International Conference on Machine Learning, 5045-5054, 2018
3882018
Neural Sketch Learning for Conditional Program Generation
V Murali, L Qi, S Chaudhuri, C Jermaine
International Conference on Learning Representations, 2018
169*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
1452012
Boosting concolic testing via interpolation
J Jaffar, V Murali, JA Navas
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
792013
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
69*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
402019
Counterfactual explanations for models of code
J Cito, I Dillig, V Murali, S Chandra
Proceedings of the 44th international conference on software engineering …, 2022
382022
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
302020
Path-sensitive backward slicing
J Jaffar, V Murali, JA Navas, AE Santosa
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
232012
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
222023
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
202021
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
192021
A path-sensitively sliced control flow graph
J Jaffar, V Murali
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
172014
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
162014
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
142020
Improving code autocompletion with transfer learning
W Zhou, S Kim, V Murali, GA Aye
Proceedings of the 44th International Conference on Software Engineering …, 2022
122022
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
122021
Bayesian Sketch Learning for Program Synthesis. CoRR abs/1703.05698 (2017)
V Murali, S Chaudhuri, C Jermaine
arXiv preprint arXiv:1703.05698, 2017
102017
Lazy Symbolic Execution for Enhanced Learning
DH Chu, J Jaffar, V Murali
International Conference on Runtime Verification, 323-339, 2014
92014
Abridging source code
B Yuan, V Murali, C Jermaine
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
52017
The system can't perform the operation now. Try again later.
Articles 1–20