Bin Yu -

Registered user since Wed 23 Aug 2023

Name:Bin Yu

Country:China

Affiliation:Xidian University

Contributions

2026

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

ICSE

Author of Atomicity Violation Detection for Interrupt-Driven Programs via Incrementally Exploring Concurrent Paths within the New Ideas and Emerging Results (NIER)-track

SANER

Author of Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation within the Early Research Achievement (ERA) Track -track

2024

ASE

Author of Detecting Atomicity Violations for Interrupt-driven Programs via Systematic Scheduling and Prefix-directed Feedback within the Posters-track

2023

ESEC/FSE

Author of [Remote] Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering within the Research Papers-track

ISSTA

Author of SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations within the Technical Papers-track

2022

APSEC

Author of Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts within the Technical Track-track

ASE

Author of Prioritized Constraint-Aided Dynamic Partial-Order Reduction within the Research Papers-track