PRECFIX: Large-Scale Patch Recommendation by Mining Defect-Patch Pairs accepted by ICSE'20 (acceptance rate 23.5%)!
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.
Typestate-Guided Fuzzer for Discovering Use-After-Free Vulnerabilities accepted by ICSE'20 (acceptance rate 20.9%)!
Two papers accepted by ASE'19!
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!