Tao Wei -

Not registered as user

Name:Tao Wei

Affiliation:Ant Group

Contributions

2026

ASE

Author of KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code within the Industry Showcase-track
Author of Sound and Efficient Statistical Model Checking for Probabilities and Bounded Rewards within the Research Papers-track

ICSE

Author of RusyFuzz: Unhandled Exception Guided Fuzzing for Rust OS Kernel within the Research Track-track