Tingting Yu -

Registered user since Tue 19 Jul 2022

Name:Tingting Yu

Country:China

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

Contributions

2025

ICSE

Author of Reduce Dependence for Sound Concurrency Bug Prediction within the Research Track-track

2023

ISSTA

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

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