Rice University logo
 
Top blue bar image
Post-Doctoral Researcher
 

Publications

Under Review

  • Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine
    Bayesian Sketch Learning for Program Synthesis
    (ArXiv)
  • Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali
    Incrementally Precise Program Analysis
    (ArXiv)

Peer-Reviewed Publications

  • Binhang Yuan, Vijayaraghavan Murali, Chris Jermaine
    Abridging Source Code
    OOPSLA’17
  • Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine
    Bayesian Specification Learning for Finding API Usage Errors
    FSE’17
  • Joxan Jaffar, Vijayaraghavan Murali
    A Path-Sensitively Sliced Control Flow Graph
    FSE’14
    , Nov 16-22, Hong Kong
  • Duc-Hiep Chu, Joxan Jaffar, Vijayaraghavan Murali
    Lazy Symbolic Execution for Enhanced Learning
    RV’14
    , Sep 22-25, Toronto, Canada
  • Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, Satish Chandra
    A Hybrid Algorithm for Error Trace Explanation
    VSTTE’14
    , July 17-18, Vienna, Austria
  • Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas
    Boosting Concolic Testing via Interpolation
    ESEC/FSE’13
    , Aug 18-26, St. Petersburg, Russia
  • Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa
    Path-Sensitive Backward Slicing
    SAS’12
    , Sep 11-13, Deauville, France
  • Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa
    TRACER: A Symbolic Execution Tool for Verification
    CAV’12
    , July 7-13, Berkeley, USA
  • Verdi March, Vijayaraghavan Murali, Yong Meng Teo, Simon See, James T. Himer
    Towards predictive modeling of message passing communication
    HPCC’09, June 25-27, Seoul, S.Korea

* All papers with Joxan Jaffar have equally contributing authors appearingĀ in alphabetical order.

Ph.D. Thesis

Vijayaraghavan Murali
Symbolic Execution for Advanced Program Reasoning

National University of Singapore, Sep 2014
Advisor: Prof. Joxan Jaffar

Talks/Slides

DARPA Pliny — Bridging Formal Methods & Data Science
IEEE Metrocon 2015
Slides (PDF)

Professional Activities