Lin Huang -

Registered user since Mon 15 Sep 2025

Name:Lin Huang

Affiliation:Ant Group

Contributions

2026

ASE

Author of Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Failures on Asterinas Vostd within the Industry Showcase-track
Author of Sound and Efficient Statistical Model Checking for Probabilities and Bounded Rewards within the Research Papers-track
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

2025

ASE

Author of Securing Millions of Decentralized Identities in Alipay Super App with End-to-End Formal Verification within the Industry Showcase-track