Minghua Wang -

Registered user since Mon 2 Mar 2026

Name:Minghua Wang

Affiliation:Ant Group

Contributions

2026

ASE

Author of KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code within the Industry Showcase-track

ISSTA

Author of KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification within the Research papers-track

ICSE

Author of HarnessLLM: Rust Verification Harness Generation with Large Language Models within the Research Track-track
Author of RusyFuzz: Unhandled Exception Guided Fuzzing for Rust OS Kernel within the Research Track-track