Chao Li -

Registered user since Wed 29 Jun 2022

Name:Chao Li

Country:China

Affiliation:Beijing Institute of Control Engineering; Beijing Sunwise Information Technology

Contributions

2023

ISSTA

Author of An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software within the Technical Papers-track

2022

ISSTA

Author of Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning within the Technical Papers-track
Author of SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-driven Embedded Software within the Tool Demonstrations-track