Vijayaraghavan Murali

According to our database1, Vijayaraghavan Murali authored at least 20 papers between 2009 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Industry-scale IR-based Bug Localization: A Perspective from Facebook.
CoRR, 2020

Scalable Statistical Root Cause Analysis on App Telemetry.
CoRR, 2020

Scaffle: bug localization on millions of files.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Debugging crashes using <i>continuous</i> contrast set mining.
Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

Debugging Crashes using Continuous Contrast Set Mining.
CoRR, 2019

Neural query expansion for code search.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

Programmatically Interpretable Reinforcement Learning.
Proceedings of the 35th International Conference on Machine Learning, 2018

Neural Sketch Learning for Conditional Program Generation.
Proceedings of the 6th International Conference on Learning Representations, 2018

Abridging source code.
Proc. ACM Program. Lang., 2017

Bayesian Sketch Learning for Program Synthesis.
CoRR, 2017

Finding Likely Errors with Bayesian Specifications.
CoRR, 2017

Bayesian specification learning for finding API usage errors.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Incremental Quantitative Analysis on Dynamic Costs.
CoRR, 2016

What Gives? A Hybrid Algorithm for Error Trace Explanation.
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

A path-sensitively sliced control flow graph.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Lazy Symbolic Execution for Enhanced Learning.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Boosting concolic testing via interpolation.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Path-Sensitive Backward Slicing.
Proceedings of the Static Analysis - 19th International Symposium, 2012

TRACER: A Symbolic Execution Tool for Verification.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Towards Predictive Modeling of Message-Passing Communication.
Proceedings of the 11th IEEE International Conference on High Performance Computing and Communications, 2009