conf.researchr.org / Boxiang Wang

Registered user since Wed 29 Jun 2022

Name:Boxiang Wang
Affiliation:Xidian University and Beijing Sunwise Information Technology Ltd

Contributions

ISSTA 2023 Author of An Empirical Study on Concurrency Bugs in Interrupt-driven Embedded Software within the Technical Papers-track
ISSTA 2022 Author of SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-driven Embedded Software within the Tool Demonstrations-track
Author of Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning within the Technical Papers-track