conf.researchr.org / Bin Yu
Registered user since Wed 23 Aug 2023
Name:Bin Yu
Country:China
Affiliation:Xidian University
Contributions
2026
ASE
- Author of ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis within the Tools and Datasets-track
- Author of Understanding the Performance-Effectiveness Trade-Offs of AddressSanitizer in Real-World Programs: An Empirical Study within the Industry Showcase-track
- Author of NL2VBench: A Benchmark for End-to-End Natural-Language to Verifiable Rust Generation within the Tools and Datasets-track
- Author of DafnyRAG: A Retrieval-Augmented and Verification-Driven Tool for Automated Repair of Dafny Code within the Tools and Datasets-track
ESEM
- Author of An Empirical Study of Problem-Aligned Multilingual Code Generation and Directed Code Translation by Large Language Models within the ESEM - Technical Track-track
- Author of A Direction-Aware Study of LLM-Based Code Translation Across Eight Programming Languages within the ESEM - Emerging Results, Vision, and Reflection Papers Track-track
ESEC/FSE
- Author of DevGen: Automated Generation of Virtual Device Models for Kernel Drivers via Large Language Models within the Ideas, Visions and Reflections-track
- Author of IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints within the Ideas, Visions and Reflections-track
- Author of RAT: Retrieval-Augmented Testing of Certificate Revocation List Parsers in TLS Implementations within the Research Papers-track