Two papers accepted by ASE'19!
I am an assistant professor in the School of Computer Science and Engineering at the Nanyang Technological University. I received both my PhD and MSc degrees from the University of Toronto, where I was advised by Marsha Chechik. Earlier, I received my Bachelor of Computing degree from the National University of Singapore.
I’m interested in program analysis and automated reasoning techniques with applications in but not limit to various aspects of software engineering, such as software model checking, bug finding, software requirements and history analysis. My research also addressed important problems in SMT solving techniques and artificial intelligence.
Postdoc positions available.
Precise Semantic History Slicing Through Dynamic Delta Refinement accepted by ASEJ!
DeepStellar: Model-Based Quantitative Analysis of Stateful Deep Learning Systems accepted by FSE'19 (acceptance rate 24.4%)!
VULTRON: Catching Vulnerable Smart Contracts Once and for All accepted by ICSE'19!
CZ3003 tutorial slides.
Client-Specific Equivalence Checking accepted by ASE'18 (acceptance rate 19.9%)!