conf.researchr.org / Rui Chen

Registered user since Tue 12 Apr 2022

Name:Rui Chen
Country:China
Affiliation:Beijing Institute of Control Engineering
Research interests:Program Analysis, Software Testing, Formal Verificaition, Concurrency Bug Finding

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