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

2025

ASE

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