I am currently a smart contract tinker at the University of Utah, fortunate enough to be supervised by Prof. Mu Zhang. Before this, I did research work in Nanjing University and Prof. Enyi Tang is my fantastic adviser.

My research interests include blockchain security, programming languages, and software engineering. I aspire to build tools and systems that ensure desired system behavior in a reliable and scalable way. In my free time, I enjoy reverse-engineering PC games and modifying certain values—such as increasing the chance of obtaining legendary items—which I find both amusing and intellectually rewarding.

I am currently exploring fascinating smart contract security topics and would be eager to collaborate with researchers who share similar interests.

News

• 04/2025: Our paper "CollisionRepair: First-Aid and Automated Patching for Storage Collision Vulnerabilities in Smart Contracts" has been accepted in USENIX SECURITY'25! Thanks a lot for Mu's advice!
• 07/2023: Our ISSTA'23 paper "Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode" has been awarded the ACM SIGSOFT Distinguished Paper(9/372 = 2%)! Thanks a lot for Mu's advice, the collaborator's help, and Wanjing's care!
• 11/2022: Our paper "Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications" won the CCS 2022 Best Paper Honorable Mention(20/972 = 2%)! Thanks a lot for Mu, Yue and Xin!