Zixuan Yuan -

Not registered as user yet

Name:Zixuan Yuan

Affiliation:Xidian University

Contributions

2024

ASE

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