Folgen
Vijayaraghavan Murali
Vijayaraghavan Murali
Bestätigte E-Mail-Adresse bei fb.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Programmatically interpretable reinforcement learning
A Verma, V Murali, R Singh, P Kohli, S Chaudhuri
International Conference on Machine Learning, 5045-5054, 2018
2742018
Neural Sketch Learning for Conditional Program Generation
V Murali, L Qi, S Chaudhuri, C Jermaine
International Conference on Learning Representations, 2018
144*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
1422012
Boosting concolic testing via interpolation
J Jaffar, V Murali, JA Navas
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
742013
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
292019
Path-sensitive backward slicing
J Jaffar, V Murali, JA Navas, AE Santosa
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 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
202020
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
Verified Software: Theories, Tools and Experiments: 6th International …, 2014
142014
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
112021
Bayesian Sketch Learning for Program Synthesis. CoRR abs/1703.05698 (2017)
V Murali, S Chaudhuri, C Jermaine
arXiv preprint arXiv:1703.05698, 2017
102017
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
92020
Lazy Symbolic Execution for Enhanced Learning
DH Chu, J Jaffar, V Murali
International Conference on Runtime Verification, 323-339, 2014
92014
Counterfactual explanations for models of code
J Cito, I Dillig, V Murali, S Chandra
Proceedings of the 44th International Conference on Software Engineering …, 2022
72022
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
52021
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
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
32021
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20