Qiu-Liang Chen

An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks

Hai Wan, Ming Gu, Xiaoyu Song, 2019, IEEE/ACM Transactions on Networking.

Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers

Shi-Min Hu, Julia L. Lawall, Jia-Ju Bai, 2019, USENIX Annual Technical Conference.

Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers

Shimin Hu, J. Lawall, Zu-Ming Jiang, 2022, IEEE Transactions on Software Engineering.

Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers

Shi-Min Hu, Julia L. Lawall, Jia-Ju Bai, 2019, 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER).