Følg
Vijayaraghavan Murali
Vijayaraghavan Murali
Facebook
Verifisert e-postadresse på fb.com - Startside
Tittel
Sitert av
Sitert av
År
Programmatically interpretable reinforcement learning
A Verma, V Murali, R Singh, P Kohli, S Chaudhuri
International conference on machine learning, 5045-5054, 2018
4802018
Neural Sketch Learning for Conditional Program Generation
V Murali, L Qi, S Chaudhuri, C Jermaine
International Conference on Learning Representations, 2018
182*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
1632012
Boosting concolic testing via interpolation
J Jaffar, V Murali, JA Navas
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
852013
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
692017
Counterfactual explanations for models of code
J Cito, I Dillig, V Murali, S Chandra
Proceedings of the 44th international conference on software engineering …, 2022
622022
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
452020
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
442019
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
352023
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
312021
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
312021
Path-sensitive backward slicing
J Jaffar, V Murali, JA Navas, AE Santosa
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
242012
A path-sensitively sliced control flow graph
J Jaffar, V Murali
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
202014
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
172021
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
Improving code autocompletion with transfer learning
W Zhou, S Kim, V Murali, GA Aye
Proceedings of the 44th International Conference on Software Engineering …, 2022
152022
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
Bayesian Sketch Learning for Program Synthesis. CoRR abs/1703.05698 (2017)
V Murali, S Chaudhuri, C Jermaine
arXiv preprint arXiv:1703.05698, 2017
102017
Multi-line ai-assisted code authoring
O Dunay, D Cheng, A Tait, P Thakkar, PC Rigby, A Chiu, I Ahmad, ...
Companion Proceedings of the 32nd ACM International Conference on the …, 2024
92024
Lazy Symbolic Execution for Enhanced Learning
DH Chu, J Jaffar, V Murali
International Conference on Runtime Verification, 323-339, 2014
92014
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20