Vijayaraghavan Murali
Vijayaraghavan Murali
Dirección de correo verificada de fb.com - Página principal
Título
Citado por
Citado por
Año
Programmatically interpretable reinforcement learning
A Verma, V Murali, R Singh, P Kohli, S Chaudhuri
International Conference on Machine Learning, 5045-5054, 2018
1372018
TRACER: A symbolic execution tool for verification
J Jaffar, V Murali, JA Navas, AE Santosa
International Conference on Computer Aided Verification, 758-766, 2012
1302012
Neural Sketch Learning for Conditional Program Generation
V Murali, L Qi, S Chaudhuri, C Jermaine
International Conference on Learning Representations, 2018
103*2018
Boosting concolic testing via interpolation
J Jaffar, V Murali, JA Navas
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
672013
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
502017
Path-sensitive backward slicing
J Jaffar, V Murali, JA Navas, AE Santosa
International Static Analysis Symposium, 231-247, 2012
172012
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
132019
A path-sensitively sliced control flow graph
J Jaffar, V Murali
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
132014
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
Lazy Symbolic Execution for Enhanced Learning
DH Chu, J Jaffar, V Murali
International Conference on Runtime Verification, 323-339, 2014
92014
Bayesian Sketch Learning for Program Synthesis. CoRR abs/1703.05698 (2017)
V Murali, S Chaudhuri, C Jermaine
arXiv preprint arXiv:1703.05698, 2017
82017
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
72020
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
52020
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
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
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
12021
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
12021
Trace Compression with Loop Explanations
J Jaffar, V Murali
12014
Improving Code Autocompletion with Transfer Learning
W Zhou, S Kim, V Murali, GA Aye
arXiv preprint arXiv:2105.05991, 2021
2021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20