Papers accepted by ISSTA 2022
Two papers accepted by ISSTA'22 (acceptance rate 24.4%)!
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.
Two papers accepted by ISSTA'22 (acceptance rate 24.4%)!
Demystifying Performance Regressions in String Solvers accepted by IEEE TSE!
CX2002 tutorial materials.
Paper accepted by ASE'21!
DIFFBASE: A Differential Factbase for Effective Software Evolution Management accepted by FSE'21 (acceptance rate 24.5%)!
I've given a keynote speech at the 12th Asia-Pacific Symposium on Internetware!
A Survey of Smart Contract Formal Specification and Verification accepted by ACM Computing Surveys!