A Survey of Smart Contract Formal Specification and Verification accepted by ACM Computing Surveys!
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.
EQBENCH: A Dataset of Equivalent and Non-equivalent Program Pairs accepted by MSR'21!
Formal Analysis of Composable DeFi Protocols accepted by DeFi'21!
Oracle-Supported Dynamic Exploit Generation for Smart Contracts accepted by IEEE TDSC!
ModCon: A Model-Based Testing Platform for Smart Contracts accepted by FSE'20!
GenSlice: Generalized Semantic History Slicing accepted by ICSME'20 (acceptance rate 24.9%)!
Two papers accepted by ASE'20 (acceptance rate 22.5%)!