conf.researchr.org / Zhiwu Xu
Registered user since Tue 8 Jun 2021
Name:Zhiwu Xu
Bio:
Shenzhen University
Country:China
Affiliation:Shenzhen University
Personal website: https://zhiwuxu.github.io/
Research interests:Program Analysis and Verification, Software Testing, Program Security
Contributions
2026
ASE
- Author of Localizing Data Annotation Faults in Semantic Segmentation Systems within the Research Papers-track
- Author of Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Failures on Asterinas Vostd within the Industry Showcase-track
- Author of VerusSeek: Retrieval-Augmented LLM-Based Proof Synthesis for Rust Programs within the Tools and Datasets-track
- Author of NL2VBench: A Benchmark for End-to-End Natural-Language to Verifiable Rust Generation within the Tools and Datasets-track