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
2292018
TRACER: A symbolic execution tool for verification
J Jaffar, V Murali, JA Navas, AE Santosa
International Conference on Computer Aided Verification, 758-766, 2012
1392012
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
692013
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
582017
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
222019
Path-sensitive backward slicing
J Jaffar, V Murali, JA Navas, AE Santosa
International Static Analysis Symposium, 231-247, 2012
212012
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
192020
A path-sensitively sliced control flow graph
J Jaffar, V Murali
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
152014
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
132014
Bayesian Sketch Learning for Program Synthesis. CoRR abs/1703.05698 (2017)
V Murali, S Chaudhuri, C Jermaine
arXiv preprint arXiv:1703.05698, 2017
92017
Lazy Symbolic Execution for Enhanced Learning
DH Chu, J Jaffar, V Murali
International Conference on Runtime Verification, 323-339, 2014
92014
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
82021
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
82020
Abridging source code
B Yuan, V Murali, C Jermaine
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
52017
Path sensitive backward analysis
J Jaffar, V Murali, J Navas, A Santosa
SAS, 2012
42012
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
22021
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
22021
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
22009
Counterfactual Explanations for Models of Code
J Cito, I Dillig, V Murali, S Chandra
2022 IEEE/ACM 44th International Conference on Software Engineering …, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20