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.
Trace Generalization via Loop Compression
Incrementally Precise Program Analysis
Symbolic Execution for Advanced Program Reasoning(pdf)
Ph.D. Thesis, National University of Singapore, Aug 2014
Advisor: Prof. Joxan Jaffar
A Path-Sensitively Sliced Control Flow Graph(pdf)(slides) FSE'14, Nov 16-22, Hong Kong