Registered user since Wed 23 Aug 2023
Name:Bin Yu
Country:China
Affiliation:Xidian University
Contributions
2026
ASE
- ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis
- Understanding the Performance-Effectiveness Trade-Offs of AddressSanitizer in Real-World Programs: An Empirical Study
- NL2VBench: A Benchmark for End-to-End Natural-Language to Verifiable Rust Generation
- DafnyRAG: A Retrieval-Augmented and Verification-Driven Tool for Automated Repair of Dafny Code
Using general profile