Tong Wu -

Registered user since Sat 18 May 2024

Name:Tong Wu

Contributions

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