Vijayaraghavan Murali

I'm a Post-Doctoral Research Fellow at the Dept. of Computer Science, National University of Singapore. My research interests are at the intersection of programming languages and software engineering; the problems that I work on are motivated by the latter and the solutions by the former.

Specifically, I am working on the TRACER project in which we use the technique of symbolic execution along with interpolation to efficiently perform program verification (mathematically proving safety properties), path-sensitive analysis (extracting information about a program), concolic testing (searching for violations of properties), debugging (explanation of said violations), and more..

In 2013, I interned with IBM Research India, working on automated debugging. In 2009, I graduated with a B. Computing (Honours) degree from NUS. I was an exchange student at UCSB, and interned as a Research Engineer in Sun Microsystems.

Recent Work


* In papers with my advisor the authors appear in alphabetical order (last name)


Professional Activities


Programming Languages Research Lab
COM2 #04-04
National University of Singapore
Singapore 117417