Vijayaraghavan Murali
Vijayaraghavan Murali
Bestätigte E-Mail-Adresse bei fb.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
TRACER: A symbolic execution tool for verification
J Jaffar, V Murali, JA Navas, AE Santosa
International Conference on Computer Aided Verification, 758-766, 2012
1222012
Programmatically interpretable reinforcement learning
A Verma, V Murali, R Singh, P Kohli, S Chaudhuri
arXiv preprint arXiv:1804.02477, 2018
972018
Neural Sketch Learning for Conditional Program Generation
V Murali, L Qi, S Chaudhuri, C Jermaine
International Conference on Learning Representations, 2018
80*2018
Boosting concolic testing via interpolation
J Jaffar, V Murali, JA Navas
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
632013
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
412017
Path-sensitive backward slicing
J Jaffar, V Murali, JA Navas, AE Santosa
International Static Analysis Symposium, 231-247, 2012
172012
A path-sensitively sliced control flow graph
J Jaffar, V Murali
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
122014
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
112014
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
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
62019
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
42020
Abridging source code
B Yuan, V Murali, C Jermaine
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
42017
Path sensitive backward analysis
J Jaffar, V Murali, J Navas, A Santosa
SAS, 2012
42012
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
22020
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
Trace Compression with Loop Explanations
J Jaffar, V Murali
12014
Scalable Statistical Root Cause Analysis on App Telemetry
V Murali, E Yao, U Mathur, S Chandra
arXiv preprint arXiv:2010.09974, 2020
2020
Industry-scale IR-based Bug Localization: A Perspective from Facebook
V Murali, L Gross, R Qian, S Chandra
arXiv preprint arXiv:2010.09977, 2020
2020
Incremental Quantitative Analysis on Dynamic Costs
DH Chu, J Jaffar, V Murali
arXiv preprint arXiv:1607.02238, 2016
2016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20