Two papers accepted by ASE'22 (acceptance rate 22%)!
I’m 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 software engineering and software security. These include software model checking, bug finding, security testing, software evolution and maintenance. See my publication list for details.
SolSEE: A Source-Level Symbolic Execution Engine for Solidity accepted by FSE'22!
PhD position on Blockchain and Smart Contracts is available.
Two ISSTA papers received the ACM SIGSOFT Distinguished Paper Awards!
Property-Based Automated Repair of DeFi Protocols accepted by ASE'22!
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts accepted by ASE'22!
Large-Scale Analysis of Non-Termination Bugs in Real-World OSS Projects accepted by FSE'22 (acceptance rate 22%)!
Two papers accepted by ISSTA'22 (acceptance rate 24.4%)!