Paper accepted by ICDCS 2023
Smart Contract Parallel Execution with Fine-Grained State Accesses accepted by ICDCS'23 (acceptance rate 18.9%)!
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.
Smart Contract Parallel Execution with Fine-Grained State Accesses accepted by ICDCS'23 (acceptance rate 18.9%)!
Responsibility in Context: On Applicability of Slicing in Semantic Regression Analysis accepted by ICSE'23 (acceptance rate 26%)!
Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery accepted by TOSEM!
Two papers accepted by ASE'22 (acceptance rate 22%)!
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!