Dongdong Gao -

Registered user since Tue 14 Jun 2022

Name:Dongdong Gao

Affiliation:Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd

Contributions

2022

ISSTA

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