Tong Wu -

Registered user since Sat 18 May 2024

Name:Tong Wu

Contributions

2025

ASE

Author of VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods within the Research Papers-track

2024

Static Analysis Symposium

Keynote Speaker of Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper) within the SAS 2024-track

ECOOP/ISSTA

Author of JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking within the Tool Demonstrations-track