Bin Yu -

Registered user since Wed 23 Aug 2023

Name:Bin Yu

Country:China

Affiliation:Xidian University

Contributions

2026

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