Xu Lu -

Registered user since Mon 29 Sep 2025

Name:Xu Lu

Country:China

Affiliation:Xidian University

Research interests:Formal methods, Program Verification, AI4SE

Contributions

2026

ESEC/FSE

Author of RAT: Retrieval-Augmented Testing of Certificate Revocation List Parsers in TLS Implementations within the Research Papers-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 DevGen: Automated Generation of Virtual Device Models for Kernel Drivers via Large Language Models within the Ideas, Visions and Reflections-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

2025

ASE

Author of Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision within the NIER-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