Vijayaraghavan Murali

I'm a Post-Doctoral Research Fellow at the Dept. of Computer Science, National University of Singapore. I successfully defended my Ph.D. thesis "Symbolic Execution for Advanced Program Reasoning" in Aug 2014, advised by Prof. Joxan Jaffar.

My research interests are in automated program verification, program analysis and testing/debugging. I am working on the TRACER project in which we use symbolic execution with interpolation to efficiently perform verification, path-sensitive analysis, concolic testing, debugging, etc.

I recently interned with IBM Research India working on a research project on automated debugging.

I graduated with a Bachelor of Computing (Honours) degree from NUS in 2009. In 2007, I was an exchange student at the University of California, Santa Barbara. In 2008, I interned as a Research Engineer in Sun Microsystems.

Recent Work


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


Professional Activities


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