Vijayaraghavan Murali

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

Vijayaraghavan Murali, Lee Gross, Rebecca Qian, Satish Chandra

CoRR, 2020

Scalable Statistical Root Cause Analysis on App Telemetry.

Vijayaraghavan Murali, Edward Yao, Umang Mathur, Satish Chandra

CoRR, 2020

Scaffle: bug localization on millions of files.

Michael Pradel, Vijayaraghavan Murali, Rebecca Qian, Mateusz Machalica, Erik Meijer, Satish Chandra

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.

Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

Debugging Crashes using Continuous Contrast Set Mining.

Rebecca Qian, Yang Yu, Wonhee Park, Vijayaraghavan Murali, Stephen Fink, Satish Chandra

CoRR, 2019

Neural query expansion for code search.

Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra

Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

2018

Programmatically Interpretable Reinforcement Learning.

Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri

Proceedings of the 35th International Conference on Machine Learning, 2018

Neural Sketch Learning for Conditional Program Generation.

Vijayaraghavan Murali, Letao Qi, Swarat Chaudhuri, Chris Jermaine

Proceedings of the 6th International Conference on Learning Representations, 2018

2017

Abridging source code.

Binhang Yuan, Vijayaraghavan Murali, Christopher M. Jermaine

Proc. ACM Program. Lang., 2017

Bayesian Sketch Learning for Program Synthesis.

Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine

CoRR, 2017

Finding Likely Errors with Bayesian Specifications.

Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine

CoRR, 2017

Bayesian specification learning for finding API usage errors.

Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

Incremental Quantitative Analysis on Dynamic Costs.

Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali

CoRR, 2016

2014

What Gives? A Hybrid Algorithm for Error Trace Explanation.

Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, Satish Chandra

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

A path-sensitively sliced control flow graph.

Joxan Jaffar, Vijayaraghavan Murali

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.

Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali

Proceedings of the Runtime Verification - 5th International Conference, 2014

2013

Boosting concolic testing via interpolation.

Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

Path-Sensitive Backward Slicing.

Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa

Proceedings of the Static Analysis - 19th International Symposium, 2012

TRACER: A Symbolic Execution Tool for Verification.

Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2009

Towards Predictive Modeling of Message-Passing Communication.

Verdi March, Vijayaraghavan Murali, Yong Meng Teo, Simon See, James T. Himer

Proceedings of the 11th IEEE International Conference on High Performance Computing and Communications, 2009